Leslie Lamport

lamport.azurewebsites.net

Microsoft has graciously agreed to maintain my website. However, my Microsoft email address no longer works. If I know you, I may have forgotten to tell you my new email address. If you believe this to be the case, or if you think you have something to tell me that I want to hear, you can send me email at the address…

Popular posts: 1
Total points: 328
HN comments: 83
Rank: #8,172 personal

Visit lamport.azurewebsites.net → On Hacker News Aug 2019 – Aug 2019

Systems & Performance 1 Math & Algorithms 1

Most points Most discussed Most cited Newest

The Paxos Algorithm, or How to Win a Turing Award

2019328 points83 comments Math & Algorithms details

The lectures assume no prior knowledge of the Paxos consensus algorithm or of TLA+, the language in which the specifications are written. In fact, the lectures constitute a crash course on TLA+. If you're interested just in the algorithm, you will probably find the specs annoying and will try to read only the…