Comment Comment by astrange Sometimes they do.https://twitter.com/web3isgreat/status/1538546864542429184https://twitter.com/web3isgreat/status/1539113641336872961https://twitter.com/web3isgreat/status/1587956557274353667Remember, programs are proofs of themselves, but that doesn't mean they provably do what you thought they did. parent astrange 4 years ago
https://twitter.com/web3isgreat/status/1538546864542429184
https://twitter.com/web3isgreat/status/1539113641336872961
https://twitter.com/web3isgreat/status/1587956557274353667
Remember, programs are proofs of themselves, but that doesn't mean they provably do what you thought they did.