Привет! На связи Женя Дюков, уже через 14 дней я буду выступать со своим докладом на infra.conf'26.
Вот, о чём он: HA-tool + PostgreSQL может терять данные, которые клиент считает записанными. Я покажу это с помощью Jepsen и расскажу, как починить в PostgreSQL. А потом посмотрим, как формальное моделирование в TLA+ помогает убедиться в корректности дизайна, до того как баги попадут в код.
➡️ Регистрируйтесь и приходите послушать в Москве и онлайн.