Tony Morris

@dibblego @zooko @nuttycom And how are you so certain your proof is proving what you think it is?

@dibblego @zooko @nuttycom All proof checkers do is shift the problem. That’s still beneficial, but it isn’t the magic answer to everything.

@djspiewak @zooko @nuttycom It does not "shift the problem." What nonsense. It improves the problem by massive orders of magnitude.

@dibblego @zooko @nuttycom At some point, there is still a human verification factor involved. *That* is the problem.

@djspiewak @zooko @nuttycom This is the same fallacy as, "but your program must do IO at some point!" in an effort to counter pure FP.

@SunOf27 @dibblego @zooko nobody writes tests exhaustive enough for this kind of thing. Proof-verified software *is* a thing though.