About this episode
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."
Get every episode summarized
Each time Changelog Interviews publishes, we email you a written briefing from the transcript — the topics, who appeared, and any specific claims, with the ad reads skipped.
Email me new episodesFree for 3 shows. No card needed.
No transcript yet
This episode has not been transcribed. Request it and it moves to the front of the queue.
More episodes
More from Changelog Interviews
Forking Cal.com to closed source
Changelog Interviews
Sep 3, 20261:54:32pending
Postgres at PlanetScale
Changelog Interviews
Aug 25, 20261:42:17pending
Canary tokens and digital tripwires
Changelog Interviews
Jul 21, 20262:06:48pending
From open source hits to OpenAI
Changelog Interviews
Jun 5, 20261:46:28pending