The reason people don't trust "computers" has nothing to do with bugs in the code lmao. It has to do with the fact that they inescapably track their every move and fuck with their minds to completely inscrutable ends.

That shit is basically working as intended, a stricter compiler is not the solution to it.