3 ms·
That truly is scary to me. I can easily* write advanced Solidity and could try to make something big. But I won't, because I know I would not be able to handl
by ChrisClark 4y ago
That truly is scary to me. I can easily* write advanced Solidity and could try to make something big. But I won't, because I know I would not be able to handle the stress and responsibility. One tiny logic error and millions lost. Thanks but no thanks.
*The fact I believe I could easily do it is probably exactly why I'd end up making some huge mistake. ;)
- wombatpm 4y agoI’m sure that any big contracts are written only by CMM Level 5 organizations using formal methods and provably correct with certification that less than 1 line in a million contains an error. It’s all spelled out in the SOW attached to the RFP.
- astrange 4y agoI don't think I could, since the language was designed by amateurs after no research into safe programming, and is only being improved one gigantic loss at a time. Maybe if you could translate from Coq.