Automated Mathematical Proofs - Computerphile

Reverse Engineering - Computerphile

Garbage Collection (Mark & Sweep) - Computerphile

Infinitude of primes --- a Lean theorem prover demo

Computer Science ∩ Mathematics (Type Theory) - Computerphile

How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference

The paradox at the heart of mathematics: Gödel's Incompleteness Theorem - Marcus du Sautoy

CPU Pipeline - Computerphile

Why Information Theory is Important - Computerphile

Mathematical Proof Writing

Breaking RSA - Computerphile

Emulation - Computerphile

Math Videos: How To Learn Basic Arithmetic Fast - Online Tutorial Lessons

Just In Time (JIT) Compilers - Computerphile

Zero Knowledge Proof (with Avi Wigderson) - Numberphile

When Computers Write Proofs, What's the Point of Mathematicians?

Coffee with Brian Kernighan - Computerphile

Garbled Circuits - Computerphile

Math's Fundamental Flaw

The Future of Mathematics?

"Propositions as Types" by Philip Wadler