If coding is solved, what now?: Measuring the sloppiness of code

If coding is solved, what now?: Measuring the sloppiness of code LLMs have become almost perfect at generating code, but that isn’t the end of the story. Just because the code is formally correct does...