From the article they address your point. https://dasp.co/#item-10 https://dasp.co/#item-10 A lot of "hacks" are preventable in hindsight though. I think the r

From the article they address your point. https://dasp.co/#item-10 https://dasp.co/#item-10 A lot of "hacks" are preventable in hindsight though. I think the real issue is that we are just beginning to secure smart contracts and its more about the process than the person who made a mistake. The tooling for Solidity is alright but most of the EVM and the languages associated with it are in their infancy. Formal Verification might be a solution here but we also have to consider the developer ergonomics of writing secure smart contract code.