upvote
Yeah this is actually quite interesting. I can see how people who have this "slop generator" perspective on AI would see this as an irony. But to me, it isn't an irony, it's a demonstration of why this perspective on AI is wrong.
reply
I assume that's why the original comment said "perhaps ironically".

I'm firmly in the "AI is incredibly powerful and useful" camp myself, but there's no question that currently, without good human oversight and feedback, AI output can have many issues which can be described as slop.

But yes, improved type systems are one of the ways this can be managed, and essentially help bootstrap more reliable systems.

There's a minor irony in imperfect system being used to help build more perfect systems, but you could say the same thing about human developers.

reply
Yeah I mean I'm not that interested in debating the definition of "irony", but it just doesn't strike me as ironic at all that AI is good at doing the grunt work to expose a bug like this! If you think "wow, it's ironic that AI can be used to improve software quality" instead of "well yeah, this is exactly the kind of thing that AI is good at", then IMO you've got your priors about AI mixed up.
reply