59:50Search results
- Category: Software Engineering & Languages
Results for “specification”
7 videos59:50
1:30:45automatic differentiationTalk
The Simple Essence of Automatic Differentiation - Conal Elliott
Microsoft Research
3 HN recommenders
39:40program synthesisTalk
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
2 HN recommenders
40:00clojure specTalk
"Agility & Robustness: Clojure spec" by Stuart Halloway
Strange Loop Conference
2 HN recommenders
32:10collision avoidance systems in JuliaTalk
Robert Moss: Julia and the Next Generation Airborne Collision Avoidance System
The Julia Programming Language
1 HN recommender
1:07:00go language designTalk
Sydney Golang Meetup - Rob Pike - Go 2 Draft Specifications
Macquarie Group
1 HN recommender
8:16pdf javascript hacksTalk
!!Con 2020 - Playing Breakout… inside a PDF!! by Omar Rizwan
!!Con
Discussed on HN
Sources 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