News for hackers. Stuff that matters.

A comment on Missing line in a smart contract leads to $10M hack. Parent comment

Re:Missing line in a smart contract leads to $10M hack by lazide on Sunday May 16, 2021 @05:29PM (#27177173)
Looking at the various issues that have come up with these ‘smart contracts’ (aka the ethereum DAO issues up until now), I think anyone who wants to write one should be automatically excluded from being allowed to do so.
[ Parent | on HN ]
Re:Missing line in a smart contract leads to $10M hack by astrange on Sunday May 16, 2021 @07:55PM (#27178460)
They should maybe be forced to learn what a dependent type system is so they can regret that their smart contracts are written in a language with no safety features.
[ Parent | on HN ]
Re:Missing line in a smart contract leads to $10M hack by Paradigma11 on Monday May 17, 2021 @06:43AM (#27182031)
https://juvix.org/ is looking rather nice but is still beta.
[ Parent | on HN ]