
Leslie Lamport won a Turing award for his fundamental contributions to distributed systems. For instance, he invented the Paxos consensus algorithm that is a critical component of many distributed systems today. I interviewed him about his work and career. We discussed: • Why he never considered himself smart • The stories behind Paxos and Byzantine Generals Problem • Experiences working with Dijkstra • Paxos vs Raft Algorithms • How to improve your thinking Where to watch: • YouTube: youtu.be/U719vQz-WFs • Spotify: open.spotify.com/episode/7JHYsz… • Apple Podcasts: podcasts.apple.com/us/podcast/the… • Transcript: developing.dev/p/turing-award…










