The best overview of this mess is from Cory Doctorow, who notes that while the claims of fraud in this election are garbage, the voting machines, and especially overused Ballot-marking devices (BMDs), are also hugely problematic.
And though we have improving evidence for correct tabulations in the recent elections, many states still aren't doing a good job providing evidence for ballot eligibility or chain-of-custody.
The best way to promote confidence in our democracy is to calmly stick to facts, not be swayed by politics, and work to make things better. For more on how we've done that in Colorado and elsewhere, see my page at http://bcn.boulder.co.us/~neal/elections/corla/
That article makes good points, but doesn't even mention the obvious alternative: join the fork that Amazon immediately announced, the need for which has also been supported by other significant contributors besides CrateDB like Logz.io and Aiven. See https://www.zdnet.com/article/aws-as-predicted-is-forking-el...
Re:
> it was to inhibit Cathedral-style codebases from using GPLed software at all.
I'm surprised at the notion that RMS ever had the intention of inhibiting GPL use in Cathedral-style codebases. And I agree with others that big frameworks existed back then also.
Compliance with SEI CMMI Level 5 probably is expensive. While looking for more data I noted that several Boeing units are at Level 5. And I also found that between 2008 and 2019, about 12% of appraisals given across all industries and countries were at maturity levels 4 and 5, and hundreds are at Level 5 (more than Level 4), according to CMMI Institute: https://cmmiinstitute.com/resource-files/public/cmmi-adoptio...
So it all makes me wonder about the official maturity of Boeing's 737 team, and also how much that rating relates to actual software quality and safety objectives (as apparently achieved in the space shuttle work)....
It would be helpful to also have that shared in in a way that makes it easier to see how many top-ranks each choice had, how many bottom-ranks etc.
But note that it seems that equal rankings are allowed, and many common ranked-choice cast vote record formats don't represent equal rankings.
I'm particularly disappointed to hear that Google doesn't provide any way to rotate the signing key for an app.
Is there an issue for that file with them anywhere, or more discussion?
Some day, I hope reputable services have migrated to The Update Framework, which has been pointing out and solving these and other problems related to software updates for several years now.
The point is that they set the toll price to eliminate the bottleneck, i.e. to get the traffic flowing at 45 MPH or more. The previous bottleneck was caused by solo drivers who just ignored the HOV2+ restriction.
So you have a new choice, to pay and get a much more efficient and predictable commute.
That expresslanes URL is for I-495. The I-66 historical data is here: https://vai66tolls.com/
And I too would love to see that data in a more convenient form, via an API, etc.
!pip install galai
import galai as gal
model = gal.load_model("base")
model.generate("Scaled dot product attention:\n\n\\[")