Comment by whatever1

None of the code for consumer production is verified formally. So please spare us the bs that you make no mistakes. You are just lucky.

Be humble because the complexity of modern systems is insane, there is no way you have all cases covered, if you had you would had a formal proof.

We all are just doing our best to cover most of the edge cases. That is why we need to keep learning from other peoples mistakes.