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