News for hackers. Stuff that matters.
Re:Coming Soon: Machine-Checked Proofs in Everyday Development by abecedarius on Sunday December 31, 2017 @01:54PM (#16042032)
While automated reasoning tech is getting better, the barriers have been more on the demand side. Until buggy vulnerable software makes you poor and visibly correct software makes you rich, we'll keep getting the vulnerable sort. IOTA, which rolled their own hash function and then blustered about the problem, right now has a market value of ten billion dollars.

We're starting to see a change in the economics. There's quite a way to go -- I hope we get there intelligently and not as some kind of thrashing reaction to giant disasters.

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by KirinDave on Sunday December 31, 2017 @02:18PM (#16042191)
In one sense, the repeated and total fiascos of Ethereum and IOTA (which has a hell of a lot more problems that just an ad hoc has function) are good because they make the costs of our industry's lazy and self-indulgent "artist" approach to software very obvious, and the cost of it becomes clear.
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.