Decidability, Type Systems, and the Limits of Open Source TrustSystems & CS·Public ColloquiumPremature Abstraction9 ch15:21
Governance at the Technological Frontier: Translating AI Research into Oversight PolicySystems & CS·Research Seminar · Inioluwa Deborah Raji · UC BerkeleyInioluwa Deborah RajiUC Berkeley39:55
How to do CS Theory15-750 · A Theorist's Toolkit · Lec 1 · Ryan O'Donnell · Carnegie Mellon UniversityRyan O'DonnellCarnegie Mellon University35:51
The Central Binomial Coefficient15-750 · A Theorist's Toolkit · Lec 6 · Ryan O'Donnell · Carnegie Mellon UniversityRyan O'DonnellCarnegie Mellon University1:00:26