Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos)lamport.azurewebsites.net4 pointssovietswag6 months ago