Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport

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 - Intro 00:01:25 - The Bakery Algorithm 00:08:28 - Experiences with Dijkstra 00:14:44 - His most cited paper 00:23:26 - The "Byzantine Generals" problem 00:38:05 - The Paxos Algorithm 00:46:57 - Paxos vs Raft Algorithm 00:51:26 - Building LaTeX 00:54:45 - Why writing improves your thinking 01:00:21 - Why he wasn't an academic 01:02:08 - Grand theory of concurrency 01:07:25 - Why he doesn't think he's smart 01:09:07 - Advice for his younger self 01: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