Doniyor Botirov aka botiroff

Doniyor Botirov@botiroff

Пользователь

Рейтинг

Подписчики

ПрофильСтатьи5ПостыНовостиКомментарии4

Значки

Захабренный

Приглашен: 18 августа по приглашению от НЛО

О себе: Основатель dbit.one. Архитектуру пишу сам и остаюсь на проекте до релиза — по складу тимлид, а не менеджер. Пятый год в разработке. Из того, что строил: система управления парком тяжёлой техники для мирового производителя, контур национальной системы здравоохранения, ИИ-ассистент врача для университетского госпиталя, аналитический контур розничного банка, CRM сети учебных заведений. Заказчики под NDA, поэтому имён не будет — зато есть открытый код, который можно прочитать и запустить. Открытые проекты, все на TypeScript, MIT, без зависимостей: unflake — детерминированная симуляция для тестов: время, таймеры и порядок готовых колбэков берутся из сида, поэтому падение раз в триста прогонов воспроизводится побайтово на любой машине. bulwark — реализация Raft под этой симуляцией, с музеем багов: каждый экспонат выключает ровно одно правило алгоритма и обязан быть пойманным с сидом и именем свойства. Один экспонат родился из бага, который харнесс нашёл в самой реализации. adya — MVCC-движок с четырьмя уровнями изоляции и проверка наблюдаемой истории на аномалии из диссертации Адьи: G0, G1a, G1b, G1c, G-single, G2-item. pnueli — model checker: полный перебор состояний, симметрия, частично-упорядоченное сокращение, живость под слабой справедливостью. Интересует всё, где ошибка не падает с ошибкой, а тихо расходится: распределённые системы, транзакции, тестирование конкурентного кода. Пишу технические разборы в блоге на dbit.one — включая разборы собственных ошибок.

Информация

Специализация