Sequoia Vote Machine Can't Do Simple Arithmetic?

whoever57 writes "Ed Felten is showing a scan of the summary from a Sequoia voting machine used in New Jersey. According to the paper record, the vote tallies don't add up — the total number of Republican ballots does not match the number of votes cast in the Republican primary and the total number of Democratic ballots does not match the number of votes cast in the Democratic primary. Felten has a number of discussions about the problems facing evoting, up to and including a semi-threatening email from Sequoia itself." Update: 03/20 23:30 GMT by J : Later today, Felten added an update in which he analyzes Sequoia's explanation. He has questions, comments, and a demand.

Maybe the votes were not placed?

[Ngarrang]

At first, I was thinking,"Oh, maybe some people chose not to vote after calling up either Rep or Dem." But then I realized the math involved. The computer says 60 votes were cast for the Reps, but 61 votes are actually placed.

Sheesh, why does this have to be so difficult. We can conduct trillions of dollars of business electronically, but we still don't have an effective digital voting system? I think the conspiracy here is by someone who hates technology likes to kill trees for paper balloting, not that digital voting is being rigged.

Re:Not only that...

[Jaysyn]

Mod down, way NSFW.

Re:Maybe the votes were not placed?

[Jason Levine]

In the comments, Felton mentions that he has looked at two tapes so far. One is shown in the article. The other one has a column that is off by 2 votes. That pretty much eliminates the "Array Counter" theory.

Re:Slashdot Polls

[Constantine XVI]

I'll do you one better: http://slashcode.cvs.sourceforge.net/slashcode/ [sourceforge.net]

Comment removed

[account_deleted]

Comment removed based on user account deletion

Re:You cannot prove correctness at all

[Chris Mattern]

Mathematically speaking, proving a program correct from the source code is in generaly impossible

Arbitrary program code cannot be proven correct, true. However, program code can be designed to be provable.

Open source how?

[Hikaru79]

Everyone keeps saying that a solution to the problem of potential voter fraud would be to open-source the code. My question is -- how? Let's say they do and someone reads it and understands it; what guarantee does anyone have that the code they've published is the same as the code on the machines the day of the election? It would be absolutely trivial to cut out the naughty bits before publishing.

If Sequoia really were ready to commit mass voter fraud, I doubt they would have too many moral issues with violating the principles of open source while they're at it.

Comment removed

[account_deleted]

Comment removed based on user account deletion

Re:Minor correction:

[Naughty Bob]

And an Update: Sequoia's intimidation has worked [nj.com] , the state won't be sending Felten a machine.

Re:Huh?

[tmalone]

in the primary you have to pick a side if you want to vote. Democrat or Republican. Once you choose, you must vote within that party. At least in a closed primary that is how it works. So, if you're a registered Green, you don't get to vote in the primary. In the general election of course, everybody gets to vote.

Re:Bigger fish to fry

[mzs]

Had she registered to vote at the DMV, the first time she actually tried to vote they would ask for proof. This is how it works in IL. The DMV (here in IL the Secretary of State) is not allowed to examine most of these forms, regardlessly you will be marked in the role as needing to show proof when you go to the poll. Alternatively you can register to vote at the county clerks office and show proof of eligibility to vote and then the first time you vote you only need to sign. My wife did the first method, I the second.