SK
а, я где-то видел от него об этом в чатиках
Size: a a a
2021 April 08
AG
в формал компилере
AG
а стоп, тебя там нет
AT
добро пожаловать в Клуб, Кирилл
AG
ну там очередной еле живой чатик на околоверификационные темы, я уже даже не помню как он появился
AG
то ли советов подкинул идею, то ли иваныч упражнялся в почковании чатов
AT
можно и оживить какие-нибудь чатики попробовать так-то
AG
закопать их на индейском кладбище?
AG
формальная компиляция это кстати вроде ж по твоей теме как раз :)
AT
у меня сам компилятор не формализован)
AT
это ж стартап, для которого формализованные компиляторы не является бизнесом)
SK
нащот дискуссий в двух соседних чатах: чечня это скорее жобсы
SK
раз в день открываю и пролистываю зажмурившись прост
AG
но при этом являются бизнесом промоделчеканные скрипты? :)
AG
а второй какой
SK
сами жобсы, там который день идет срач таких размеров:
