strachey: audio

Pick anything below and it plays in the bar at the foot of the window — and keeps playing while you go on browsing the directory.

1. 1▶Advances in Garbled CircuitsStrachey Lectures48:12Notes
   +Listen later
2. 2▶Will Computers prove theorems?Strachey Lectures46:25Notes
   +Listen later
3. 3▶Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AIStrachey Lectures47:14Notes
   +Listen later
4. 4▶Privacy, Verification, Robustness: A Cryptographer's perspective on MLStrachey Lectures1:04:18Notes
   +Listen later
5. 5▶From probabilistic bisimulation to representation learning via metricsStrachey Lectures55:03Notes
   +Listen later
6. 6▶Strachey Lecture: The Computer in the SkyStrachey Lectures1:02:09Notes
   +Listen later
7. 7▶Strachey Lecture: From classical to non-classical stochastic shortest path problemsStrachey Lectures57:09Notes
   +Listen later
8. 8▶Strachey Lecture: How Can Algorithms Help to Protect our PrivacyStrachey Lectures54:48Notes
   +Listen later
9. 9▶Strachey Lecture: Use or Be Used - Regaining Control of AIStrachey Lectures50:26Notes
   +Listen later
10. 10▶Strachey Lecture: Symmetry and SimilarityStrachey Lectures1:00:34Notes
    +Listen later