2 ms·
What would the point of any of the formal logic tools be for an "ai-first" IDE? Aren't current IDEs "reactive"?
by conartist6 3y ago
What 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.