strachey lecture

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