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