Thursday, August 20, 2026

Leslie Lamport on LaTeX, Paxos, Distributed Systems, TLA and TLA+ - InfoQ

https://www.infoq.com/interviews/lamport-latex-paxos-tla/ _- Steve

Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)