Changelog Interviews Thinking outside the box of code
Aug 9, 2023
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.
Chapters
Transcript
Episode notes
1 2 3 4 5 6 7
Introduction
00:00 • 4min
The Origins and Pronunciation of LaTeX
04:16 • 2min
The Importance of Code Descriptions
06:35 • 15min
Importance of Upfront Design and Formalized Specifications in Programming
21:11 • 18min
Learning Programming and Thinking Outside the Code Box
39:25 • 24min
Developing Algorithms, Publishing Research, and Current Work
01:03:08 • 2min
Thinking Algorithmically with TLA Plus and Podcast Updates
01:05:21 • 2min