Thinking outside the box of code (Interview)

08/09/23 • 68 min

2 Listeners

The Changelog: Software Development, Open Source

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:

Something missing or broken? PRs welcome!

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:

Something missing or broken? PRs welcome!

Previous Episode

The open source licensing war is over? (News)

Matt Asay thinks the open source licensing war is over, LangUI is an open source Tailwind component library for your AI chat app, Ivan Kuleshov modded a Mac mini to run via PoE, Apple joins Pixar and others in the Alliance for OpenUSD & John D. Cook says sometimes you shouldn’t pick the best tool for the job.

View the newsletter

Join the discussion

Changelog++ members support our work, get closer to the metal, and make the ads disappear. Join today!

Sponsors:

Sentry – Watch Lazar Nikolov livestream on YouTube at youtube.com/@nikolovlazar. Use the code CHANGELOGMEDIA and get the team plan FREE for six (6) months.

Featuring:

Jerod Santo – GitHub, LinkedIn, Mastodon, X

Next Episode

Kaizen! S3 R2 B2 D2 (Friends)

Gerhard joins us for the 11th Kaizen and this one might contain the most improvements ever. We’re on Fly Apps V2, we’ve moved from S3 to R2 & we have a status page now, just to name a few.

Join the discussion

Changelog++ members get a bonus 5 minutes at the end of this episode and zero ads. Join today!

Sponsors:

Fastly – Our bandwidth partner. Fastly powers fast, secure, and scalable digital experiences. Move beyond your content delivery network to their powerful edge cloud platform. Learn more at fastly.com
Fly.io – The home of Changelog.com — Deploy your apps and databases close to your users. In minutes you can run your Ruby, Go, Node, Deno, Python, or Elixir app (and databases!) all over the world. No ops required. Learn more at fly.io/changelog and check out the speedrun in their docs.
Typesense – Lightning fast, globally distributed Search-as-a-Service that runs in memory. You literally can’t get any faster!

Featuring:

Gerhard Lazu – Website, GitHub, LinkedIn, X
Jerod Santo – GitHub, LinkedIn, Mastodon, X
Adam Stacoviak – Website, GitHub, LinkedIn, Mastodon, X

Show Notes:

Something missing or broken? PRs welcome!

The Changelog: Software Development, Open Source - Thinking outside the box of code (Interview)

Transcript

Transcript for Changelog Interviews #552 Jerod Santo:

Alright, I'm here with Leslie Lamport, a distinguished scientist at Microsoft Research, creator of LaTeX; not the rubbery substance, but the documentation system that you've probably heard of or used. It's used in Academia, it's used in scientific circles, math circles... And a Turing Award winner. Leslie, thanks so much for coming on the show.

Leslie Lamport:

Thank you. You might want to try that again an