News for hackers. Stuff that matters.

A comment on William Byrd on logic and relational programming, miniKanren (2014).

Re:William Byrd on logic and relational programming, miniKan... by uptheroots on Tuesday June 01, 2021 @07:52PM (#27362985)
One of my all time favorite YouTube videos is a lecture by William Byrd. I find myself still coming back to this video, it was so fascinating to me as an undergrad. https://youtu.be/OyfBQmvr2Hc
[ Parent | on HN ]
Re:William Byrd on logic and relational programming, miniKan... by kanzenryu2 on Tuesday June 01, 2021 @08:47PM (#27363457)
You might enjoy this amazing talk. I've linked to a part when the next 20 seconds of explanation turns the amazing up to 11. https://www.youtube.com/watch?v=er_lLvkklsk&t=1436s
[ Parent | on HN ]
Re:William Byrd on logic and relational programming, miniKan... by jmkr on Wednesday June 02, 2021 @12:31AM (#27364861)
I think this was the first Will Byrd video I saw, and what got me interested in Scheme, and PL.

He has some great tutorials on Youtube too.

I still haven't dived too much into miniKanren, but it's on the list with the Reasoned Schemer.

[ Parent | on HN ]