L lamport.azurewebsites.net Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) 4 points sovietswag 10 months ago 0 comments
