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 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 ]