[–] chris_5f 1y ago ↗ Good Post. But I struggled to understand it a first. Would be really helpful if you add a short description explaining it. [–] [deleted] 1y ago ↗ (comment deleted) [–] tmtvl 1y ago ↗ It's simple: it starts with Scheme being implemented in Prolog and then Kanren gets implemented in the Prolog Scheme. It's much less difficult than a couple of magnets and an air hockey table.
[–] tmtvl 1y ago ↗ It's simple: it starts with Scheme being implemented in Prolog and then Kanren gets implemented in the Prolog Scheme. It's much less difficult than a couple of magnets and an air hockey table.
[–] agiacalone 1y ago ↗ Great article, but also should read (2020)You had my hopes up for a new entry. :) [–] ashton314 1y ago ↗ Fixed!Yeah, I love this guy’s posts. I thought of it in light of https://news.ycombinator.com/item?id=42574125
[–] ashton314 1y ago ↗ Fixed!Yeah, I love this guy’s posts. I thought of it in light of https://news.ycombinator.com/item?id=42574125
[–] itishappy 1y ago ↗ > The Church. The lambda calculus. The gay agenda. It has known a thousand names, a thousand forms.ClassicIt's fun to reread these every few years. I even feel like I'm starting to comprehend a few words! [–] yellowapple 1y ago ↗ Easily my favorite two sentences of any programming-related writing ever.
7 comments
[ 4.9 ms ] story [ 21.3 ms ] threadYou had my hopes up for a new entry. :)
Yeah, I love this guy’s posts. I thought of it in light of https://news.ycombinator.com/item?id=42574125
Classic
It's fun to reread these every few years. I even feel like I'm starting to comprehend a few words!