- Badges
- Habred
- Invited
- by invitation from UFO
- About
- Основатель dbit.one. Архитектуру пишу сам и остаюсь на проекте до релиза — по складу тимлид, а не менеджер. Пятый год в разработке. Из того, что строил: система управления парком тяжёлой техники для мирового производителя, контур национальной системы здравоохранения, ИИ-ассистент врача для университетского госпиталя, аналитический контур розничного банка, CRM сети учебных заведений. Заказчики под NDA, поэтому имён не будет — зато есть открытый код, который можно прочитать и запустить. Открытые проекты, все на TypeScript, MIT, без зависимостей: unflake — детерминированная симуляция для тестов: время, таймеры и порядок готовых колбэков берутся из сида, поэтому падение раз в триста прогонов воспроизводится побайтово на любой машине. bulwark — реализация Raft под этой симуляцией, с музеем багов: каждый экспонат выключает ровно одно правило алгоритма и обязан быть пойманным с сидом и именем свойства. Один экспонат родился из бага, который харнесс нашёл в самой реализации. adya — MVCC-движок с четырьмя уровнями изоляции и проверка наблюдаемой истории на аномалии из диссертации Адьи: G0, G1a, G1b, G1c, G-single, G2-item. pnueli — model checker: полный перебор состояний, симметрия, частично-упорядоченное сокращение, живость под слабой справедливостью. Интересует всё, где ошибка не падает с ошибкой, а тихо расходится: распределённые системы, транзакции, тестирование конкурентного кода. Пишу технические разборы в блоге на dbit.one — включая разборы собственных ошибок.
Information
- Rating
- Does not participate
- Location
- Worland, Wyoming, США
- Date of birth
- Registered
- Activity
Specialization
Фулстек разработчик, Инженер встраиваемых систем
Ведущий
Английский язык
Python
Git
Базы данных
Redis
PostgreSQL
Docker