Barliman: Program Synthesis with a Relational Interpreter
ClojureTV · Talk · YouTube title: Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
Why it's here
HN people point to it as an amazing demonstration of relational programming and program synthesis that still looks exciting after LLM code generation.
What it covers
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.