Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net) 4 points by sovietswag 9mo ago ↗ HN
0 comments
[ 4.3 ms ] story [ 15.0 ms ] threadNo comments yet.