6 ms·Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos)4 points by sovietswag 9mo ago