5 ms·
Oh, this is great. This article and conversation with Marcelle led me down a rabbit hole of Prolog, Minikanren, and Reasoned Schemer. Not quite out yet. I am
by forward-slashed 3y ago
Oh, this is great. This article and conversation with Marcelle led me down a rabbit hole of Prolog, Minikanren, and Reasoned Schemer.
Not quite out yet.
I am thinking about using this idea of Prolog as AST to build an ai-first, reactive IDE. DM me at @eating_entropy on Twitter or email me at joshcho@stanford.edu if you are interested.
- conartist6 3y agoWhat would the point of any of the formal logic tools be for an "ai-first" IDE? Aren't current IDEs "reactive"?
- anonzzzies 3y agoTo make software actually better instead of worse when we get worse-than-the-worst code generated by AI's to maintain the coming years?
- forward-slashed 3y agoHey conartist6, thanks for the interest. I'll share once I get something going.