HackerTube.dev

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

ClojureTV · 7.9K views · 2016-12-03 · 36:14

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

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.

On Hacker News

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

Recommended by 3 HN people across 2 months · HN mentions 2017–2024

Topics

Functional programmingLogic & formal methodsTesting, debugging & developer tools
Search by tags
minikanrenlogic programmingbarlimanclojurerelational interpreter

What people said

kanzenryu2 · 2021-06 · Strong recommendation

You might enjoy this amazing talk. I've linked to a part when the next 20 seconds of explanation turns the amazing up to 11. [VIDEO]

Read the original HN comment ↗
thuuuomas · 2024-01 · Recommendation

Have you checked out any of the minikanren logic programming environments people have implemented in scheme? The Reasoned Schemer is an accessible introduction to that space if you’re not put off by the socratic-themed dialogue. & the Barliman demo is still pretty exciting even after LLM codegen. [VIDEO]

Read the original HN comment ↗
will_byrd · 2021-06 · Recommendation

For anyone who finds this topic interesting, you might be interested in the following resources: [LINK] The second edition of `The Reasoned Schemer` (MIT Press, 2018): [LINK] The Clojure/conj 2016 talk Greg Rosenblatt and I gave on Barliman: [VIDEO] `A Unified Approach to Solving Seven Programming Problems (Functional Pearl)`, William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, Matthew Might (ICFP 2017) (Open Access): [LINK] and the related talk: [LINK] and Nada Amin's interactive version of the paper: [LINK] Cheers, --Will

Read the original HN comment ↗

Sources

Video by ClojureTV, played through YouTube.

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks
  • SaaS & AI candidates: Topic keywords do not match
  • Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources