4:01Mathematics & Theoretical CS
A good mathematical explanation makes the reasoning visible. This section collects videos on mathematics and theoretical computer science, including algorithms, complexity, probability and visual approaches to difficult ideas. It is for learners building foundations as well as programmers looking for the theory behind a familiar technique.
Videos
360 videos4:01
9:16
10:37
13:59matchbox machine learningExplainer
MENACE: the pile of matchboxes which can learn
Stand-up Maths
2 HN recommenders
13:17
38:36dependent typesTalk
"A Little Taste of Dependent Types" by David Christiansen
Strange Loop Conference
2 HN recommenders
25:09london taxi knowledge vs gpsDemo
Who's faster around London: a taxi driver or a GPS?
Tom Scott plus
2 HN recommenders
43:23algorithmic fairnessTalk
AI Ethics, Impossibility Theorems and Tradeoffs - Chris Stucchio | Crunch 2018
CraftHub Events
2 HN recommenders
7:27
53:56
18:16election fraud statisticsExplainer
Do these scatter plots reveal fraudulent vote-switching in Michigan?
Stand-up Maths
4 HN recommenders
52:59xerox jbig2 scanner bugTalk
David Kriesel: Lies, damned lies and scans
Free and Open Source Software Conference (FrOSCon) e.V.
2 HN recommenders
6:23
17:46
1:14:51lisp in quantum computingTalk
Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Arthur Gleckler
3 HN recommenders
1:00:31write-optimized file systemsTalk
BetrFS: A Right-Optimized Write-Optimized File System
Microsoft Research
2 HN recommenders
6:14
10:33high-dimensional geometryExplainer
Strange Spheres in Higher Dimensions - Numberphile
Numberphile
2 HN recommenders
9:47mathematics versus physicsInterview
Feynman: Mathematicians versus Physicists
TehPhysicalist
2 HN recommenders
43:31smt solvers and program verificationTalk
Analyzing Programs with Z3
Compose Conference
2 HN recommenders
1:03:07spurious patterns in random dataLecture
Clutching at Random Straws, Matt Parker | LMS Popular Lectures 2010
London Mathematical Society
2 HN recommenders
10:18backpropagationExplainer
Backpropagation calculus | Deep Learning Chapter 4
3Blue1Brown
3 HN recommenders
9:27
13:58Sources and selection
A good mathematical explanation makes the reasoning visible. This section collects videos on mathematics and theoretical computer science, including algorithms, complexity, probability and visual approaches to difficult ideas. It is for learners building foundations as well as programmers looking for the theory behind a familiar technique.
Indie Picks is organized from video metadata and uploader descriptions; it is not a full-video editorial review. HN Library retains community discussions. Sources and data notes