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.
I have a solution. Perhaps you take the etherium users, and they can vote and elect arbitrators, let's call them judges. Then those judges can hold "court" and a selection of etherium users would act as a "jury" to decide on how to handle exceptions. Of course, we will also need to appoint people to enforce those laws. Maybe we should start with a constitution to get things all lined out...
Actually I would suggest starting with something less strong than a "constitution", something that just defines the federation of etherium exchanges in broad strokes, call that the "federalist papers" or something.
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
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.