HN Theater @HNTheaterMonth

The best talks and videos of Hacker News.

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
In this UnConf talk, Dan Friedman and William Byrd demonstrate the miniKanren logic programming system for Scheme.
HN Theater Rankings

Hacker News Stories and Comments

All the comments and stories posted to Hacker News that reference this video.
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=5Q9x16uIsKA

It's really a fun presentation and does a great job introducing logic programming and miniKanren to lay programmers.

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

    6
    ;; duh

    (let ((_ 5)) 
      ((lambda (x) (+ x 1)) _))
    ;; better
Here's an example involving cons cells only https://www.youtube.com/watch?v=kS_2_-E_JjU
Here's a related talk on MiniKanren by Dan Freidman and Will Byrd: http://www.youtube.com/watch?v=5Q9x16uIsKA

The bits about generating programs using MiniKanren was truly mind blowing.

HN Theater is an independent project and is not operated by Y Combinator or any of the video hosting platforms linked to on this site.
~ yaj@
;laksdfhjdhksalkfj more things
yahnd.com ~ Privacy Policy ~
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.