strachey: videos

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▶Hardening Digital Infrastructure: Two ExamplesStrachey Lectures1:02:07Notes
   +Watch later
2. 2▶An AI stack: from scaling AI workloads to evaluating LLMsStrachey Lectures55:58Notes
   +Watch later
3. 3▶Advances in Garbled CircuitsStrachey Lectures48:12Notes
   +Watch later
4. 4▶Will Computers prove theorems?Strachey Lectures46:25Notes
   +Watch later
5. 5▶Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AIStrachey Lectures47:14Notes
   +Watch later
6. 6▶Privacy, Verification, Robustness: A Cryptographer's perspective on MLStrachey Lectures1:04:18Notes
   +Watch later
7. 7▶From probabilistic bisimulation to representation learning via metricsStrachey Lectures55:03Notes
   +Watch later
8. 8▶Strachey Lecture: The Computer in the SkyStrachey Lectures1:02:09Notes
   +Watch later
9. 9▶Strachey Lecture: From classical to non-classical stochastic shortest path problemsStrachey Lectures57:09Notes
   +Watch later
10. 10▶Strachey Lecture: How Can Algorithms Help to Protect our PrivacyStrachey Lectures54:48Notes
    +Watch later