20:31Reasoning with Infinity in a Finite World: Lazy Evaluation and Recreating the Library of Babel
A 21-minute video from CompSciOxford: “Reasoning with Infinity in a Finite World: Lazy Evaluation and Recreating the Library of Babel”.
CompSciOxford
1.83K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
20:31
48:13Strachey Lecture: Advances in Garbled Circuits
A 48-minute video from CompSciOxford: “Strachey Lecture: Advances in Garbled Circuits”.
55:59Strachey Lecture: An AI stack: from scaling AI workloads to evaluating LLMs
A 56-minute video from CompSciOxford: “Strachey Lecture: An AI stack: from scaling AI workloads to evaluating LLMs”.
47:15Strachey Lecture: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
A 47-minute video from CompSciOxford: “Strachey Lecture: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI”.
57:10Strachey Lecture: From classical to non-classical stochastic shortest path problems
A 57-minute video from CompSciOxford: “Strachey Lecture: From classical to non-classical stochastic shortest path problems”.
55:04Strachey Lecture: From probabilistic bisimulation to representation learning via metrics
A 55-minute video from CompSciOxford: “Strachey Lecture: From probabilistic bisimulation to representation learning via metrics”.
1:02:08Strachey Lecture: Hardening Digital Infrastructure
A 62-minute video from CompSciOxford: “Strachey Lecture: Hardening Digital Infrastructure”.
40:27Strachey Lecture: Hiding in plain sight: the promises and pitfalls of secret communication
A 40-minute video from CompSciOxford: “Strachey Lecture: Hiding in plain sight: the promises and pitfalls of secret communication”.
54:49Strachey Lecture: How Can Algorithms Help to Protect our Privacy
A 55-minute video from CompSciOxford: “Strachey Lecture: How Can Algorithms Help to Protect our Privacy”.
1:04:19Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML
A 64-minute video from CompSciOxford: “Strachey Lecture: Privacy, Verification, Robustness: A Cryptographer's perspective on ML”.
46:26Strachey Lecture: Will Computers prove theorems?
A 46-minute video from CompSciOxford: “Strachey Lecture: Will Computers prove theorems?”.
30:35Thinking Machines, Computational Models, and Moral Robots: The Philosophical Frontiers of CS
A 31-minute video from CompSciOxford: “Thinking Machines, Computational Models, and Moral Robots: The Philosophical Frontiers of CS”.