3 ms·
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
by mprime1 5y ago
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.