Dr Scott Aaronson (MIT, UT Austin) gives the 2016 Strachey lecture. In the near future, it will likely become possible to perform special-purpose quantum computations that, while not immediately useful for anything, are plausibly hard to simulate using a classical computer. These "quantum supremacy experiments" would be a scientific milestone---decisively a ... Show More
May 15
Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
Leo De Moura: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI How can mathematicians, software developers, and AI systems work together with complete confidence in each other’s contributions? The open-source Lean proof assistant and programming language ... Show More
47m 14s
Mar 2025
Privacy, Verification, Robustness: A Cryptographer's perspective on ML
Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML Cryptographic tools enable the safe use of technology platforms controlled by worst case computationally bounded adversaries.In this talk I will show how cryptographic paradigms and tools can ... Show More
1h 4m
Jun 2017
Episode 83: Advanced Quantum Mechanics Part I
An examination of some more advanced concepts of quantum mechanics, focusing on describing Dirac's bra-ket formulation of quantum theory. I discuss the formulation of quantum mechanics in terms of vectors in Hilbert spaces, Hermitian operators as corresponding to observables, ort ... Show More
58m 56s
Jul 2021
Alyssa Ney, "The World in the Wave Function: A Metaphysics for Quantum Physics" (Oxford UP, 2021)
Quantum mechanics is full of weird findings – for example, that systems widely separated can somehow still be correlated, and that a system may be in two different possible states at the same time. Entanglement and superposition, among other phenomena, have prompted debate since ... Show More
1h 13m