HackerTube / Video
Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg Rosenblatt
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.
HN people point to it as an amazing demonstration of relational programming and program synthesis that still looks exciting after LLM code generation.
4 Hacker News mentions · 2017–2024