Если уже на что и писать прувы, то на кастомные протоколы и стейтмашины и доказывать какой-нибудь eventually consistent.
я тоже поинтересовалися. мне сказали "ну ВДРУГ поменяется". ну, знаешь, нейтрино пройдет через датацентр и опрокинет бит в ОЗУ, где по чистой случайности находится наш фри аппликатив
Обсуждают сегодня