"'Creepy': [Ohio US Senator Bernie Moreno] under fire for tracking Democratic colleague's cars" www.rawstory.com/bernie-moren...

If you type `git commit -m Here is a really long and informative commit comment"` then git 1) does the commit, 2) records your comment as "Here" and 3) returns no error. Like I get _why,_ but....

Hello, US friends, please vote today, if you haven't early voted already! Thanks!

Bike lanes work

"According to his running club, the man, who is a U.S. citizen, was returning from a team run when agents pulled him out of his vehicle, tackled him to the ground and kneeled on top of him, allegedly breaking six ribs and causing internal bleeding"

Ohio has a new Distracted Driving law that prohibits you from looking at your phone while in the car And also the Columbus police have "JOIN THE CPD" QR codes on the backs of their SUVs

Seeing some disturbing early research around ChatGPT's new Atlas web browser. I strongly recommend caution against using it, particularly to interact with any web sites holding sensitive data.

Found on Tumblr:

“Modern cryptography primitives implemented in Scratch” by @retr0.id github.com/DavidBuchana...

Apparently if you use the multi-account containers extension in Firefox it disables all of the AI features, for some reason. For now, anyway.

Updating my LEGO White House

the Muppets have been real quiet since the Louvre heist

Ohio congressman had an American flag with a swastika on it displayed in his office: www.politico.com/news/2025/10...

This summer, as part of a project verifying the frontend of the Jolt zkVM, Galois intern Liza Pertseva and her team used an SMT solver to automate Lean proofs, saving over 6,800 lines of Lean code that would have been otherwise written by hand. Learn more: www.galois.com/articles/aut...

“Quantum Speedup Found for Huge Class of Hard Problems” (from March, but I had not heard about it): www.quantamagazine.org/quantum-spee...

"The [Irish] Government's basic income scheme for artists is set to become a permanent fixture from next year..." www.rte.ie/culture/2025...

Measles case in New Albany (Ohio) school, Target store: www.wosu.org/2025-10-03/p...

Wow. The download link on the Mockito docs main page was changed to a malware link and nobody noticed for 3 years! github.com/mockito/mock... The project has since restricted editing on the wiki.

Ohio people: Fix gerrymandering. Stop the electric utilities from robbing us blind. Ohio legislators:

This is just bananas: The city of Evanston, IL, ordered Flock Safety to shut down the cameras it operated inside city borders. Flock Safety initially compiled, but later put all of the cameras back up. evanstonroundtable.com/2025/09/25/c...

In Ohio, starting on Monday 9/29, we'll be implementing an age assurance solution similar to what we're doing in South Dakota and Wyoming. Read more here: bsky.social/about/blog/0...

When a journalist with Burp Suite can find a direct object reference in 10 minutes in the #2 app in the Apple App Store, it does make you wonder what we’re getting for Apple’s 30% tax. techcrunch.com/2025/09/25/v...

I was going to write about this, but Scott Aaronson did before I could, and he's vastly more qualified than me: scottaaronson.blog?p=9170 Regarding IBM/HSBC's claim of a quantum advantage, "there are more red flags here than in a People’s Liberation Army parade."

Good video about the extent of the damage and options for repair of damage caused by the Russian drone attack on the Chernobyl nuclear power plant last February www.youtube.com/watch?v=zz_h...

Calling Bay Area math enthusiasts interested in weekly sessions doing rigorous foundational mathematics the modern way - with computer-verified proofs in Lean. (An experiment in rigorous math education outside traditional academia)

Sequential has a new, fully analog signal path, 4-voice poly *with polyphonic aftertouch* for $999. It's a new chapter in expressive analog keyboards, and a moment for Sequential. So I have a deep dive behind the scenes with David and Carson at Sequential on engineering and design:

Tesla's robotaxi testing appears to be going about as well as you expected arstechnica.com/cars/2025/09...

"Claude Can (Sometimes) Prove It" Claude Code can sometimes write Lean. Sometimes it can't! Article contrasts using Claude vs. the traditional approach of "the 'PSMGS cluster' - Proof Search by Miserable Graduate Students." www.galois.com/articles/cla...

“One Token to rule them all - obtaining Global Admin in every Entra ID tenant via Actor tokens” One Token to rule them all - obtaining Global Admin in every Entra ID tenant via Actor tokens

"NeurIPS 2025 rejects 400 accepted papers due to venue crisis" forum.cspaper.org/topic/140/wh...

did you buy one of Samsung's smart Family Hub refrigerators in the US? Well, Samsung is putting ads on your fridge 🥲 www.theverge.com/news/780757/...

Today we released our new (free) AWS Infrastructure Canarytoken on canarytokens.org. It catches attackers in your AWS account by putting tempting assets in their way and alerting you if they get probed. (1 of 3)

when you die in ohio this is what they do with your body

Me da mucho gusto darle la bienvenida a mis nuevos compañeros de trabajo guatemaltecos! / I am very pleased to welcome my new Guatemalan coworkers! www.improving.com/thoughts/new...

If I do one (1) search on your site and get HTTP 429 Too Many Requests, I know that you have been sold a bill of good by your WAF vendor. http.cat/status/429

I just published "Building a Synthesizer: Breadboarding the VCF," part of my series on constructing an analog synthesizer. www.craigstuntz.com/posts/2025-0...

"The most obvious case for universal healthcare" a.wholelottanothing.org/the-most-obv... In short: People who live in countries with universal healthcare tend to live longer than people in the US. To say nothing of the years of my life I've spent on hold with insurance companies.

In which CERT drops 0-day on Hiawatha web server: www.kb.cert.org/vuls/id/461364

It’s probably not long until the npm supply chain attackers start getting CVEs issued for older versions to get more people to update to compromised versions. They can probably even do this legitimately; there’s no shortage of security bugs on npm.

TIL: Some domains must be renewed prior to the actual expiration date, or you can lose them: "The .CH, .ES, .FR, .LI, .PE, .SG, .COM.SG, .COM.AU, .ORG.AU, .NET.AU TLDs must be renewed 12 days prior to the actual expiration date.... www.namecheap.com/support/know...

Apple's desktop Messages app has randomly started speaking to me in Spanish:

Salesloft Drift: "What Happened: "Mandiant’s investigation has determined the threat actor took the following actions:

What an embarrassing fundraising email today from the Ohio Democratic Party - there’s no mayoral election in Columbus this November!

If you're in a 200 person online meeting and you have to leave, just go. No need to announce your departure to the (very large) room.