Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos)

 (lamport.azurewebsites.net)

4 points | by sovietswag 8 hours ago

0 comments