hackertube.io

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

ClojureTV · talk · Watch on YouTube

Functional programmingLogic & formal methodsTesting, debugging & developer tools

What it is

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.

Why Hacker News recommends it

HN people point to it as an amazing demonstration of relational programming and program synthesis that still looks exciting after LLM code generation.

  • 3 people recommended it
  • 2 different months
  • 1 strong recommendations
  • first 2017, last 2024

What HN commenters said

  1. “You might enjoy this amazing talk.”

    Amazing Barliman talk with a standout moment

    kanzenryu2, 2021-06 · Strong recommendation · in “William Byrd on logic and relational programming, miniKanren (2014)”

  2. “The Clojure/conj 2016 talk Greg Rosenblatt and I gave on Barliman”

    Barliman talk on relational program synthesis

    will_byrd, 2021-06 · Recommendation · in “William Byrd on logic and relational programming, miniKanren (2014)”

  3. “the Barliman demo is still pretty exciting even after LLM codegen.”

    Barliman demo of synthesis still exciting

    thuuuomas, 2024-01 · Recommendation · in “A Tour of the Lisps”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: minikanren, logic programming, barliman, clojure, relational interpreter

Also recommended by the same people