11:15mathematical problem solvingExplainer
The hardest problem on the hardest test
3Blue1Brown
8 HN recommenders
11:15mathematical problem solvingExplainer
3Blue1Brown
8 HN recommenders
34:00
1:02:15lambda calculusLecture
Fullstack Academy
5 HN recommenders
7:42
18:18
3:11:09cellular automata and computationPodcast
Lex Fridman
4 HN recommenders
9:16
1:01:08
44:09mathematical proofsLecture
MIT OpenCourseWare
3 HN recommenders
19:20
1:07:34mathematical errorsTalk
The Royal Institution
2 HN recommenders
1:03:07spurious patterns in random dataLecture
London Mathematical Society
2 HN recommenders
1:06:43busy beaver and computabilityLecture
Harvard CMSA
1 HN recommender
10:20mathematical reasoningLecture
TehPhysicalist
2 HN recommenders
49:45formally verified operating systemsTalk
Linux.conf.au 2015 -- Auckland, New Zealand
1 HN recommender
27:45programming as thoughtTalk
William Byrd
Discussed on HN
23:34
33:26mathematical maturityLecture
IAS | PCMI Park City Mathematics Institute
Discussed on HN
Videos shared and discussed on Hacker News, with original community evidence and topic labels.
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