PickVidsBest Computability & complexity theory Videos
The 34 Computability & complexity theory videos here were recommended by different people across different months. Choose by who it is for: 9 introductory, 14 intermediate, 10 for a general viewer, and 1 for someone who wants the harder derivation. Most of them are a talk. What they share is that one speaker finishes a claim, and the examples exist to hold that claim up. Channels you will keep seeing include Lex Fridman, Confreaks, Tom Wildenhain.
Turing & The Halting Problem - Computerphile
A Computerphile video in which Mark Jago of the University of Nottingham explains Turing's halting problem and how it led to the blueprint for the modern computer.
Does John Conway hate his Game of Life?
John Conway talks in a short Numberphile interview about his mixed feelings toward the Game of Life, his most famous invention.
What is PLUS times PLUS?
2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives.
Scott Aaronson | How Much Math Is Knowable?
Scott Aaronson's Harvard CMSA talk traces what mathematical truths are knowable, from Godel and Turing to the Busy Beaver function.
Find the Longest Path
Find the Longest Path is a comedic song by Daniel J.
Armok Invaders
A short demo of a playable Space Invaders game built inside Dwarf Fortress, with a downloadable map.
SICP / What is "Computer Science" ?
An excerpt from Hal Abelson's opening SICP lecture introducing computer science and contrasting declarative and imperative knowledge.
LSV Breaks MTGO
Pro Magic player Luis Scott-Vargas triggers a mandatory-action infinite loop on Magic Online, and the game stalls in a non-terminating state.
epic conway's game of life
An animated, musical visualization of Conway's Game of Life showing patterns made in the Golly program.
Marble adding machine
Matthias Wandel shows his wooden machine that adds binary numbers using marbles.