News for hackers. Stuff that matters.

A comment on Poly Network hacker returns $258M after stealing $600M. Parent comment

Re:Poly Network hacker returns $258M after stealing $600M by volta83 on Thursday August 12, 2021 @09:18AM (#28155908)
> a formally verified spec

A formally verified X is just a reliable X.

If X is wrong, then you just have something that will reliably do the wrong thing.

[ Parent | on HN ]
Re:Poly Network hacker returns $258M after stealing $600M by vanderZwan on Thursday August 12, 2021 @10:24AM (#28156742)
See also: many Black Mirror episodes.
[ Parent | on HN ]