alt Hacker NewsTo clarify:
“Sound” != proof of soundness in the same way that the Riemann Hypothesis being true is not the same as RH being proven.
To clarify:
“Sound” != proof of soundness in the same way that the Riemann Hypothesis being true is not the same as RH being proven.
Not a bad analogy. Damn good.