Note that the only thing I'm calling a mania here is agentic coding that is shipped with no human who understands it (to say nothing of code that nobody has even read!).
And I would put a caveat on code that could somehow be formally verified as correct, using a formal verification system that humans understand. I know people sort of do this with unit tests but I still think that's crazy.
And I would put a caveat on code that could somehow be formally verified as correct, using a formal verification system that humans understand. I know people sort of do this with unit tests but I still think that's crazy.