William Byrd is brilliant and this was a great talk, albeit I recently experienced my aha moment in regards to minikanren. I read the book "Logic Programming in Scheme" by "Nils M Holm", a 50 page book that explains the idea behind logic programming in Minikanren, shows how to solve logic programming problems and implements a minikanren in less than 300 lines of code. All of this is condensed in a book of 50 pages. Now I get this talk and appreciate it a whole lot more than the audience