5ⁿ → 4n+1: сколько на самом деле дают редукции в explicit-state model checking 20.08.2026 07:48 botiroff 0 Алгоритмы Параллельное программирование Распределённые системы TypeScript Тестирование IT-систем
Мой тестовый харнесс нашёл баг в моей же реализации Raft. Рассказываю, как именно +1 18.08.2026 09:38 botiroff 0 Распределённые системы Тестирование IT-систем Open source TypeScript Ненормальное программирование
