AT
Потом он долго QuickCheck’ал конкурентность, но вроде это ни к чему не привело, хотя комп его весь день адски жужжал
Size: a a a
2021 January 16
AG
начать с метода Тейта-Жирара и вот это все
AT
Потом переключался на Coq, но там че-то медленно шло и Алекс просил меня продолжить эту тему, но я в этот момент перешёл на другую работу
AG
на попле в этом году вроде статья есть про трансфинитные логрелы
AG
Потом переключался на Coq, но там че-то медленно шло и Алекс просил меня продолжить эту тему, но я в этот момент перешёл на другую работу
интересно, мне Алекс говорил что они с Хесусом щас оба чисто бумажные пруфы делают
AT
начать с метода Тейта-Жирара и вот это все
В SF есть некоторые вещи. У Амаль Ахмед на оплсс тоже были лекции
AT
интересно, мне Алекс говорил что они с Хесусом щас оба чисто бумажные пруфы делают
Прикольно
AG
В SF есть некоторые вещи. У Амаль Ахмед на оплсс тоже были лекции
да, но у нее больше про степ-индексированные кажется
AG
так-то материала у меня хватает, чисто руки не доходят заняться толком
AT
да, но у нее больше про степ-индексированные кажется
Ох, очень давно смотрел, не помню уже деталей
AG
погряз в секвенциях и локфришне
SK
Эх, сча бы спится
ться
AG
хм может выпить
R
хм может выпить
Выпиться
SK
хм может выпить
вообще не оч идея от бессоницы
AG
я тоже думал поправить, но потом решил что кто нибудь другой скаламбурит
AG
рассчитывал на Антона но что то пошло не так
AG
вообще не оч идея от бессоницы
да у меня нет бессонницы, просто вялость какая то
AT
рассчитывал на Антона но что то пошло не так
Меня тут параллельно дергают)