AG
clean подойдет?
Size: a a a
2021 April 28
B
Условиям — вы сами указывали: какие вещи оптимизируют.
B
Не слышал, надо посмотреть.
B
Да я уже загуглил
B
Хотя для чата это полезно ссылки оставлять
AG
но как я выше писал, я считаю CBPV/секвенции более фундаментальным подходом, на который уже надо сверху навешивать субструктурщину, аля Мюнш-Макканьони или диалектика-интерпретации
B
Если нужно, вот те условия, которые были описаны
AG
надо собраться с силами и сделать все ж про это доклад на жб семинар/лялямбду :)
EL
Ещё не написали такого :(
B
))))
B
Я Евгения, скорее, мискликнул, так как обращался к @suhr
B
А вот не мисклик: чтобы отчёт по диму был до полудня! (мало ли весело)
EL
так я прислал в личку
B
Не заметил (
o⭐
это не этот знакомый? (релевантное обсуждаемому там только от него) https://serokell.io/blog/formal-verification-history
AG
рогозин модальными логиками помню занимался
B
Ну, Даня Рогозин тоже как бы "знакомый", но я с ним никогда не общался
B
А ещё он должен был быть на моём интервью по принятию в команду Serokell чисто в контексте рисёрч-деятельности, но интервью не было ((
B
Не устроили