@dibblego @jonsterling "there are correct programs that can't be proven so" <- argument that is sound but irrelevant.
-
-
-
@puffnfresh@jonsterling where might I start reading this irrelevant thing? - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.