News for hackers. Stuff that matters.
Re:Coming Soon: Machine-Checked Proofs in Everyday Development by abecedarius on Sunday December 31, 2017 @03:30PM (#16042738)
I don't think those two projects belong in the same category. I got into Ethereum tech in 2016 and found it so immature that I sold most of my ether. I'd expected problems and felt disappointed even more so. But it looks to me like Vitalik was brilliant and inexperienced then, while IOTA has basically nothing to recommend it. I'm not looking to start another cryptocurrency argument, just noting my disagreement.

Yes, real money in smart contracts is part of the economics shift I brought up.

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by KirinDave on Sunday December 31, 2017 @04:58PM (#16043233)
A fiasco is a fiasco. Vitalik is still around because he at least owns his fiascos. The IOTA folks probably won't be at this rate.