Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
8K views • 9 years ago
ClojureTV
A Clojure/conj 2016 talk demoing Barliman, a prototype smart editor that does program synthesis. Given a partial program and tests, it completes the program using a relational interpreter written in miniKanren.
