Listen "Thinking outside the box of code (Interview)"
Episode Synopsis
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."
More episodes of the podcast The Changelog: Software Development, Open Source
Linus Torvalds gets the AI coding bug (News)
12/01/2026
From GitLab to Kilo Code (Interview)
07/01/2026
The move faster manifesto (News)
05/01/2026
State of the "log" 2025 (Friends)
19/12/2025
Agents in the database (Interview)
18/12/2025
Down the Linux rabbit hole (Friends)
12/12/2025
The "confident idiot" problem (News)
08/12/2025
Very important agents (Friends)
05/12/2025
ZARZA We are Zarza, the prestigious firm behind major projects in information technology.