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 <a href="https://en.wikipedia.org/wiki/LaTeX">LaTeX</a> and <a href="https://lamport.azurewebsites.net/tla/tla.html">TLA+</a>, a high-level language for “writing down the ideas that go into the program before you do any coding.”

<a href="https://changelog.com/podcast/552/discuss">Leave us a comment</a>

<a href="https://changelog.com/++" rel="payment">Changelog++</a> members save 7 minutes on this episode because they made the ads disappear. Join today!

Sponsors:
<ul>
 <li><a href="https://changelog.com/tailscale">Tailscale</a> – Simple, secure networks for teams of any scale. Built on WireGuard.
</li><li><a href="https://www.youtube.com/watch?v=nYbmQMR42l0&list=PLOwEowqdeNMrDkr35goo7YuIbroVPf8-n&index=19&utm_source=changelog&utm_medium=newsletter&utm_campaign=changelog-news">Sentry</a> – Watch Lazar Nikolov livestream on YouTube at <a href="https://www.youtube.com/@nikolovlazar">youtube.com/@nikolovlazar</a>. Use the code <code>CHANGELOGMEDIA</code> and get the team plan FREE for six (6) months.
</li>
</ul>


Featuring:
<ul><li>Leslie Lamport &ndash; </li><li>Jerod Santo &ndash; <a href="https://changelog.social/@jerod" rel="external ugc">Mastodon</a>, <a href="https://twitter.com/jerodsanto" rel="external ugc">Twitter</a>, <a href="https://github.com/jerodsanto" rel="external ugc">GitHub</a>, <a href="https://www.linkedin.com/in/jerodsanto" rel="external ugc">LinkedIn</a></li></ul>

Show Notes:
<ul>
<li><a href="https://amturing.acm.org/award_winners/lamport_1205376.cfm">Leslie Lamport - A.M. Turing Award Laureate</a></li>
<li><a href="https://www.youtube.com/watch?v=rkZzg7Vowao">The Man Who Revolutionized Computer Science With Math - YouTube</a></li>
<li><a href="https://spectrum.ieee.org/tla">TLA+ Helps Programmers Squash Bugs Before Coding - IEEE Spectrum</a>
<a href="https://lamport.azurewebsites.net/tla/tla.html">The TLA+ Home Page</a></li>
</ul>

Something missing or broken? <a href="https://github.com/thechangelog/show-notes/blob/master/podcast/the-changelog-552.md">PRs welcome!</a>

Timestamps:

(00:00) - This week on The Changelog(00:56) - Sponsor: Tailscale(04:32) - Start the show!(04:53) - Leslie & LaTeX(07:03) - Separating the ideas(10:54) - Thinking like a mathematician(14:02) - Coding is like typing(21:13) - "Let's get coding"(25:01) - You don't know until you know(28:35) - Thinking in algorithms(34:14) - Sponsor: Sentry(37:52) - What's different today?(40:55) - What makes a system distributed(43:53) - The movie metaphor(49:51) - Stuttering insensitivity(52:19) - The Bakery Algorithm(58:21) - The day of discovery(1:01:57) - Back to the editor(1:03:56) - Leslie's work these days(1:05:20) - Final words(1:06:07) - Up next...

Podurama

Home

Trending

Personal

Your Podcasts

New Episodes

My Files

Favourite Episodes

Tags (Folders)

Recently Played

Bookmarks

Followed Playlists

Thinking outside the box of code (Changelog Interviews #552)

Changelog Master Feed

AI Chapters

AI Insights

Reviews