Thinking outside the box of code
Changelog Interviews
00:00
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.
Transcript
Play full episode
