25:06type-driven data modelingTalk
"Making Impossible States Impossible" by Richard Feldman
elm-conf
9 HN recommenders
25:06type-driven data modelingTalk
elm-conf
9 HN recommenders
1:03:40scanner compression bugsTalk
media.ccc.de
4 HN recommenders
40:27formal modeling with alloyTalk
Strange Loop Conference
4 HN recommenders
7:09
1:44:18browser engine debuggingTutorial
Andreas Kling
2 HN recommenders
16:26windows quality assuranceCommentary
Barnacules Nerdgasm
1 HN recommender
50:00
25:16ai software engineer claimsCommentary
Internet of Bugs
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