2 HN users recommended this talk2 months2013–2018score 3
Years with an HN recommendation, 2007–2026
HN recommends it as a mind-blowing and fun introduction to logic programming for working programmers.
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.
“I highly recommend watching Dan Friedman and William Byrd give their miniKanren conference talk” (HN, 2018)
Here's a related talk on MiniKanren by Dan Freidman and Will Byrd: [this video] The bits about generating programs using MiniKanren was truly mind blowing.
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: [this video] It's really a fun presentation and does a great job introducing logic programming and miniKanren to lay programmers.
Fun introduction to logic programming and miniKanren for lay programmers
Beside dependent types, bidirectional (~relational) programming is the only thing that amaze me. Dan Friedman gave talks about [mini]kanren, see [this 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]
Friedman talks on miniKanren and bidirectional programming
Video list and Hacker News comment labels from HackerTube (prompted by @karpathy), released under ODC-By 1.0, built on the open-index/hacker-news archive. Hacker News data is provided by Y Combinator; comments remain the work of their authors. Video titles, channel names and thumbnails belong to their creators and are shown via YouTube. HackerTube Watch is an unofficial edition. Data export of 2026-10-31.
Plays via YouTube's privacy-enhanced embed
3 Hacker News comments
From the HN archive; up to 20 kept per video, favoring different commenters. Recommendations first.
Citations, criticism and jokes