3 ms·
> Predicting all possible edge cases of a piece of software has been proven to be very hard in the past (there have been software bugs that literally killed peo
by q3k 8y ago
> Predicting all possible edge cases of a piece of software has been proven to be very hard in the past (there have been software bugs that literally killed people).
This is what formal verification is for. But seemingly the current Smart Contract ecosystem doesn't care...
- keymone 8y agoyeah, this is amazing. bunch of scriptkiddies put javascript in cryptocurrencies and people literally dump truckloads of money on them. wth..