![William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC] — PapersWeLove](https://i.ytimg.com/vi/OyfBQmvr2Hc/hq2.jpg)
William Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]
PapersWeLove
SIGNALTUBE / HACKER NEWS
Search results for “program synthesis”
Search titles, channels, topics, and recommendation context.
Search: program synthesis
More filters
Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18
Code Sync
miniKanren - Dan Friedman and William Byrd
ClojureTV
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
ClojureTV
"Type-Driven Program Synthesis" by Nadia Polikarpova
Strange Loop Conference
Showing 5 of 5 matching videos.