1. 2
    Interview with Leslie Lamport on LaTeX, Paxos, Distributed Systems, TLA and TLA+ person infoq.com
    BruceM avatar via BruceM 3 years ago | cached | no comments

  1.