Dr. Mateja Jamnik | Can Machines Think Like Humans?
27:40
Dr. Tom Melham | At-scale Formal Verification for Industrial Semiconductor Designs
1:12:51
From the Origins of Twistor Theory to Bi-Twistors and Curved Space-Times
12:23
Two Truths and a Lie: Isaac Newton in Cambridge with @singingbanana
18:49
NVIDIA CEO Jensen Huang Leaves Everyone SPEECHLESS (Supercut)
32:35
Prof. Thomas Hales | New Challenges with Large Proofs in the wake of the Formal Proof
6:06
Fareed Zakaria: Democrats were a forward-looking party. Not anymore
58:20
Think Fast, Talk Smart: Communication Techniques
24:43