Hacker News new | ask | show | jobs
by 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"?
2 comments
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