Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport ย
Podcast: The Peterman PodPublished On: Mon Feb 23 2026
Description: I interviewed Leslie Lamport, a Turing Award winner known for his contributions to distributed systems and the inventor of the Paxos algorithm. We walked through the major contributions of his career for the stories behind them and what he learned along the way.๐ธ My keyboard project: https://read.compose.llc/p/our-keyboard-design-reveal๐ฃ๐ผ๐ฑ๐ฐ๐ฎ๐๐ ๐น๐ถ๐ป๐ธ๐:โข YouTube: https://youtu.be/U719vQz-WFsโข Apple: https://podcasts.apple.com/us/podcast/the-peterman-pod/id1777363835โข Transcript: https://www.developing.dev/p/turing-award-winner-on-working-with๐๐ฝ๐ถ๐๐ผ๐ฑ๐ฒ ๐น๐ถ๐ป๐ธ๐:โข Bakery Problem Paper: https://lamport.azurewebsites.net/pubs/bakery.pdfโข Time Clocks Paper (most cited): https://lamport.azurewebsites.net/pubs/time-clocks.pdfโข The Byzantine Generals Problem Paper: https://lamport.azurewebsites.net/pubs/byz.pdfโข The Paxos Algorithm Paper: https://lamport.azurewebsites.net/pubs/lamport-paxos.pdf๐ง๐ถ๐บ๐ฒ๐๐๐ฎ๐บ๐ฝ๐:00:00:00 - Intro00:01:25 - The Bakery Algorithm00:08:28 - Experiences with Dijkstra00:14:44 - His most cited paper00:23:26 - The "Byzantine Generals" problem00:38:05 - The Paxos Algorithm00:46:57 - Paxos vs Raft Algorithm00:51:26 - Building LaTeX00:54:45 - Why writing improves your thinking01:00:21 - Why he wasn't an academic01:02:08 - Grand theory of concurrency01:07:25 - Why he doesn't think he's smart01:09:07 - Advice for his younger self01:09:44 - Outro๐ช๐ต๐ฒ๐ฟ๐ฒ ๐๐ผ ๐ณ๐ถ๐ป๐ฑ ๐๐ฒ๐๐น๐ถ๐ฒ:โข His works: https://lamport.azurewebsites.net/pubs/pubs.html๐ช๐ต๐ฒ๐ฟ๐ฒ ๐๐ผ ๐ณ๐ถ๐ป๐ฑ ๐ฅ๐๐ฎ๐ป:โข Newsletter: https://www.developing.dev/โข X/Twitter: https://x.com/ryanlpetermanโข LinkedIn: https://www.linkedin.com/in/ryanlpeterman/โข Threads: https://www.threads.com/@ryanlpetermanโข Instagram: https://www.instagram.com/ryanlpetermanโข TikTok: https://www.tiktok.com/@ryanlpeterman
The note was deleted
The note was saved
Your message was sent