Computer science2021 · shared on Hacker News
Formal Verification of Multi-Paxos for Distributed Consensus, v4 (2016, 2019)
Explore Formal Verification of Multi-Paxos for Distributed Consensus, v4 (2016, 2019), its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Yjoeyespo ·
Paxos
240 points47 comments
Ychat ·
Leslie Lamport revolutionized computer science with math [video]
229 points91 comments
Ygralx ·
Formal Verification of Multi-Paxos for Distributed Consensus, v4 (2016, 2019)
1 points1 comments