Computer Science ∩ Mathematics (Type Theory) - Computerphile
The Hardest Problem in Type Theory - ComputerphileSee more
Why Information Theory is Important - ComputerphileSee more
Computer Science and Homotopy Theory - Vladimir VoevodskySee more
Homotopy Type Theory: Vladimir Voevodsky - ComputerphileSee more
GReTA seminar: A graphical language for programming with graph rewritingSee more
Homotopy Type Theory Discussed - ComputerphileSee more
10 Math Concepts for ProgrammersSee more
Propositions as Types - ComputerphileSee more
Automated Mathematical Proofs - ComputerphileSee more
Uses of Information Theory - ComputerphileSee more
Zero Knowledge Proofs - ComputerphileSee more
Introductory Discrete Mathematics by V.K. BalakrishnanSee more
Senior Programmers vs Junior Developers #shortsSee more
Same Story, Different Notation - ComputerphileSee more
How CPUs Do Math(s) - ComputerphileSee more
Chomsky Hierarchy - ComputerphileSee more
EXTRA BITS: The Danger Theory Explained - ComputerphileSee more
The Math Needed for Computer Science (Part 2) | Number Theory and CryptographySee more
What is...homotopy type theory?See more
