Программист тестировал возможности ИИ в создании распределённых систем и в результате написал на Rust мультиместный консенс-движок, реализующий протокол Paxos и современный аналог Replicated State Library (RSL) от Azure. Проект занял около трёх месяцев, но основной код из 100 тысяч строк автор сгенерировал всего за четыре недели. За последующие три недели оптимизация ускорила работу с 23 тысяч до 300 тысяч операций в секунду. Проект закрыл три критических пробела старой версии RSL: теперь возможны конвейерная обработка запросов, чтобы не ждать голосование, поддержка энергонакопительной памяти NVM для ускорения фиксации данных и использование RDMA, что снижает задержки в дата-центрах Azure.
Для разработки использовались агенты GitHub Copilot, Claude Code, Codex, Augment Code, Kiro и Trae, однако автор перешёл на связку Claude Code и Codex CLI в терминале. Сила подхода в контрактах кода: ИИ пишет их, генерирует тесты и превращает в property-based тесты, которые проверяют инварианты через случайные входы. Один сгенерированный контракт выявил скрытую нарушение безопасности Paxos, спасая систему от потери согласованности. Вместо утомительных документаций в формате Markdown автор применяет лайтвейт-спеки из библиотеки spec kit, где уточняет истории пользователей через команду /clarify до начала реализации задачи.
Особый фокус был сделан на производительности, где ИИ стал со-пилотом. Цикл работы включал измерение латентности, анализ трассировок на Python и внедрение предложений по оптимизации. Команда сократила выделение памяти, применила техники zero-copy и убрала лишние спавны задач. На базе элегантного дизайна от Яя Лорча из Microsoft Research команда уже закрыла два из трёх ограничений RSL: конвейеризацию и NVM, а поддержку RDMA планирует реализовать в будущем. К концу работы в репозитории накопилось более 130 тысяч строк кода Rust, из которых 65% пришлось на тесты. Автор продолжает мечтать о полном автономном управлении ИИ от написания истории до её реализации и полной автоматизации поиска узких мест в коде.