Paxos Made Simple (2001) [pdf](lamport.azurewebsites.net)65 points by grep_it 3 months ago | 7 comments
How to Write a 21st Century Proof (2011) [pdf](lamport.azurewebsites.net)16 points by User23 10 months ago | 0 comments
A Science of Concurrent Programs (final draft)(lamport.azurewebsites.net)66 points by lateforwork 1 year ago | 1 comments
A Science of Concurrent Programs [pdf](lamport.azurewebsites.net)167 points by paulolc 2 years ago | 32 comments
Computation and State Machines (2008) [pdf](lamport.azurewebsites.net)73 points by Jtsummers 3 years ago | 30 comments
![Screenshot of lamport.azurewebsites.net: Paxos Made Simple (2001) [pdf]](https://hn.urlbox.com/shots/renders/2026/7/14/bfbf5a11-605f-4394-8b53-a50255aa601f.jpg)
![Screenshot of lamport.azurewebsites.net: How to Write a 21st Century Proof (2011) [pdf]](https://hn.urlbox.com/shots/renders/2025/12/21/8f3a8d47-1a34-40ff-be5c-91fa1c4c16c4.jpg)
![Screenshot of lamport.azurewebsites.net: The Future of TLA+ [pdf]](https://hn.urlbox.com/shots/renders/2024/8/28/d6371a7a-2320-4062-9eb8-d455b5a84dcf.jpg)
![Screenshot of lamport.azurewebsites.net: A Science of Concurrent Programs [pdf]](https://hn.urlbox.com/shots/renders/2024/1/4/cdc8207c-b7a8-4c2c-9b84-63e6e35e4f75.jpg)
![Screenshot of lamport.azurewebsites.net: Computation and State Machines (2008) [pdf]](https://hn.urlbox.com/shots/renders/2023/7/12/9fffabde-d260-4c14-a3c3-949e214d06fc.jpg)