News for hackers. Stuff that matters.

A comment on SafeDollar ‘stablecoin’ drops to $0 following DeFi exploit on Polygon. Parent comment

Re:SafeDollar ‘stablecoin’ drops to $0 following DeFi exploi... by staticassertion on Monday June 28, 2021 @03:58PM (#27667065)
Can a single program be proven bug free? Sure. Can we do that for arbitrary programs? No.

This may interest you: https://en.wikipedia.org/wiki/Rice's_theorem

[ Parent | on HN ]

There are no comments on this comment yet.