36:58ATS systems programmingTalk
"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram
Strange Loop Conference
4 HN recommenders
36:58ATS systems programmingTalk
Strange Loop Conference
4 HN recommenders
39:40program synthesisTalk
Strange Loop Conference
2 HN recommenders
43:31smt solvers and program verificationTalk
Compose Conference
2 HN recommenders
58:37ada spark adoptionTalk
AdaCore
1 HN recommender
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