23:40

The Hardest Problem in Type Theory - Computerphile

17:46

Propositions as Types - Computerphile

15:11

The Foundation of Mathematics - Numberphile

23:47

The Rust vs C Linux Divide.. Another Rust Maintainer Steps Down.

57:24

Terence Tao at IMO 2024: AI and Mathematics

12:18

Recursion 'Super Power' (in Python) - Computerphile

19:24

The Language of Categories | Category Theory and Why We Care 1.1

21:34

The Final Barrier to (Nearly) Infinite Energy