В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

371 membersпожаловаться на группу
2020 April 25

G

Gymmasssorla in rust_offtopic
polunin.ai
Как выглядеть умной рядом со студентом философского
https://www.infox.ru/usefull/282/234526-kak-vygladet-umnoj-radom-so-studentom-filosofskogo
INFOX
Как выглядеть умной рядом со студентом философского
Новый парень Светы учится на философском факультете. И это для нее большое несчастье.
а есть про то как выглядеть умным рядом с челиками из идрис чатика?
источник
23:24пожаловаться#1

p

polunin.ai in rust_offtopic
Gymmasssorla
а есть про то как выглядеть умным рядом с челиками из идрис чатика?
Они тебя попросят на бумажке верифицировать разворот списка, так что ты или умный или нет
источник
23:25пожаловаться#2

G

Gymmasssorla in rust_offtopic
polunin.ai
Они тебя попросят на бумажке верифицировать разворот списка, так что ты или умный или нет
бтв у меня заняло несколько дней верификация разворота списка
источник
23:25пожаловаться#3

G

Gymmasssorla in rust_offtopic
когда учил идрис
источник
23:25пожаловаться#4

G

Gymmasssorla in rust_offtopic
и то потом подсмотрел в готовое решение)
источник
23:26пожаловаться#5

A

Agrailag in rust_offtopic
Gymmasssorla
Хотел в общих чертах понять как комплюктер работает
так Петцольд есть по устройству самого компа, а именно по операционкам даж хз, на степике неплохой курс есть. Понятно, что там не Таненбаум, но вроде основные моменты есть.
источник
23:26пожаловаться#6

G

Gymmasssorla in rust_offtopic
чувствую себя тупым конечно
источник
23:26пожаловаться#7

I

Ihnat in rust_offtopic
polunin.ai
Как выглядеть умной рядом со студентом философского
https://www.infox.ru/usefull/282/234526-kak-vygladet-umnoj-radom-so-studentom-filosofskogo
INFOX
Как выглядеть умной рядом со студентом философского
Новый парень Светы учится на философском факультете. И это для нее большое несчастье.
Лол. Ницше очень просто писал так-то.
источник
23:26пожаловаться#8

p

polunin.ai in rust_offtopic
Ihnat
Лол. Ницше очень просто писал так-то.
Да
источник
23:26пожаловаться#9

r

red75prime in rust_offtopic
polunin.ai
Как выглядеть умной рядом со студентом философского
https://www.infox.ru/usefull/282/234526-kak-vygladet-umnoj-radom-so-studentom-filosofskogo
INFOX
Как выглядеть умной рядом со студентом философского
Новый парень Светы учится на философском факультете. И это для нее большое несчастье.
Добавлять "или калекой" после "что нас не убивает..."
источник
23:27пожаловаться#10

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
бтв у меня заняло несколько дней верификация разворота списка
и как ты верифицировал?
источник
23:28пожаловаться#11

AZ

Alex Zhukovsky in rust_offtopic
потому как я помню как верифицировал дедфуд
источник
23:28пожаловаться#12

AZ

Alex Zhukovsky in rust_offtopic
и я вот не догадался бы через свертки это делать
источник
23:28пожаловаться#13

G

Gymmasssorla in rust_offtopic
Переслано от Alexander Tchitchigi...
Я когда-то записал доказательство: https://gist.github.com/gabriel-fallen/87e79c4dbcac608328c63f66795af70c

Самому помучиться, конечно, интереснее, но там вспомагательная лемма не очевидная для начинающих - я её из учебника (по Isabelle/HOL) подхватил.
Gist
A proof in Idris that `reverse . reverse = id`
A proof in Idris that `reverse . reverse = id`. GitHub Gist: instantly share code, notes, and snippets.
источник
23:31пожаловаться#14

G

Gymmasssorla in rust_offtopic
Gymmasssorla
Переслано от Alexander Tchitchigin
Я когда-то записал доказательство: https://gist.github.com/gabriel-fallen/87e79c4dbcac608328c63f66795af70c

Самому помучиться, конечно, интереснее, но там вспомагательная лемма не очевидная для начинающих - я её из учебника (по Isabelle/HOL) подхватил.
Gist
A proof in Idris that `reverse . reverse = id`
A proof in Idris that `reverse . reverse = id`. GitHub Gist: instantly share code, notes, and snippets.
@Psilon
источник
23:31пожаловаться#15

G

Gymmasssorla in rust_offtopic
отсюда подсмотрел
источник
23:32пожаловаться#16

G

Gymmasssorla in rust_offtopic
еще потом исходя из того, что rev инволюция, доказал её инъективность
источник
23:33пожаловаться#17

AZ

Alex Zhukovsky in rust_offtopic
ну я идрис не учил поэтому не всё понимаю
источник
23:33пожаловаться#18

AZ

Alex Zhukovsky in rust_offtopic
видел доказательсто от фуда?
источник
23:33пожаловаться#19

G

Gymmasssorla in rust_offtopic
нет
источник
23:33пожаловаться#20