5:15pareto distributionsLecture
Jordan Peterson - Pareto Distributions
Bite-sized Philosophy
2 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 videos5:15
6:01
56:58propositions as typesTalk
Philip Wadler - Propositions as Types (Lambda Days 2016)
Erlang Solutions
2 HN recommenders
23:51
36:14program synthesisTalk
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV
3 HN recommenders
14:06surreal numbersInterview
Surreal Numbers (writing the first book) - Numberphile
Numberphile
3 HN recommenders
3:28
7:42extremely large numbersExplainer
Extremely Large Numbers 1 - Introduction
Giroux Studios
2 HN recommenders
7:50
6:55sorting algorithm visualizationDemo
Quick-sort with Hungarian (Küküllőmenti legényes) folk dance
AlgoRythmics
2 HN recommenders
14:27rubik's cube solvingTutorial
A simple trick to design your own solutions for Rubik's cubes
Mathologer
3 HN recommenders
4:23:39fundamental physics and computationPodcast
Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
Lex Fridman
2 HN recommenders
1:45:56donald knuthPodcast
Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
Lex Fridman
2 HN recommenders
1:21:56science and societyPodcast
Eric Weinstein: Revolutionary Ideas in Science, Math, and Society | Lex Fridman Podcast #16
Lex Fridman
2 HN recommenders
19:20
1:07:34mathematical errorsTalk
What Happens When Maths Goes Wrong? - with Matt Parker
The Royal Institution
2 HN recommenders
31:18
2:52medical testing and screeningExplainer
If money was no object, should you run every medical test?
Medlife Crisis
2 HN recommenders
10:08fat-tailed riskCommentary
Naive empiricism, terrorism & Ebola.
N N Taleb's Probability Questions
2 HN recommenders
39:40program synthesisTalk
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
2 HN recommenders
54:01swiss table hash tablesTalk
Abseil's Open Source Hashtables: 2 Years In - Matt Kulukundis - CppCon 2019
CppCon
1 HN recommender
1:30:53hash table performanceTalk
C++Now 2018: You Can Do Better than std::unordered_map: New Improvements to Hash Table Performance
CppNow
2 HN recommenders
19:27quantum computingExplainer
Quantum Computing Expert Explains One Concept in 5 Levels of Difficulty | WIRED
WIRED
2 HN recommenders
19:31Sources 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