5 ms·

Oh look. The ethdevs lost more money. I guess we'll expect to see another hard fork, with more sinister language? (edit: 1) Yeah, this whole episode is what's

Oh look. The ethdevs lost more money. I guess we'll expect to see another hard fork, with more sinister language? (edit: 1) Yeah, this whole episode is what's wrong with Ethereum. Solidity was sold as a cure-all. And its a bugridden festering sore that leaves money for the takings. These side effects should be caught if there was a good lang used: and Im talking about a possibly nonturing complete DSL. Instead, we have innovative companies that are building on this quicksand thinking its a good foundation; its not. How many more millions will be lost before someone goes back to the drawing board and does this monetary infrastructure right? (1) https://labs.mwrinfosecurity.com/assets/Uploads/_resampled/ResizedImage600565-Capture3.PNG https://labs.mwrinfosecurity.com/assets/Uploads/_resampled/R...

pjc50 9y ago
The developers made the right choice: ship now rather than take the time to do it properly. There will eventually be a reckoning when either the bottom falls out of the market or all these ICOs are banned as unregistered secuirities offerings, and like the Silk Road some people will go to jail. It's vitally important to take as much money as possible off suckers before this happens.
mv4 9y ago
Yes, amateur hour all around - it's almost as though random individuals with limited tech experience are allowed to mess with a production system. But, this is exciting and fun, and I feel good things will emerge from this eventually.
zeroxfe 9y ago
This is the same kind of complaint as was with C, Perl, PHP, then Javascript. All of these languages broke new ground, not in programming languages, but in domains. The people building these languages weren't PL experts -- they were just trying to solve problems. The domains got successful, and the languages either evolved or were replaced. This is exactly where Ethereum is right now.
- klipt 9y ago
  Who uses untested C code to control an "oops I just lost $100M and there's no recourse" system?
  - zeroxfe 9y ago
    Pacemakers, satellites, rocket ships, cars, nuclear plants, etc.
    - jjjensen90 9y ago
      Those systems are most definitely not running "untested C code."
      - pjc50 9y ago
        They're running tested C or Fortran, but there have been at least two rocket losses due to software error. http://www-users.math.umn.edu/~arnold/disasters/ariane.html http://www-users.math.umn.edu/~arnold/disasters/ariane.html https://www.itworld.com/article/2717299/it-management/mariner-1-s--135-million-software-bug.html https://www.itworld.com/article/2717299/it-management/marine...
      - riffraff 9y ago
        And they generally have recourse, there are insurance services for rockets, even if you ignore the redundant hardware.
      - crankylinuxuser 9y ago
        My dad was an automotive engineer for Faruecia (sp?). A lot of emissions code is code he wrote. Wil Crawley , if you look up his 13 or so patents. He did things like the Electronic Muffler (which cancelled exhaust sound with antisound from a hardened speaker). I saw what he did for code review. He didn't "review it". He proved each function, for every input and output. The code he wrote had side effects that only 1 function could write to - and the function was called to change it. And those side effect variables were never critical ones. It was as close to Mathematical Proof as you could get.
hellbanner 9y ago
https://www.youtube.com/watch?v=3kEfedtQVOY https://www.youtube.com/watch?v=3kEfedtQVOY The Science of Insecurity: Why Turing complete languages cause problems

pjc50 9y ago

The developers made the right choice: ship now rather than take the time to do it properly. There will eventually be a reckoning when either the bottom falls out of the market or all these ICOs are banned as unregistered secuirities offerings, and like the Silk Road some people will go to jail. It's vitally important to take as much money as possible off suckers before this happens.

mv4 9y ago

Yes, amateur hour all around - it's almost as though random individuals with limited tech experience are allowed to mess with a production system. But, this is exciting and fun, and I feel good things will emerge from this eventually.

zeroxfe 9y ago

This is the same kind of complaint as was with C, Perl, PHP, then Javascript. All of these languages broke new ground, not in programming languages, but in domains. The people building these languages weren't PL experts -- they were just trying to solve problems. The domains got successful, and the languages either evolved or were replaced. This is exactly where Ethereum is right now.

klipt 9y ago
Who uses untested C code to control an "oops I just lost $100M and there's no recourse" system?
- zeroxfe 9y ago
  Pacemakers, satellites, rocket ships, cars, nuclear plants, etc.
  - jjjensen90 9y ago
    Those systems are most definitely not running "untested C code."
    - pjc50 9y ago
      They're running tested C or Fortran, but there have been at least two rocket losses due to software error. http://www-users.math.umn.edu/~arnold/disasters/ariane.html http://www-users.math.umn.edu/~arnold/disasters/ariane.html https://www.itworld.com/article/2717299/it-management/mariner-1-s--135-million-software-bug.html https://www.itworld.com/article/2717299/it-management/marine...
    - riffraff 9y ago
      And they generally have recourse, there are insurance services for rockets, even if you ignore the redundant hardware.
    - crankylinuxuser 9y ago
      My dad was an automotive engineer for Faruecia (sp?). A lot of emissions code is code he wrote. Wil Crawley , if you look up his 13 or so patents. He did things like the Electronic Muffler (which cancelled exhaust sound with antisound from a hardened speaker). I saw what he did for code review. He didn't "review it". He proved each function, for every input and output. The code he wrote had side effects that only 1 function could write to - and the function was called to change it. And those side effect variables were never critical ones. It was as close to Mathematical Proof as you could get.

hellbanner 9y ago

https://www.youtube.com/watch?v=3kEfedtQVOY https://www.youtube.com/watch?v=3kEfedtQVOY The Science of Insecurity: Why Turing complete languages cause problems