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