17:35bell's theoremExplainer
Bell's Theorem: The Quantum Venn Diagram Paradox
minutephysics
8 HN recommenders
Mathematics & 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 videos17:35
6:18
14:27
18:18
21:12
43:39
20:45
40:39dependently typed programmingTalk
Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
4 HN recommenders
11:32
6:42measuring earth's circumferenceExplainer
Carl Sagan - Cosmos - Eratosthenes
carlsagandotcom
4 HN recommenders
12:35quantum computingExplainer
The Mathematics of Quantum Computers | Infinite Series
PBS Infinite Series
4 HN recommenders
3:37
48:36static analysis and precision medicineTalk
Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
Curry On!
3 HN recommenders
20:05error correcting codesExplainer
But what are Hamming codes? The origin of error correction
3Blue1Brown
4 HN recommenders
23:29
8:00infinity and set theoryExplainer
Infinity is bigger than you think - Numberphile
Numberphile
3 HN recommenders
3:11:09cellular automata and computationPodcast
Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
Lex Fridman
4 HN recommenders
1:01:47parallel algorithmsTalk
Four Solutions to a Trivial Problem - Guy Steele Jr.
Google TechTalks
4 HN recommenders
21:14bayes' ruleExplainer
The medical test paradox, and redesigning Bayes' rule
3Blue1Brown
4 HN recommenders
1:30:45automatic differentiationTalk
The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
3 HN recommenders
4:08
1:01:40four-dimensional geometryTalk
Four Dimensional Maths: Things to See and Hear in the Fourth Dimension - with Matt Parker
The Royal Institution
3 HN recommenders
12:25
1:12:12programming language notationTalk
2017 ACM PPoPP Keynote: It's Time for a New Old Language
Guy Steele
3 HN recommenders
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