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
10:44computational complexityExplainer
hackerdashery
4 HN recommenders
48:36static analysis and precision medicineTalk
Curry On!
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
22:54magic the gathering turing completenessDemo
Because Science
3 HN recommenders
4:23:39fundamental physics and computationPodcast
Lex Fridman
2 HN recommenders
19:20A 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