"Categories for the Working Hacker" by Philip Wadler
42:43
"Propositions as Types" by Philip Wadler
45:50
"The Mess We're In" by Joe Armstrong
42:15
"Performance Matters" by Emery Berger
26:20
A Sensible Introduction to Category Theory
41:35
Functional Programming in 40 Minutes • Russ Olsen • GOTO 2018
50:52
Category Theory for the Working Hacker by Philip Wadler
36:21
"Probabilistic scripts for automating common-sense tasks" by Alexander Lew
1:05:50