Your one-stop shop for all Changelog podcasts. Weekly shows about software development, developer culture, open source, building startups, artificial intelligence, shipping code to production, and the people involved. Yes, we focus on the people. Everything else is an implementation detail.
Thinking outside the box of code (Changelog Interviews #552)
Leslie Lamport is a computer scientist & mathematician who won ACM’s Turing Award in 2013 for his fundamental contributions to the theory and practice of distributed and concurrent systems. He also created LaTeX and TLA+, a high-level language for “writing down the ideas that go into the program before you do any coding.”
Changelog++ members save 7 minutes on this episode because they made the ads disappear. Join today!
Sponsors:
- Tailscale – Simple, secure networks for teams of any scale. Built on WireGuard.
- Sentry – Watch Lazar Nikolov livestream on YouTube at youtube.com/@nikolovlazar. Use the code
CHANGELOGMEDIAand get the team plan FREE for six (6) months.
Featuring:
Show Notes:
- Leslie Lamport - A.M. Turing Award Laureate
- The Man Who Revolutionized Computer Science With Math - YouTube
- TLA+ Helps Programmers Squash Bugs Before Coding - IEEE Spectrum
The TLA+ Home Page
Something missing or broken? PRs welcome!
Timestamps:
(00:00) - This week on The Changelog
(00:56) - Sponsor: Tailscale
(04:32) - Start the show!
(04:53) - Leslie & LaTeX
(07:03) - Separating the ideas
(10:54) - Thinking like a mathematician
(14:02) - Coding is like typing
(21:13) - "Let's get coding"
(25:01) - You don't know until you know
(28:35) - Thinking in algorithms
(34:14) - Sponsor: Sentry
(37:52) - What's different today?
(40:55) - What makes a system distributed
(43:53) - The movie metaphor
(49:51) - Stuttering insensitivity
(52:19) - The Bakery Algorithm
(58:21) - The day of discovery
(1:01:57) - Back to the editor
(1:03:56) - Leslie's work these days
(1:05:20) - Final words
(1:06:07) - Up next...