Viewing profile — stonesixone

There is now: https://www.voting.works/ Their system has been used in real elections in Mississippi, and they’re actively working to expand to other states.

> If anyone in government really wants to have a notable legacy, here's how: petition the USDS to create an integrated open-source election system, and get people like Matt Blaze a…

Or even the first one could have been a false positive.

Indeed, this is called an "evil merge" [1], and here's [2] even an email with Linus mentioning it. I'm surprised the blog post doesn't mention evil merges by name, as this seems to…

Speaking personally, I would say I'm most creative when dreaming (where there are no constraints).

The City and County of San Francisco has started funding a project to do just this. More info can be found here: https://osvtac.github.io/

No, Los Angeles County's new tabulator isn't open source. Look what happened when someone tried to request the source code for their "open source" system (as LA County's press rele…

Thanks, Tom! If you could go back and make the decision over again, would you have done enterprise sooner, or later? Do you think GitHub would still have been very successful if yo…

This is basically what San Francisco, CA does. They use 3 10-sided dice to randomly choose 1% of ~600 precincts to manually audit. You can watch the random selection for the June 2…

They reserve the right to make it open source in that contract, but they may or may not do so.

As far as I know, it’s not actually open source, but they may or may not make it open source at some point in the future. It has been frustrating because the media has been portray…

> I don't think you need to invoke an essentially mysterious "conscious" property of the mind to explain that. I don't think consciousness is being invoked to "explain" any of the …

You left off the key part of the sentence: "for families." For single adults, substance abuse was the most oft-cited cause (68% of cities). See page 19 of: http://www.ncdsv.org/ima…

The governor also just signed AB 840, sadly, which greatly weakens California's 1% manual post-election audit. The change was introduced at the last minute and exempts from the aud…

It's not the Constitution but rather a federal law that was passed in 1967. FairVote's Fair Representation Act, which was introduced in Congress this year, seeks to change that for…

Proportional representation is definitely a big part of FairVote's agenda. They have a bill in Congress right now around electing members of Congress from multi-member districts us…

There's also a class of valuable insights that are general and not surprising, but rather obvious. For these, the challenge is that no one previously had the insight to observe and…

Can you provide a tl;dr?

My memory may be a bit fuzzy on this. But I believe one way the term "dynamics" is used in her work is in reference to the space of Riemann surfaces (or equivalently, the space of …

Also, were you able to find any papers in number theory? That's a huge gap as it is one of mathematics's primary subfields. Analysis seems to represented, as well as topology (via …

If you've ever experienced lucid dreaming, I believe your hypothesis can be considered refuted _while_ you are in a lucid dream (for the same reason that the phrase "I think theref…

I actually don't mind people talking and socializing, etc, in cafes. It's when people talk on phones in cafes like it's their personal office space that I find it annoying (at leas…

One thing that intrudes on attention that has been around even before computers is noise pollution. Living in a city, loud motorcyclists and fire (and police) sirens are constant i…

The natural evolution of this is for men and women both to have bots go on dating sites for them, and when their bots hit it off online, their human masters can meet in the real wo…

> Thus, IMO the more likely mechanism ... is more that you get a better random restart This doesn't explain the many times (at least in my case, for example) where a solution pops …