1:03:40scanner compression bugsTalk
David Kriesel: Traue keinem Scan, den du nicht selbst gefälscht hast
media.ccc.de
4 HN recommenders
1:03:40scanner compression bugsTalk
media.ccc.de
4 HN recommenders
40:27formal modeling with alloyTalk
Strange Loop Conference
4 HN recommenders
29:21property-based testingTalk
PyCon 2018
3 HN recommenders
36:14program synthesisTalk
ClojureTV
3 HN recommenders
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