Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On
42:43
"Propositions as Types" by Philip Wadler
48:10
Ron Pressler - The Practice and Theory of TLA+
9:32
10 Math Concepts for Programmers
48:08
Masterclass avec Cédric Villani sur l'Intelligence Artificielle
7:01
I attended Trump’s inauguration yesterday. Here are my thoughts.
1:15:14
A Crash Course in Category Theory - Bartosz Milewski
46:09
Why Isn't Functional Programming the Norm? – Richard Feldman
44:43