30:38Mathematics & 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 videos30:38
3:36telephone audio compressionExplainer
Hold music used to sound better. Here's why.
Tom Scott
2 HN recommenders
14:03
29:22
11:52philosophy of mathematicsInterview
Gregory Chaitin - Is Mathematics Invented or Discovered?
Closer To Truth
1 HN recommender
9:20early electronic calculatorsExplainer
An astonishing old calculator - Numberphile
Numberphile
1 HN recommender
13:38highly composite numbersExplainer
5040 and other Anti-Prime Numbers - Numberphile
Numberphile
1 HN recommender
8:25
1:02:17code optimization in c++Talk
'Fastware' - Andrei Alexandrescu [ ACCU 2016 ]
ACCU Conference
1 HN recommender
8:57
22:22quantum mechanicsExplainer
Some light quantum mechanics (with minutephysics)
3Blue1Brown
2 HN recommenders
6:07
51:16eulers formulaLecture
What is Euler's formula actually saying? | Ep. 4 Lockdown live math
3Blue1Brown
1 HN recommender
3:49
21:58group theoryExplainer
Group theory, abstraction, and the 196,883-dimensional monster
3Blue1Brown
1 HN recommender
1:26:11
17:01
5:12mandelbrot deep zoomDemo
Deepest Mandelbrot Set Zoom Animation ever - a New Record! 10^275 (2.1E275 or 2^915)
Orson Wang
1 HN recommender
32:10collision avoidance systems in JuliaTalk
Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language
1 HN recommender
3:59randomness and entropyExplainer
The Lava Lamps That Help Keep The Internet Secure
Tom Scott
1 HN recommender
57:32constructive mathematicsLecture
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Institute for Advanced Study
1 HN recommender
58:37ada spark adoptionTalk
NVIDIA — Securing the Future of Safety and Security of Embedded Software (Captioned)
AdaCore
1 HN recommender
21:05ellipse perimeterExplainer
Why is there no equation for the perimeter of an ellipse‽
Stand-up Maths
1 HN recommender
32:11high-dimensional geometryExplainer
Darts in Higher Dimensions (with 3blue1brown) - Numberphile
Numberphile
1 HN recommender
Sources 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