CAP, Coq и Евклид +7
Публикации автора maxim_ge
CAP-n-Coq. Часть 1. Определения CAP-теоремы +10
Визуализация результатов escape-анализа в VS Code +10
Учимся на ошибках AI, прокачиваем «S» +1
От Isolation к Consistency — дорога длиной в 30 лет +24
Go против Rust — производительность вне конкуренции +87
Связный список на Rust в стиле С/C++ +6
