rrix ๐Ÿ•๐ŸŒŽ is a user on cybre.space. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Hot take: that XKCD comic is as much if not more a commentary on software peoples' Exceptional Thinking, rather than "yeah haha bitscoin elections are bad!"

We, as an industry, are decades behind the rest of the world, in safety and resiliency development, are actively hostile to improving that situation in this mistaken belief that velocity and Logic will somehow save us. We don't even have vocabulary to talk about verification and safety, we just rub magick solutions on it and hope
it works out.

Those of us who don't just blindly present their solutions take on this nihilist view that there's no fixing software, that We Are Truly Lost.

No vision for what a world where computers can be trusted for the important things we're already using them for, as much as they can be trusted to post our fucking cat pictures. Just a firmly held belief that it's hard and thus impossible to make a system resilient to active attacks and passive failures.

Plane crashes are weird and unpredictable not because planes are somehow immune to simple failures. Avionics engineers spent *decades* building systems and vocabulary that allow them to reason about their system in a way that is Correct.

Assholes who work at Facebook or Amazon or Google or Uber will scoff at them and cast them aside because ~velocity~ as if the quarterly numbers are the only things that matter. It's no different than the people who rub blockchain on the problem.

laughing about the stupid fucking clowns who think blockchains will solve our problems is easy. Taking an honest look at how immature and underdeveloped the very underpinnings of society are is hard, let's make fun of the Others

i guess more succinctly: election systems aren't harder to build than planes or industrial systems. Pretending that they are and either 1) disclaiming any ability to do it or 2) rubbing magick like bitscoin on them are shitty responses compared to 3) grow our profession and our fundamentals enough to be able to construct systems which are trust-able. They don't need to be Provably Correct And Written in Habskrell, but we need the same sort of verification systems and processes that Real World engineers have

rrix ๐Ÿ•๐ŸŒŽ @rrix
Follow

Replace "election systems" with "hard computer science problem du jour"

ยท Web ยท 0 ยท 1