On Making Mathematic Proof a Business: Byron Cook
56:54
Parables on the Power of Planning in AI: From Poker to Diplomacy: Noam Brown (OpenAI)
1:10:58
Trends in Deep Learning Hardware: Bill Dally (NVIDIA)
36:58
Rapid Prototyping & Product Management by Tom Chi at Mind the Product San Francisco
54:04
A Dogged Pursuit For Satisfaction–Ryan Williams (MIT CSAIL)
1:10:36
SWC Lecture 2024 - Blaise Agüera y Arcas
27:22
AI Is Making You An Illiterate Programmer
1:04:40
The Value (and Pitfalls) of Proof—Persi Diaconis (Stanford)
1:14:43