Automated Verification Is More Important Than Ever
I am afraid of accepting AI-generated code without reviewing it. Why? I suspect this fear stems from an inability to automatically verify the correctness of the code’s behaviour. Style and obvious errors can be tested with linters and unit tests, but there is a host of advanced failure modes that are much harder to capture: race conditions1, memory leaks and subtle performance regressions. These types of issues are why I am compelled to manually review code. ...