Logic Courses
sentdex via YouTube Twin-width I - Tractable FO Model Checking
IEEE via YouTube Learn C++: Introduction
Codecademy Practical Non-Malleable Codes from I-More Extractable Hash Functions
Association for Computing Machinery (ACM) via YouTube Cybersecurity, Nuclear Security, and Illogical Logic - Keynote by Martin Hellman
Association for Computing Machinery (ACM) via YouTube Strange Dreams of Stranger Loops
Strange Loop Conference via YouTube Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube Probabilistic Programs Which Make Common Sense
Strange Loop Conference via YouTube Proof Mining in Bounded Arithmetic
Hausdorff Center for Mathematics via YouTube Graham Leigh: On the Computational Content of Classical Sequent Calculus
Hausdorff Center for Mathematics via YouTube