The Hardest Problem in Type Theory - Computerphile
Biggest Puzzle in Computer Science: P vs. NP
The Craziest Philosophical Theories Explained in 14 Minutes
What is...homotopy type theory?
Why Categorical Aspects of Type Theory Matter
A Taste of Type Theory • Bartosz Milewski • YOW! 2019
Quant Interview Questions But They Keep Getting Harder
Life’s Biggest Philosophical Questions Explained in 13 Minutes
3 Paradoxes That Will Change the Way You Think About Everything
Ranking Every Math Field
How to think like a genius ( from a 5x IMO medalist)
Normalization for Cubical Type Theory (LICS 2021)
The Hardest Math Class in the World?!?!
The Equation That Explains (Nearly) Everything!
The Simplest Math Problem No One Can Solve - Collatz Conjecture
Why should you learn Type Theory?
The hardest math problems of the 20th century: Hilbert's 23 problems | Joel David Hamkins
Business Was Hard Until I Understood These 4 Concepts
Every Major Economic Theory Explained in 20 Minutes
Notes on Type Theory for beginners
