Hacker News
- The Paxos Algorithm, or How to Win a Turing Award https://lamport.azurewebsites.net/tla/paxos-algorithm.html 83 comments
- Leslie Lamport: The Paxos Algorithm, or how to use math outside a math class and win a Turing Award https://lamport.azurewebsites.net/tla/paxos-algorithm.html 7 comments programming
Linking pages
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- Notes on Paxos https://matklad.github.io/2020/11/01/notes-on-paxos.html 22 comments
- GitHub - sderosiaux/every-single-day-i-tldr: A daily digest of the articles or videos I've found interesting, that I want to share with you. https://github.com/sderosiaux/every-single-day-i-tldr 0 comments
Related searches:
Search whole site: site:lamport.azurewebsites.net
Search title: Paxos Algorithm
See how to search.