Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
Introduction
00:00 • 4min
Using Lambda Calculus Models in Scala and Scala Web Frameworks
03:38 • 3min
How to Infer a JSON Schema From Data
06:45 • 5min
Is Decentralization Working?
12:13 • 4min
The Origin of Object Oriented Programming
16:02 • 5min
I'm Not Trying to Plan for Everything, but I Can Retroactively Impose More Structure on It
21:10 • 3min
Is There a Difference Between Dynamic and Static Programming?
24:27 • 1min
Is There a Difference Between Python and Haskell?
25:55 • 2min
Getting Tests to Help You Maintain a Code Base That Has Static Types
27:40 • 2min
Is There a Workflow Option for JavaScript?
29:15 • 2min
Is Haskell a Research Language?
31:07 • 3min
Is There a Disconnection Between Research and Industry in Programming Languages?
34:19 • 2min
Is Your Spec Correct?
36:31 • 3min
Are There Other Things We Could Be Teaching?
39:23 • 2min
Is There a Difference Between Academic Research and Software Development?
41:15 • 2min
Is There a Threat Model?
43:23 • 2min
Software Is a Real Thing. It Affects Real People
45:12 • 2min