Logic Courses
Insights into Mathematics via YouTube Gödel's Proof of God - A Logician's Perspective
Write your own Operating System via YouTube How We Learned Security from Steve
YouTube War Time Proofs and Futuristic Programs
Strange Loop Conference via YouTube Godot Tutorial for Unity Developers (and other beginners)
freeCodeCamp Model Counting Meets Distinct Estimation
Simons Institute via YouTube Compiling FO Sentences to Circuits - Upper Bounds and Lower Bounds on the Size of the Circuit
Simons Institute via YouTube Tractable Bounding of Counterfactual Queries by Knowledge Compilation
Simons Institute via YouTube Combined Approximations for Probabilistic Query Evaluation - An Intensional Approach
Simons Institute via YouTube First-Order Model Counting and Sampling
Simons Institute via YouTube