Спойлер: не всегда
Прямо сейчас на infra.conf'26 — Евгений Дюков, ведущий разработчик Managed Databases в Yandex Cloud. Он расскажет про два подхода к проверке надёжности распределённых систем: Jepsen и TLA+.
➡️ В карточках собрали главное, а подробности смотрите в трансляции доклада.