Homotopy Type Theory Discussed - Computerphile
Discussing Homotopy Type Theory with Professor Thorsten Altenkirch. Main Vladimir Voevodsky Video: • Homotopy Type Theory: Vladimir Voevodsky ... / computerphile / computer_phile This video was filmed and edited by Sean Riley. Computer Science at the University of Nottingham: http://bit.ly/nottscomputer Computerphile is a sister project to Brady Haran's Numberphile. More at http://www.bradyharan.com
▶︎
The Hardest Problem in Type Theory - Computerphile
▶︎
"A Little Taste of Dependent Types" by David Christiansen
▶︎
Shor's Algorithm for Quantum Computing - Computerphile
▶︎
How AI Cracked the Protein Folding Code and Won a Nobel Prize
▶︎
Why AI Tokens are so Expensive - Computerphile
▶︎
System Design Explained: APIs, Databases, Caching, CDNs, Load Balancing & Production Infra
▶︎
Nervous System Regulation (999 Hz) | 1 hour handpan music | Malte Marten
▶︎
System Design Course – APIs, Databases, Caching, CDNs, Load Balancing & Production Infra
▶︎
Arrays vs Linked Lists - Computerphile
▶︎
The REAL reason the US can’t beat Iran
▶︎
"Categories for the Working Hacker" by Philip Wadler
▶︎
Training Sand to Think: Artificial General Intelligence & Future of Physics
▶︎
The Scariest Chart in Electrical Engineering
▶︎
Temporal Networks, Where Page Rank meets Lord of the Rings - Computerphile
▶︎
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
▶︎
Von Neumann Architecture - Computerphile
▶︎
The Hardest Questions in Physics | World Science Festival
▶︎
Computer Science and Homotopy Theory - Vladimir Voevodsky
▶︎
How To Think SO Clearly People Assume You're Brilliant
▶︎