News for hackers. Stuff that matters.

A comment on Ethereum price goes up nearly 50 percent in under a week. Parent comment

Re:Ethereum price goes up nearly 50 percent in under a week by pirapira on Tuesday March 14, 2017 @02:01PM (#13869864)
Using my definition of EVM, I think it's already possible to create a small verified compiler.

My priority is on keeping the formal definition in sync with the Yellow Paper and the implementations.

[ Parent | on HN ]
Re:Ethereum price goes up nearly 50 percent in under a week by Jabanga on Wednesday March 15, 2017 @10:47PM (#13882017)
It's a surprise to see you here! :) Thanks for the explanation. Good luck with your work!
[ Parent | on HN ]