Why should you learn Type Theory? Share: Download MP3 Similar Tracks The Language of Categories | Category Theory and Why We Care 1.1 Eyesomorphic Type Theory for the Working Rustacean - Dan Pittman Rust Belt Rust Conference The proof assistant you already know Dapper Mink Group theory, abstraction, and the 196,883-dimensional monster 3Blue1Brown A Sensible Introduction to Category Theory Oliver Lugg How Imaginary Numbers Were Invented Veritasium The Simply Typed Lambda Calculus (2.1) Theo Reto A gentle introduction to category theory All Angles Computer Science ∩ Mathematics (Type Theory) - Computerphile Computerphile Programming with Math | The Lambda Calculus Eyesomorphic The Man Who Almost Broke Math (And Himself...) Veritasium [Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language jacobneu How Quantum Computers Break Encryption | Shor's Algorithm Explained minutephysics how floating point works jan Misali Propositions as Types - Computerphile Computerphile Universal Construction | Category Theory and Why We Care 1.2 Eyesomorphic LoRA explained (and a bit about precision and quantization) DeepFindr Category Theory is Impossible Without These 6 Things DiBeos Math's Fundamental Flaw Veritasium
