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
From open source hits to OpenAI (Interview)
Jun 5, 2026 · 1:46:28
The Changelog: Software Development, Open Source
MCP on Code Mode (Interview)
May 15, 2026 · 1:54:52
The Changelog: Software Development, Open Source
Automation at the speed of Swamp (Friends)
May 13, 2026 · 2:26:00
The Changelog: Software Development, Open Source
Bitwarden CLI compromised (News)
Apr 29, 2026 · 08:33
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 →