HackerTube.dev

miniKanren - Dan Friedman and William Byrd

ClojureTV · 9.6K views · 2013-01-07 · 46:17

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

Dan Friedman and William Byrd demonstrate miniKanren, a logic programming system for Scheme, in an unconference talk. It includes generating programs by running relations in reverse.

On Hacker News

HN recommends it as a mind-blowing and fun introduction to logic programming for working programmers.

Recommended by 2 HN people across 2 months · HN mentions 2013–2018

Topics

Functional programmingProgramming language design
Search by tags
minikanrenschemerelational programmingprogram synthesisclojure

What people said

CamTin · 2018-09 · Strong recommendation

Fun! I highly recommend watching Dan Friedman and William Byrd give their miniKanren conference talk (they've done it a number of times slightly differently) e.g. this one at the "Conj" Clojure convention: [VIDEO] It's really a fun presentation and does a great job introducing logic programming and miniKanren to lay programmers.

Read the original HN comment ↗
zalthor · 2013-02 · Strong recommendation

Here's a related talk on MiniKanren by Dan Freidman and Will Byrd: [VIDEO] The bits about generating programs using MiniKanren was truly mind blowing.

Read the original HN comment ↗
agumonkey · 2014-12 · Reference

Beside dependent types, bidirectional (~relational) programming is the only thing that amaze me. Dan Friedman gave talks about [mini]kanren, see [VIDEO] I couldn't find the one where he asks (eval exp '()) to be 6 and gets many results such as 6 ;; duh (let ((_ 5)) ((lambda (x) (+ x 1)) _)) ;; better Here's an example involving cons cells only [LINK]

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