Thinking outside the box of code (Interview)
The Changelog: Software Development, Open Source08/09/23 • 68 min
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’s livestream series on YouTube at youtube.com/@nikolovlazar. Use the code changelog and get the team plan FREE for three (3) 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!
08/09/23 • 68 min
2 Listeners
The Changelog: Software Development, Open Source - Thinking outside the box of code (Interview)
Transcript
Alright, I'm here with Leslie Lamport, a distinguished scientist at Microsoft Research, creator of LaTeX; not the rubbery substance, but the documentation system that you've probably heard of or used. It's used in Academia, it's used in scientific circles, math circles... And a Turing Award winner. Leslie, thanks so much for coming on the show.
Leslie Lamport:Thank you. You might want to try that again an
Generate a badge
Get a badge for your website that links back to this episode
<a href="https://goodpods.com/podcasts/the-changelog-software-development-open-source-71062/thinking-outside-the-box-of-code-interview-32308931"> <img src="https://storage.googleapis.com/goodpods-images-bucket/badges/generic-badge-1.svg" alt="listen to thinking outside the box of code (interview) on goodpods" style="width: 225px" /> </a>
Copy