Hacker News
- A Science of Concurrent Programs [pdf] https://lamport.azurewebsites.net/tla/science.pdf 33 comments
- Computation and State Machines (2008) [pdf] https://lamport.azurewebsites.net/pubs/state-machine.pdf 37 comments
- Leslie Lamport: State the Problem Before Describing the Solution [pdf] https://lamport.azurewebsites.net/pubs/state-the-problem.pdf 4 comments
- The TLA+ Video Course http://lamport.azurewebsites.net/video/videos.html 3 comments
- Distributed system definition at DEC SRC bulletin board (1987) https://lamport.azurewebsites.net/pubs/distributed-system.txt 4 comments
- The Writings of Leslie Lamport https://lamport.azurewebsites.net/pubs/pubs.html 10 comments
- The Byzantine Generals Problem (1982) [pdf] http://lamport.azurewebsites.net/pubs/byz.pdf 56 comments
- The Paxos Algorithm, or How to Win a Turing Award https://lamport.azurewebsites.net/tla/paxos-algorithm.html 83 comments
- Bronx High School Math Bulletin (1957) [pdf] http://lamport.azurewebsites.net/pubs/bxscience.pdf 18 comments
- TLA+: design, model, document, and verify concurrent systems https://lamport.azurewebsites.net/tla/tla.html 32 comments
- Time, Clocks, and the Ordering of Events in a Distributed System [pdf] https://lamport.azurewebsites.net/pubs/time-clocks.pdf 2 comments
- Computation and State Machines (2008) [pdf] https://lamport.azurewebsites.net/pubs/state-machine.pdf 8 comments
- The Byzantine Generals Problem (1982) [pdf] https://lamport.azurewebsites.net/pubs/byz.pdf 21 comments
- The Future of Computing: Logic or Biology (2003) [pdf] https://lamport.azurewebsites.net/pubs/future-of-computing.pdf 47 comments
- The TLA+ Video Course by Leslie Lamport https://lamport.azurewebsites.net/video/videos.html 17 comments
- On-The-Fly Garbage Collection: An Exercise in Cooperation (1978) [pdf] http://lamport.azurewebsites.net/pubs/garbage.pdf 12 comments
- Why Don't Computer Scientists Learn Math? (2016) http://lamport.azurewebsites.net/tla/math-knowledge.html 111 comments
- Leslie Lamport: Video course on TLA+ http://lamport.azurewebsites.net/video/intro.html 74 comments
Lobsters
- How to Write a Proof (1993) Lamport http://lamport.azurewebsites.net/pubs/lamport-how-to-write.pdf 4 comments formalmethods , math , pdf , practices
- The Future of Computing: Logic or Biology (2003) https://lamport.azurewebsites.net/pubs/future-of-computing.pdf 7 comments pdf , programming
- TLA+ Video Course http://lamport.azurewebsites.net/video/videos.html 2 comments formalmethods , video
- Introduction to TLA+ http://lamport.azurewebsites.net/video/intro.html 4 comments distributed , math , video
- The TLA+ Video Course https://lamport.azurewebsites.net/video/videos.html 2 comments programming
- You might not need a CS degree but you definitely need the CS Knowledge https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf 16 comments learnprogramming
- 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
- TLA+ Video Course by Leslie Lamport http://lamport.azurewebsites.net/video/videos.html?repost=true 9 comments programming
- What is your opinion on the “21st Century Proofs” encouraged by this pdf? Could you see such stylistic changes being useful? https://lamport.azurewebsites.net/pubs/proof.pdf 4 comments math
- Computer Scientists suffer from Whorfian Syndrome. https://lamport.azurewebsites.net/pubs/deroever-festschrift.pdf 7 comments compsci
- Why Don't Computer Scientists Learn Math? - Leslie Lamport http://lamport.azurewebsites.net/tla/math-knowledge.html 141 comments compsci
- The TLA+ Video Course (Leslie Lamport) http://lamport.azurewebsites.net/video/videos.html 3 comments programming