There's a lot of code in the world where correctness is a requirement. :) I agree with the sibling -- I think LLMs may be able to help automate some parts of i

There's a lot of code in the world where correctness is a requirement. :) I agree with the sibling -- I think LLMs may be able to help automate some parts of it, but humans are still 95% of it. At least for now.