Theoretical Computer Science Courses
ACM SIGPLAN via YouTube Combining Dependency, Grades, and Adjoint Logic in Type Systems
ACM SIGPLAN via YouTube Subgroup Tests and Tailored Non-local Games - Lecture on Interactive Proof Systems
Institute for Advanced Study via YouTube Approximate Polymorphisms in Boolean Functions
Hausdorff Center for Mathematics via YouTube Reading Alan Turing - Exploring Turing's Influential Ideas in Theoretical Computer Science
Institute for Advanced Study via YouTube Language Generation in the Limit - Transformers as a Computational Model
Simons Institute via YouTube