Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) Posted by sovietswag on Tuesday December 16, 2025 @11:14AM from the lamport.azurewebsites.net dept. https://lamport.azurewebsites.net/pubs/pubs.html ( no comments | 3 points | on HN )
There are no comments yet.