Keeping control of AI-generated code in Bend4
A developer says they’re happy with Bend4’s codebase and feel no urge to rewrite it, despite what they call a lot of necessary but contained “AI slop.”
TLDR
A developer says they’re very happy with Bend4’s codebase and have “zero urge” to rewrite it. They acknowledge a lot of “AI slop,” pointing to massive Lean proofs and complex compiler optimizations, but say it is necessary and contained in ways that let them retain control.
Combined views
—
1 Source, first seen ago
