AG
можно ли кок девелопера звать куроводом?
куровводом
Size: a a a
2020 April 02
AG
задачек не видел, вот есть репа с примерами -- https://github.com/tlaplus/Examples
а вы у себя тлей тоже балуетесь?
AT
куровводом
программировать на Coq -- курочить
AT
а вы у себя тлей тоже балуетесь?
ага)
AG
программировать на Coq -- курочить
кокетничать
Oℕ
а ты что хочешь доказывать?
AT
а ты что хочешь доказывать?
Что христианину срать не грех
AG
вот для интереса как выглядят существующие пруфы рафта https://github.com/uwplse/verdi-raft
AG
или речь про тлю?
AG
а, ну там попроще будет
AT
вот для интереса как выглядят существующие пруфы рафта https://github.com/uwplse/verdi-raft
вот есть такой сайтик с кучей инфы вокруг рафта: https://raft.github.io
AG
вот есть такой сайтик с кучей инфы вокруг рафта: https://raft.github.io
ага, он раньше был по адресу https://raftconsensus.github.io/
KS
Пр закинул и уже успел обосрать
AT
проблема 3000 года
