Changelog Interviews

Thinking outside the box of code

Listen Later

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 discussion

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:

    • Leslie Lamport – Website
    • Jerod Santo – GitHub, LinkedIn, Mastodon, X

    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!

      ...more
      View all episodesView all episodes
      Download on the App Store
      Changelog InterviewsBy Changelog Media
      • 5
      • 5
      • 5
      • 5
      • 5

      5

      5 ratings

      More shows like Changelog Interviews

      View all
      The Changelog: Software Development, Open Source by Changelog Media

      The Changelog: Software Development, Open Source

      289 Listeners

      Making Sense with Sam Harris by Sam Harris

      Making Sense with Sam Harris

      26,319 Listeners

      Software Engineering Daily by Software Engineering Daily

      Software Engineering Daily

      623 Listeners

      Syntax - Tasty Web Development Treats by Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers

      Syntax - Tasty Web Development Treats

      987 Listeners

      REWORK by 37signals

      REWORK

      210 Listeners

      The Diary Of A CEO with Steven Bartlett by DOAC

      The Diary Of A CEO with Steven Bartlett

      8,484 Listeners

      Practical AI by Practical AI LLC

      Practical AI

      207 Listeners

      Sicherheitshalber by Der Podcast zur sicherheitspolitischen Lage in Deutschland, Europa und der Welt.

      Sicherheitshalber

      47 Listeners

      All-In with Chamath, Jason, Sacks & Friedberg by All-In Podcast, LLC

      All-In with Chamath, Jason, Sacks & Friedberg

      9,920 Listeners

      Dwarkesh Podcast by Dwarkesh Patel

      Dwarkesh Podcast

      514 Listeners

      Huberman Lab by Scicomm Media

      Huberman Lab

      29,186 Listeners

      Plain English with Derek Thompson by The Ringer

      Plain English with Derek Thompson

      2,232 Listeners

      Oxide and Friends by Oxide Computer Company

      Oxide and Friends

      62 Listeners

      Changelog News by Changelog Media

      Changelog News

      14 Listeners

      Rust in Production by Matthias Endler

      Rust in Production

      26 Listeners