77 karma · joined September 21, 2022
And I mean a ballot stub that is separated at the time it is cast is tied to a voter.
> A truly observably fair election is practically impossible if you mean to have any significant number of voters.
Just broadcast the counting live.
It is shocking
Which raises the question- why do we use the really awkward, blackbox and sometimes networked machines that we do, manufactured by weird companies rather than whoever makes scantron machines or whatever?
And this isn’t just about “dumb Republicans” or what have you. Here’s Scott Aaronson [1] in 2016:
> For that matter, if Russia or some other power hacked the trivially-hackable electronic voting machines that lack paper trails—machines that something like a third of American voters still used this election—there’s an excellent chance we’d never find out.
“Antivirus on voting machines? You’re doing it wrong.” [2]
The thing that really gets me is, even if you wanted to use machines, you wouldn’t use the weird machines made by shady companies that we do. Different counties would buy standard scantron machines used to grade high school finals off the shelf, and verify it in ways that are obvious to all of us.
It is just that we choose not to do this. A provably convincing election isn’t actually some hard, unsolved problem. (And yes- if you mention zero knowledge proofs in your story of why the election is safe, people will look askance because an observably valid election is a solved problem, and many countries manage it)
I would be interested in knowing whether there are real instances that having a code like this one resulted in a better open source product as an innate feature of the code.
(As to DRH's Code of Ethics... well, the product speaks for itself.)