Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt

Archive guide

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.