Homotopy Type Theory Discussed - Computerphile
23:40
The Hardest Problem in Type Theory - Computerphile
17:46
Propositions as Types - Computerphile
9:24
What is a hole?
19:58
DeepSeek is a Game Changer for AI - Computerphile
12:33
Why Information Theory is Important - Computerphile
1:00:35
3 01 A Functional Programmer's Guide to Homotopy Type Theory
16:20
Von Neumann Architecture - Computerphile
15:56