alt Hacker NewsWith programs large enough tests aren't going to ever be enough. Formal verification might work, but then who checks the specification for bugs?
Replies
copperx • today at 12:50 AM
In the case of rewrites, the specification is the original behavior, no? bugs and all.
➕ show 2 replies
I really wonder where all of these people who believe that tests perfectly encapsulate the behaviour of software come from. Maybe it's because LLMs happen to work better when you give them acceptance criteria and people struggle to distinguish between "better" and "good"?