Hacker News new | ask | show | jobs
Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
4 points by sovietswag 180 days ago