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.” Join the discussionChangelog++ 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:Leslie Lamport – WebsiteJerod Santo – GitHub, LinkedIn, Mastodon, XShow 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!

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.