Also, if your Venmo account gets compromised, it's a fucking nightmare. I think this slate article summed up most reasonable persons' concerns pretty fairly:…
>I agree that this wasn't done by the computer (did computers uncover the Higgs Boson?) but I also do not believe humans can take most of the credit: this was the result of a Man Machine System team up You realize that…
Well, nobody is proposing that Turing Machines be the foundation of mathematics, whereas the sort of type theory used in FP is being taken pretty seriously as a foundation.
Also, if your Venmo account gets compromised, it's a fucking nightmare. I think this slate article summed up most reasonable persons' concerns pretty fairly:…
>I agree that this wasn't done by the computer (did computers uncover the Higgs Boson?) but I also do not believe humans can take most of the credit: this was the result of a Man Machine System team up You realize that…
Well, nobody is proposing that Turing Machines be the foundation of mathematics, whereas the sort of type theory used in FP is being taken pretty seriously as a foundation.