Два года в /fg/. Войти !bnw Сегодня Клубы
?
Что в 2020 стоит читать нублолам про формальную верификацию? Стоит ли бежать за толпой и дрочить на TLA⁺/PlusCal? Вымирают ли агды да идрисы с петухами? Где я мог наткнуться на ATS и какого чёрта его название засело у меня в голове? Почему Microsoft Research пилит аж два прувера? Ну и всё такое.
Рекомендовали: @l29ah @tempest
#MJ3ULP / @enterprize / 1687 дней назад

инбифо isabelle жив уже почти 35 лет и всю эту херню ещё переживёт
#MJ3ULP/BYT / @enterprize / 1687 дней назад
#MJ3ULP/IWE / @l29ah --> #MJ3ULP/BYT / 1687 дней назад
@l29ah О, эта штука в getting started выглядит интересно, спасибо. А вот останется ли она интересной после того, как я высплюсь…
#MJ3ULP/331 / @enterprize --> #MJ3ULP/IWE / 1687 дней назад

TLA+ </thread>

#MJ3ULP/3ZV / @ninesigns / 1687 дней назад
энтерпрайзным ынженерам tlaplus топ
#MJ3ULP/9YE / @ygrek / 1672 дня назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.