Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24
Introduction
00:00 • 5min
Latex: A Rubbery Substance?
04:48 • 2min
The Importance of Separating Ideas From the Type Setting
06:35 • 3min
How to Be a Better Person
09:45 • 2min
How to Define a Property of Infinite Sequences
11:31 • 3min
The Separation of Concerns in Coding and Programming
14:03 • 4min
How to Write a TLA Plus Specification
18:01 • 3min
The Countercultural World of Software Development
21:11 • 2min
How to Save Two Hours of TLA With Two Weeks of Debugging
23:16 • 2min
The Importance of Specification in Programming
25:02 • 3min
How to Change Your Predilection to Think in Algorithms
27:56 • 3min
The Challenges of Programming in the United States
30:49 • 2min
The Peepee on the Curtain
32:24 • 5min
The Evolution of Computer Science
37:53 • 2min
The Future of Programming Languages
39:25 • 4min
The Importance of Concurrency
43:53 • 4min
The Property of Stuttering Insensitivity
48:14 • 2min
How to Write a Bakery Algorithm That Is Stuttering and Sensitive
49:51 • 2min
The History of the Bakery Algorithm
52:08 • 4min
How to Write Concurrency Algorithms
56:16 • 2min
The Breadcrumb Algorithm
58:21 • 3min
How to Write a Non-Trivial Algorithm That Guarantees Your Number Will Not Be Bigger Than Ten
01:01:02 • 2min
The Workday at Microsoft
01:03:10 • 2min
How to Think Algorithmically With TLA+
01:05:21 • 2min