alt Hacker NewsBecause guaranteed to never fail requires some UX inconveniences, and the industry (and the market) doesn't seem in a mood to tolerate inconvenience for the sake of security.
Because guaranteed to never fail requires some UX inconveniences, and the industry (and the market) doesn't seem in a mood to tolerate inconvenience for the sake of security.
Oh good - so you don't see the agents themselves as inherently sloppy - that's just how they're being used by some people.
Because I must warn you - it's extremely easy to ask a coding agent to prove code correctness before committing his work.