42:43propositions as typesTalk
"Propositions as Types" by Philip Wadler
Strange Loop Conference
9 HN recommenders
42:43propositions as typesTalk
Strange Loop Conference
9 HN recommenders
46:19mov-only computationTalk
Adrian Crenshaw
6 HN recommenders
10:44computational complexityExplainer
hackerdashery
4 HN recommenders
51:32esoteric programmingLecture
Tom Wildenhain
4 HN recommenders
12:35quantum computingExplainer
PBS Infinite Series
4 HN recommenders
48:36static analysis and precision medicineTalk
Curry On!
3 HN recommenders
3:11:09cellular automata and computationPodcast
Lex Fridman
4 HN recommenders
1:01:47parallel algorithmsTalk
Google TechTalks
4 HN recommenders
12:04anagraphsExplainer
suckerpinch
3 HN recommenders
3:38:43wolfram physics and complexityInterview
Lex Fridman
3 HN recommenders
4:22computational complexity of gamesComedy
suckerpinch
3 HN recommenders
1:00:34theory of computationLecture
MIT OpenCourseWare
4 HN recommenders
26:48algorithmic gerrymanderingExplainer
AlphaPhoenix
2 HN recommenders
22:54magic the gathering turing completenessDemo
Because Science
3 HN recommenders
56:58propositions as typesTalk
Erlang Solutions
2 HN recommenders
4:23:39fundamental physics and computationPodcast
Lex Fridman
2 HN recommenders
19:20
31:18
1:14:51lisp in quantum computingTalk
Arthur Gleckler
3 HN recommenders
3:34A 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