12:20Mathematics & 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 videos12:20
28:33cosmic distance ladderExplainer
Terence Tao on the cosmic distance ladder
3Blue1Brown
2 HN recommenders
1:10:01
30:06formal specification with tla+Talk
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference
3 HN recommenders
1:31:28computer arithmetic positsLecture
Stanford Seminar: Beyond Floating Point: Next Generation Computer Arithmetic
Stanford Online
5 HN recommenders
1:03:44real-time audio programmingTalk
CppCon 2015: Timur Doumler “C++ in the Audio Industry”
CppCon
3 HN recommenders
21:27
40:39
30:37array programming treesTalk
High-performance Tree Wrangling, the APL Way // Aaron Hsu // Dyalog '18
Dyalog User Meetings
3 HN recommenders
1:02:34
1:06:15psychedelic phenomenologyLecture
The Hyperbolic Geometry of DMT Experiences (@Harvard Science of Psychedelics Club)
Qualia Research Institute
3 HN recommenders
17:31quantum computingExplainer
How Quantum Computers Break Encryption | Shor's Algorithm Explained
minutephysics
3 HN recommenders
1:36:54
8:44
22:54magic the gathering turing completenessDemo
I Built a COMPUTER in Magic: The Gathering
Because Science
3 HN recommenders
16:36quantum computingExplainer
Hacking at Quantum Speed with Shor's Algorithm | Infinite Series
PBS Infinite Series
3 HN recommenders
47:52
16:58
6:35general relativityCourse
The Maths of General Relativity (1/8) - Spacetime and Worldlines
ScienceClic English
3 HN recommenders
4:01non-euclidean geometryExplainer
Spherical Geometry Is Stranger Than Hyperbolic - Hyperbolica Devlog #2
CodeParade
3 HN recommenders
56:03
15:11
1:20:33
9:51Sources 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