https://hackerpaper.kaipfister.de/p/2102.11960/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=27861127urn:hackerpapers:mention:2102.11960:27861127Fri, 16 Jul 2021 20:56:52 GMT<p>I gave the presentation in the linked article, here&#x27;s a written version of the presentation: https://emptysqua.re/blog/paxos-vs-raft/ I hope that the &quot;Paxos vs Raft&quot; debate can die down, now that engineers are learning TLA+ and distributed systems more thoroughly. These days we can design new protocols and prove their correctness, instead of always relying on academics. For example, at MongoDB we considered adopting the reconfiguration protocol from Raft, but instead we designed our own and checked it with TLA+. See &quot;Design and Verification of a Logless Dynamic Reconfiguration Protocol in…</p><p><a href="https://hackerpaper.kaipfister.de/p/2102.11960/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.DC