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
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