Hacker News
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
- "PoS is delusional - stop it already!" - BitcoinVN News https://news.bitcoinvn.io/pos-is-delusional-stop-it-already/ 22 comments
- Writing a TLA⁺ tree-sitter grammar - Andrew Helwer https://ahelwer.ca/post/2023-01-11-tree-sitter-tlaplus/ 16 comments
- Lamport clocks https://blog.fponzi.me/2024-02-02-lamport-clocks.html 16 comments
- TLA+ in Practice and TheoryPart 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 15 comments
- TLA+ in Practice and Theory&ampampampampampampampampampampampampampampampampampampampampampampampampampampampampampampLTbr/>Part 3: The (Temporal) Logic of Actions https://pron.github.io/posts/tlaplus_part3 8 comments
- Paper review: Paxos vs Raft https://emptysqua.re/blog/paxos-vs-raft/ 7 comments
- Distributed Snapshots: Chandy-Lamport protocol https://blog.fponzi.me/2024-05-30-distributed-snapshots.html 4 comments
- GitHub - heidihoward/distributed-consensus-reading-list: A list of papers about distributed consensus. https://github.com/heidi-ann/distributed-consensus-reading-list 0 comments
- Consensus Compare: Casper vs. Tendermint | by Interchain | Cosmos Blog https://blog.cosmos.network/consensus-compare-casper-vs-tendermint-6df154ad56ae 0 comments
- What does 'TLA+' mean, anyway • Buttondown https://buttondown.email/hillelwayne/archive/what-does-tla-mean-anyway/ 0 comments
- Linearizability! Refinement! Prophecy! – Surfing Complexity https://surfingcomplexity.blog/2024/09/22/linearizability-refinement-prophecy/ 0 comments
- GitHub - heidihoward/distributed-consensus-reading-list: A list of papers about distributed consensus. https://github.com/heidihoward/distributed-consensus-reading-list 0 comments
Related searches:
Search whole site: site:lamport.azurewebsites.net
Search title: The Writings of Leslie Lamport
See how to search.