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
Programming languages, software architecture and everyday development all meet in this collection. Explore talks on language design, functional programming, web development and the practices used to build and maintain software. The narrower topics help developers find a useful explanation or compare approaches to a technical problem.
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