> It would be considered a dick move to criticism someones code, if the code was proven to produce the correct result. Formal proof is much much harder than ma

> It would be considered a dick move to criticism someones code, if the code was proven to produce the correct result. Formal proof is much much harder than making code understandable and reviewable. It can be done but it is not easy, and can yield surprising results: https://en.wikipedia.org/wiki/CompCert https://en.wikipedia.org/wiki/CompCert http://envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ http://envisage-project.eu/proving-android-java-and-python-s...