3 ms·

By the way, one of the paper authors – Leslie Lamport – is the Leslie Lamport, creator of LaTeX. He is probably one of the reasons behind beautiful typesetting

by ilammy 7y ago

By the way, one of the paper authors – Leslie Lamport – is the Leslie Lamport, creator of LaTeX. He is probably one of the reasons behind beautiful typesetting of this and other papers.

exdsq 7y ago
I always associate Lamport with distriubted systems. I forgot he did LaTeX, I think about TLA+ and Lamport clocks!
- empath75 7y ago
  and paxos!
  - exdsq 7y ago
    The mans a genius
namdnay 7y ago
The guy who had a bakery?