Homotopy Type Theory Discussed - Computerphile
23:40
The Hardest Problem in Type Theory - Computerphile
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
23:13
Secrets Hidden Inside Smart Meters... Let's Go Down The Rabbit Hole!
12:23
Generative AI's Greatest Flaw - Computerphile
1:00:35
3 01 A Functional Programmer's Guide to Homotopy Type Theory
15:11
The Foundation of Mathematics - Numberphile
21:37
Şenlikli Fraktallar - Computerphile
1:17:14