Hacker News new | ask | show | jobs
by forward-slashed 965 days 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.
1 comments
conartist6 965 days ago
What would the point of any of the formal logic tools be for an "ai-first" IDE? Aren't current IDEs "reactive"?
link
forward-slashed 965 days ago
Hey conartist6, thanks for the interest. I'll share once I get something going.
link
anonzzzies 965 days ago
To make software actually better instead of worse when we get worse-than-the-worst code generated by AI's to maintain the coming years?
link