Hacker News Comments on
miniKanren - Dan Friedman and William Byrd
ClojureTV
·
Youtube
·
3
HN comments
HN Theater has aggregated all Hacker News stories and comments that mention ClojureTV's video "miniKanren - Dan Friedman and William Byrd".
Youtube Summary
HN Theater Rankings
- This course is unranked · view top recommended courses
Hacker News Stories and Comments
All the comments and stories posted to Hacker News that reference this video.
⬐
Sep 11, 2018
·
CamTin on
Reazon – miniKanren for Emacs
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: https://www.youtube.com/watch?v=5Q9x16uIsKAIt's really a fun presentation and does a great job introducing logic programming and miniKanren to lay programmers.
⬐
Dec 15, 2014
·
agumonkey on
Advanced programming languages (2009)
Beside dependent types, bidirectional (~relational) programming is the only thing that amaze me.Dan Friedman gave talks about [mini]kanren, see https://www.youtube.com/watch?v=5Q9x16uIsKA
I couldn't find the one where he asks (eval exp '()) to be 6 and gets many results such as
Here's an example involving cons cells only https://www.youtube.com/watch?v=kS_2_-E_JjU6 ;; duh (let ((_ 5)) ((lambda (x) (+ x 1)) _)) ;; better
⬐
Feb 20, 2013
·
zalthor on
Explorations in Clojure's core.logic
Here's a related talk on MiniKanren by Dan Freidman and Will Byrd: http://www.youtube.com/watch?v=5Q9x16uIsKAThe bits about generating programs using MiniKanren was truly mind blowing.