HackerTube

THE VIDEO SHELF · program synthesis

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

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.

Watch & explore the libraryYouTube ↗

Why HN readers recommended it

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

This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.

Video & recommendation details

Creator / channel
ClojureTV
Topic
program synthesis
Format
talk
Level
intermediate
HN recommenders in dataset
3
HN mentions in dataset
4
Recommendation years in dataset
2017–2024

These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.

From the original HN conversations

Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.

  • 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]

    kanzenryu2 on Hacker News · 2021-06
    In William Byrd on logic and relational programming, miniKanren (2014)

  • 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 …

    will_byrd on Hacker News · 2021-06
    In William Byrd on logic and relational programming, miniKanren (2014)

  • 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 …

    thuuuomas on Hacker News · 2024-01
    In A Tour of the Lisps

Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.

Keep exploring