Leslie Lamport
A computer scientist and mathematician who won the ACM’s Turing Award in 2013 for his contributions to distributed and concurrent systems. He also created LaTeX and TLA+.
Best podcasts with Leslie Lamport
Ranked by the Snipd community
31 snips
Aug 9, 2023 • 1h 8min
Thinking outside the box of code (Interview)
Leslie Lamport, a renowned computer scientist and Turing Award winner, dives into the revolutionary aspects of LaTeX and TLA+, emphasizing their roles in problem-solving and software planning. He contrasts coding with programming, advocating for a clearer understanding of a program's purpose. Lamport also discusses the complexities of distributed systems, using the bakery algorithm to illustrate concurrent processes. His insights promote a thoughtful approach to software development, highlighting the importance of formal specifications to minimize bugs.
Aug 9, 2023 • 1h 8min
Thinking outside the box of code
Leslie Lamport, computer scientist and mathematician, talks about creating LaTeX and TLA+, the importance of code descriptions, upfront design, thinking outside the code box, developing algorithms, and thinking algorithmically with TLA Plus.
