25:06type-driven data modelingTalk
"Making Impossible States Impossible" by Richard Feldman
elm-conf
9 HN recommenders
Search results
- Category: Software Engineering & Languages
Results for “e-drive”
10 videos25:06
23:16
41:18voice-driven programmingTalk
"Voice Driven Development: Who needs a keyboard anyway?" by Emily Shea
Strange Loop Conference
5 HN recommenders
35:41
50:49type-driven domain modelingTalk
Domain Modeling Made Functional - Scott Wlaschin - KanDDDinsky 2019
KanDDDinsky
3 HN recommenders
40:39dependently typed programmingTalk
Edwin Brady - Idris 2 - Type-driven Development of Idris
Curry On!
4 HN recommenders
43:23dependent typesTalk
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
5 HN recommenders
1:09:24
39:40program synthesisTalk
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
2 HN recommenders
46:36Sources and selection
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