40:27formal modeling with alloyTalk
"Finding bugs without running or even looking at code" by Jay Parlar
Strange Loop Conference
4 HN recommenders
40:27formal modeling with alloyTalk
Strange Loop Conference
4 HN recommenders
53:46
4:07game theoryExplainer
TED-Ed
3 HN recommenders
1:06:45concurrency modelsTalk
Erlang Solutions
3 HN recommenders
1:06:15psychedelic phenomenologyLecture
Qualia Research Institute
3 HN recommenders
57:21generalization and compression in mlTalk
Simons Institute for the Theory of Computing
Discussed on HN
4:45A 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