Leslie Lamport on Distributed Systems
Leslie Lamport won a Turing Award in 2013 for his work in distributed and concurrent systems. He also designed the document preparation tool LaTex. Leslie is employed by Microsoft Research, and has recently been working with TLA+, a language that is useful for specifying concurrent systems from a high level. The interview begins with a […]
Find Your Interest
- Where I've Been
- Natalia Martins
- A note from the new owner of Smart Passive Income
- Essential Tennis Changes - An Update From Ian
- Perfecting the Girl's Night Out Look
- Recuperação judicial no agro cresce 57% em um ano, puxada pela soja
- Feirão reúne empresas para aproximar jovens e pessoas com deficiência do mercado de trabalho no DF
- Entidades industriais criticam cortes de isenções em projeto de ajuste fiscal
- Lee finally reconnects with his dad on an emotional episode of The Lowdown
- The Tim Ferriss Show Transcripts: How to Simplify Your Life — Tips from Oliver Burkeman, Chip Conley, Elizabeth Gilbert, and More (#885)
