Hacker News Reader

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.

View on HN

What would the point of any of the formal logic tools be for an "ai-first" IDE? Aren't current IDEs "reactive"?

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?

Hey conartist6, thanks for the interest. I'll share once I get something going.

Reply on news.ycombinator.com