Thinking outside the box of code
Changelog Interviews
Introduction
An interview with Leslie Lamport, discussing his creations LaTeX and TLA+ as high-level tools for writing programs, along with a discussion about TailScale and its features for accessing services from anywhere.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
