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