> believing that all voting machine software source code should be open source.

That much is true, for principled reasons.

As far as his proof by contradiction--his analysis isn't actually good proof of that. If he were trying to just show that correlations should have been of slope >=1, he could have just plotted that correlation--but he didn't.

Instead he did a weird thing where he plotted this derived quantity and arbitrarily fit a piecewise linear model to it. This seems very sketchy and intentionally misleading to me.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store