[uptheroots]

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

[kanzenryu2]

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

[jmkr]

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.