Hardening YDB with Jepsen: lessons learned | Hacker News Reader