THE VIDEO SHELF · logic programming
miniKanren - Dan Friedman and William Byrd
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.
Why HN readers recommended it
HN recommends it as a mind-blowing and fun introduction to logic programming for working programmers.
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
- logic programming
- Format
- talk
- Level
- intro
- HN recommenders in dataset
- 2
- HN mentions in dataset
- 3
- Recommendation years in dataset
- 2013–2018
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.
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.
zalthor on Hacker News · 2013-02
In Explorations in Clojure's core.logicFun! 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 …
CamTin on Hacker News · 2018-09
In Reazon – miniKanren for Emacs
Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.