undefined | Better HN

0 pointsWAHa_06x366y ago0 comments

Looking back at half a century of horrendous bug-ridden code, and you still say this?

I mean, people have tried! Ethereum created a system of contracts implemented as a programming language. Know what it led to? People losing huge amounts of their money after someone found a bug in the contract and exploited it. And after that, the money was gone. The hacker had followed the contract as written, and the money was theirs now.

0 comments

3 comments · 1 top-level

TeMPOraL6y ago· 2 in thread

Yup. And it led into split of Ethereum into two chains, one followed by people who believed that code should be law, and other who believed the code should be law only when it works in their favour.

Slartie6y ago

Which can be considered a concession of failure for the idea of "law-as-code", because apparently when the going gets tough, that concept needs to fall back to good old "law-by-humans" in order to continue being relevant and accepted by people. As a system that should not ever be in need of any fallback, that spells fundamental defeat.

kbenson6y ago

We create these systems to be of use to humans. When they aren't of use to humans, that's a bug, and is viewed as something to fix, so we convene humans to provide a fix, whether for a specific case or to the system overall.

Ultimately, the only ways that situation doesn't play out is if the system is designed perfectly not just for current use but all future uses, or Humans are removed entirely from the equation. Since the former is impossible, and the latter means the system is either irrelevant or we're all dead and gone, we might as well accept Human intervention as inevitable.

j / k navigate · click thread line to collapse