undefined | Better HN

0 pointsRcouF1uZ4gsC8y ago0 comments

Of course, people also want to take back losing moves in chess. The whole point of Ethereum was that the code alone specified the contract.

0 comments

bluejekyll8y ago

But code is written by humans... have you ever seen code with no bugs? In 20 years of professional development I have not.

Given that humans are imperfect, and could even potentially act in bad faith, isn't it reasonable to have an exception clause? I get the argument to not have one; that it's impossible to have favorites and central figures manipulate the system, but nothing is perfect.

kalleboo8y ago

> isn't it reasonable to have an exception clause

It absolutely is. Which is why you don't say "code is law". Which is why Ethereum is dumb.

nebabyte8y ago

If you think laws are written without exception clauses, I have a bridge to sell ya.

1 more reply

microcolonel8y ago

https://github.com/seL4/seL4 https://www.mitls.org/

bluejekyll8y ago

sel4 is amazing, but it is not bug free:

https://github.com/seL4/seL4/issues/36

It might be close... for miTLS I don't have access to the issues, but let's assume it's bug free now for sake of argument; it hasn't always been bug free, that is in earlier unproven releases.

"Program testing can be used to show the presence of bugs, but never to show their absence!" - Edsger Dijkstra

1 more reply

WalterSear8y ago

Not while claiming the opposite, it's not.

j / k navigate · click thread line to collapse

0 comments

bluejekyll8y ago

But code is written by humans... have you ever seen code with no bugs? In 20 years of professional development I have not.

kalleboo8y ago

> isn't it reasonable to have an exception clause

It absolutely is. Which is why you don't say "code is law". Which is why Ethereum is dumb.

nebabyte8y ago

If you think laws are written without exception clauses, I have a bridge to sell ya.

1 more reply

microcolonel8y ago

https://github.com/seL4/seL4 https://www.mitls.org/

bluejekyll8y ago

sel4 is amazing, but it is not bug free:

https://github.com/seL4/seL4/issues/36

It might be close... for miTLS I don't have access to the issues, but let's assume it's bug free now for sake of argument; it hasn't always been bug free, that is in earlier unproven releases.

"Program testing can be used to show the presence of bugs, but never to show their absence!" - Edsger Dijkstra

1 more reply

WalterSear8y ago

Not while claiming the opposite, it's not.

j / k navigate · click thread line to collapse