tired: Millenium Prize wired: porting Coq to run on the Ethеreum virtual machine so that a contract pays out only if you feed it a valid proof of the abc conjecture
-
-
Scheme on the Ethereum VM just could be the thing that could motivate me to spend an afternoon learning about how tf Ethereum actually works
-
I'll save you the time: it doesn't
End of conversation
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.