Chapters
Transcript
Episode notes
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Introduction
00:00 • 3min
Haskell
02:53 • 5min
How to Write a Test Using Haskell
07:46 • 3min
Using Unit Tests to Test a Web Server
10:54 • 2min
Using QuickTek to Generate Not Example, but Actual Traces of Execution, and Then Checking Properties Overdose
12:57 • 6min
Is the Time Zone Bug Really That Important?
18:38 • 2min
The TLA-Plus Quick-Standard Project
20:48 • 3min
How Is It Different From Regular Logic?
23:55 • 2min
Using Temporal Operators in a Test Environment
25:42 • 4min
Is There a Relationship Between Model Checking and Browser Testing?
29:52 • 2min
Is There a Way to Get the Spec to Be True?
31:34 • 5min
The Space Leak Problem in Haskell
36:46 • 3min
How to Avoid Space Leaks in Haskell?
39:40 • 5min
Is Laysiness a Good Thing?
44:15 • 2min
Is Haskell a Good Interfacing Hazard?
45:59 • 4min