PodcastIntel
Sign in Get Started Free
The Changelog: Software Development, Open Source
The Changelog: Software Development, Open Source

Thinking outside the box of code (Interview)

Aug 9, 2023 · 1:08:08
Listen to Episode
✨ AI Summary
  • Leslie Lamport discusses distributed systems and TLA+.
  • Turing Award winner on creating systems before coding.
  • Exploring high-level languages for system design.

Guests on This Episode

LL
Leslie Lamport
1 podcast appearance

More from The Changelog: Software Development, Open Source

The Changelog: Software Development, Open Source
Astral has been acquired by OpenAI (News)
Mar 27, 2026 · 10:48
The Changelog: Software Development, Open Source
From Tailnet to platform (Interview)
Mar 11, 2026 · 1:42:15
The Changelog: Software Development, Open Source
Big change brings big change (News)
Mar 10, 2026 · 05:10
The Changelog: Software Development, Open Source
Finale & Friends (Friends)
Mar 2, 2026 · 1:46:22
View all episodes →

Get AI Summaries for Every New Episode

Subscribe to The Changelog: Software Development, Open Source and get AI summaries, guest tracking, and email digests delivered automatically.

Sign Up Free →