Paxos made simple is a human-friendly condensed recap of the original Paxos pape...

mprime1 on Nov 18, 2021 | parent | context | favorite | on: The Bug in Paxos Made Simple

Paxos made simple is a human-friendly condensed recap of the original Paxos paper which came with a 20-page TLA+ spec.

As one can imagine, shrinking something down and making it easy is a lossy process. The text of the ‘recap’ paper can be ambiguous.

Calling this out as a ‘bug’ seems like sensationalism.