Linking pages
- Thinking outside the box of code with Leslie Lamport (Changelog Interviews #552) |> Changelog https://changelog.fm/552#transcript-45 300 comments
- On Typesetting Engines: A Programmer's Perspective https://blog.ppresume.com/posts/on-typesetting-engines 85 comments
- An Introduction to TLA+ and Its Use in Parties — You'll get your pizza eventually. – INNOQ https://www.innoq.com/en/articles/2023/04/an-introduction-to-tla/ 33 comments
- Edsger W. Dijkstra Prize in Distributed Computing – ACM Symposium on Principles of Distributed Computing http://www.podc.org/dijkstra/ 2 comments
- Thinking outside the box of code with Leslie Lamport (Changelog Interviews #552) |> Changelog https://changelog.com/podcast/552 1 comment
- Consistency Models Explained https://www.bodunhu.com/blog/posts/consistency-models-explained/ 0 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- Linearizability! Refinement! Prophecy! – Surfing Complexity https://surfingcomplexity.blog/2024/09/22/linearizability-refinement-prophecy/ 0 comments
Related searches:
Search whole site: site:lamport.org
Search title: Leslie Lamport's Home Page
See how to search.