VL
ну типо
Size: a a a
2020 October 24
VL
мне кажется всякие доказательства важны в важном коде
VL
самолеты там
SA
в коде да
VL
еще какая фигня
SA
в математике..ну не особо
VL
то что убивает людей короче
SA
про код и разговора нет
SA
я про этот кок всем знакомым математикам рассказывал (далеко не все знают)
VL
ну он в принципе маргинален
SA
я еще и слушал лекцию чела который его придумал еще в 2011
SA
ну короче у нас у всех примерно одинаковое мнение
VL
вообще я тупо придрался к твоим словам и щас понял что я зря это сделал
SA
что он понимание никак не продвигает так что
VL
нахрена я это сделал
SA
штука не шибко ценная
SA
но прекольно
VL
да
χλ
язык пучков честно говоря более полезен чем общий теоркат на мой вкус
Ясно, автор топос
VL
но это как обычно static versus dynamic