World Model ยท podcast knowledge graph

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

2026-02-23 ยท 70 min ยท 25 entities

episode page audio

Asserted relationships

  • โ†’ appeared on The Peterman Pod podcast
    0.63
    evidence rules-v5
    Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
  • โ†’ hosted by Ryan Peterman person
    0.55
    evidence rules-v5
    Feed author/publisher: Ryan Peterman
  • โ†’ discusses Technology company
    0.40
    evidence rules-v5
    Feed category: Technology
  • โ†’ references developing.dev website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://developing.dev/
  • โ†’ references @Ryanlpeterman website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://tiktok.com/@ryanlpeterman
  • โ†’ references U719vQz WFs website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://youtu.be/U719vQz-WFs
  • โ†’ references Turing Award Winner On Working With website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://developing.dev/p/turing-award-winner-on-working-with
  • โ†’ references Bakery website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/bakery.pdf
  • โ†’ references Time Clocks person
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/time-clocks.pdf
  • โ†’ references Byz website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/byz.pdf
  • โ†’ references Lamport Paxos person
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/lamport-paxos.pdf
  • โ†’ references Pubs website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/pubs.html

Entities found in this episode

websites 14

  • mentioned developing.dev website
    0.45
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://developing.dev/
  • mentioned @Ryanlpeterman website
    0.45
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://threads.com/@ryanlpeterman
  • mentioned U719vQz WFs website
    0.45
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://youtu.be/U719vQz-WFs
  • 0.45
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://developing.dev/p/turing-award-winner-on-working-with
  • mentioned Bakery website
    0.45
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/bakery.pdf
  • mentioned Byz website
    0.45
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/byz.pdf
  • mentioned Pubs website
    0.45
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/pubs.html
  • references developing.dev website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://developing.dev/
  • references @Ryanlpeterman website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://tiktok.com/@ryanlpeterman
  • references U719vQz WFs website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://youtu.be/U719vQz-WFs
  • 0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://developing.dev/p/turing-award-winner-on-working-with
  • references Bakery website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/bakery.pdf
  • references Byz website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/byz.pdf
  • references Pubs website
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/pubs.html

persons 7

  • mentioned Ryan Peterman person
    0.70
    evidence rules-v5
    Feed author/publisher: Ryan Peterman
  • mentioned Turing Award Winner person
    0.66
    evidence rules-v5
    Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
  • hosted by Ryan Peterman person
    0.55
    evidence rules-v5
    Feed author/publisher: Ryan Peterman
  • mentioned Time Clocks person
    0.45
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/time-clocks.pdf
  • mentioned Lamport Paxos person
    0.45
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/lamport-paxos.pdf
  • references Time Clocks person
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/time-clocks.pdf
  • references Lamport Paxos person
    0.38
    evidence rules-v5
    Link in episode "Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport": https://lamport.azurewebsites.net/pubs/lamport-paxos.pdf

companys 2

  • mentioned Technology company
    0.50
    evidence rules-v5
    Feed category: Technology
  • discusses Technology company
    0.40
    evidence rules-v5
    Feed category: Technology

podcasts 1

  • appeared on The Peterman Pod podcast
    0.63
    evidence rules-v5
    Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport

concepts 1

  • mentioned Leslie Lamport concept
    0.42
    evidence rules-v5
    Turing Award Winner On Thinking Clearly, Paxos vs Raft, Working With Dijkstra | Leslie Lamport
Episode description as stored
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