Thinking outside the box of code (Changelog Interviews #552)
Changelog Master Feed · Changelog Media
August 9, 20231h 8m
Audio is streamed directly from the publisher (op3.dev) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
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
changelogand 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!