3 ms·

> But to believe they prove correctness is absolutely laughable. Sounds like a lack of tests for the correct things.

• godelski 8mo ago
  True, but I seriously doubt people are writing formal proofs for their code. I've only seen this in niche academic circles and high security/safety settings. I also am pretty certain it's not what you're suggesting, but hey, I could be wrong