The Changelog: Software Development, Open Source

Thinking outside the box of code (Interview)

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 – Website, 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
      The Changelog: Software Development, Open SourceBy Changelog Media
      • 4.7
      • 4.7
      • 4.7
      • 4.7
      • 4.7

      4.7

      286 ratings

      More shows like The Changelog: Software Development, Open Source

      View all
      Software Engineering Radio - the podcast for professional software developers by team@se-radio.net (SE-Radio Team)

      Software Engineering Radio - the podcast for professional software developers

      275 Listeners

      Software Engineering Daily by Software Engineering Daily

      Software Engineering Daily

      624 Listeners

      LINUX Unplugged by Jupiter Broadcasting

      LINUX Unplugged

      275 Listeners

      Talk Python To Me by Michael Kennedy

      Talk Python To Me

      584 Listeners

      Soft Skills Engineering by Jamison Dance and Dave Smith

      Soft Skills Engineering

      288 Listeners

      Data Engineering Podcast by Tobias Macey

      Data Engineering Podcast

      144 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

      212 Listeners

      Practical AI by Practical AI LLC

      Practical AI

      213 Listeners

      AWS Podcast by Amazon Web Services

      AWS Podcast

      203 Listeners

      The Stack Overflow Podcast by The Stack Overflow Podcast

      The Stack Overflow Podcast

      64 Listeners

      The Real Python Podcast by Real Python

      The Real Python Podcast

      139 Listeners

      Big Technology Podcast by Alex Kantrowitz

      Big Technology Podcast

      508 Listeners

      Training Data by Sequoia Capital

      Training Data

      41 Listeners

      The Pragmatic Engineer by Gergely Orosz

      The Pragmatic Engineer

      75 Listeners