вот бы попасть на экспресс курс по HoTT от сохатского
Size: a a a
2021 March 23
A
вот бы попасть на экспресс курс по HoTT от сохатского
хотт - букварь, вроде.. веселье дальше начинается
R
кто-то проводил опрос на тему курсов, но отклика мало было, не помню, кто..
тут вроде анонс был типа курс от практиков - практикам
R
тут вроде анонс был типа курс от практиков - практикам
R
я еще спросил про open.edu раз такие дела почему туда не положили.
хотт - букварь, вроде.. веселье дальше начинается
ну нет, букварь это MLTT, а HoTT это уже веселье на основе него (щас конечно зануды набегут пояснять что это не так всё на самом деле)
R
ХГ
когда одной прочитанной книги хватает
Гарри Клитора не читал и не смотрел, теперь чувствую себя ещё большим идиотом, чем есть.
AC
Гарри Клитора не читал и не смотрел, теперь чувствую себя ещё большим идиотом, чем есть.
Вы наверное свою личность базируете на другой книге, Незнайке на Луне
ХГ
На Голубом Сале.
ХГ
Но в общем да. С 14 года я прочитал одну книгу на русском.
ХГ
А. не. Три. Но всё равно мало.
R
Пока Знайка умничает, Незнайка мутит стартапы и летит на Луну
ХГ
Не. Пелевина прочитал. Цукербринов. И понял. что уже не могу себя убеждать, что мне нравится.
R
Классику читать надо
A
Не. Пелевина прочитал. Цукербринов. И понял. что уже не могу себя убеждать, что мне нравится.
цукербрины действительно тяжело шли, я постоянно задался вопросом, зачем
ХГ
Умная мысль: если винт за год падает 4 раза, наверное его надо выкинуть...
ХГ
А можыд это питание виновато?..
ХГ
Смарт норм.