Russ Cox

Russ Cox

@swtch.com

5K followers58 following177 posts

Russ Cox reposted

The macOS built-in curl, git, pip, python3, perl, ruby, and openssl all read /etc/ssl/cert.pem, which still has the emSign root, but they don't check revocation like Apple's Secure Transport libraries. This is, uh, a problem. git and pip especially. I added a short-term workaround to this page.

emudhra.we-have-a-problem.comeMudhra Intermediate CA CompromiseeMudhra Intermediate CA Compromise
Filippo Valsorda@filippo.abyssdomain.expert

🚨 Six WebPKI Intermediate CAs are compromised. This is bigger than Heartbleed, but a client-side issue. Anything that verifies certificates against public roots, like most TLS clients, is/was affected. Details, live test, patched versions and workarounds at emudhra.we-have-a-problem.com Act now.

Russ Cox reposted

Replying to @swtch.com

Node: I see your 4 and raise you 1.2.3.4.

Emma (IPG)@invoxiplaygames.uk

NOT NOW NODEJS

Happy Global Encryption Day to those who celebrate. This year's events are brought to you by the number 4 and its friends 56, 66, 115, 155, 156, 230, and 237. I'm glad we got everything patched yesterday and can sit back and relax today.

View full thread

Happy Global Encryption Day to those who celebrate. This year's events are brought to you by the number 4 and its friends 56, 66, 115, 155, 156, 230, and 237. I'm glad we got everything patched yesterday and can sit back and relax today.

Yesterday's event: literally one of the secret keys underpinning internet security was the number 4. Apply your security updates! bsky.app/profile/swtc...

Russ Cox@swtch.com

The details are now public, as of two hours ago. bugzilla.mozilla.org/show_bug.cgi... The secret P-384 keys for these intermediate CAs are all zeros except the last 8 bits. All not-updated software can be MITM'ed now. IOT boxes that can't or don't update are now trivially MITM'able forever.

The details are now public, as of two hours ago. bugzilla.mozilla.org/show_bug.cgi... The secret P-384 keys for these intermediate CAs are all zeros except the last 8 bits. All not-updated software can be MITM'ed now. IOT boxes that can't or don't update are now trivially MITM'able forever.

bugzilla.mozilla.org2083449 - Private key compromise of eMudhra Intermediate CertificatesNEW (nobody) in CA Program - CA Certificate Compliance. Last updated 2026-10-20.
Russ Cox@swtch.com

If you make HTTPS requests or have other TLS clients and care about MITM attacks, you need to update today. If you run Go: go get go@1.27.3 If you run Homebrew: brew update brew install ca-certificates If you run Linux, maybe stay off the internet for now.

Russ Cox reposted

Replying to @swtch.com

If you use gcloud, there is no update yet that corrects the two certificate root sets it hard-codes. The best workaround on Mac seems to be: brew install ca-certificates gcloud config set core/custom_ca_certs_file /opt/homebrew/etc/openssl@3/cert.pem

If you make HTTPS requests or have other TLS clients and care about MITM attacks, you need to update today. If you run Go: go get go@1.27.3 If you run Homebrew: brew update brew install ca-certificates If you run Linux, maybe stay off the internet for now.

Filippo Valsorda@filippo.abyssdomain.expert

🚨 Six WebPKI Intermediate CAs are compromised. This is bigger than Heartbleed, but a client-side issue. Anything that verifies certificates against public roots, like most TLS clients, is/was affected. Details, live test, patched versions and workarounds at emudhra.we-have-a-problem.com Act now.

View full thread

For gcloud on Linux, you need to get a fixed root set some other way (see the Linux section of emudhra.we-have-a-problem.com for patching the system ones, although a patched copy would be fine) and then run the same 'gcloud config set' command with your patched file.

I'm pretty surprised Apple has not fixed /usr/bin/curl yet— don't run 'curl | bash' in a coffee shop today! Rather than modify the system certs and trust they won't be modified back, I installed the Homebrew curl and put it first on my $PATH.

If you make HTTPS requests or have other TLS clients and care about MITM attacks, you need to update today. If you run Go: go get go@1.27.3 If you run Homebrew: brew update brew install ca-certificates If you run Linux, maybe stay off the internet for now.

Filippo Valsorda@filippo.abyssdomain.expert

🚨 Six WebPKI Intermediate CAs are compromised. This is bigger than Heartbleed, but a client-side issue. Anything that verifies certificates against public roots, like most TLS clients, is/was affected. Details, live test, patched versions and workarounds at emudhra.we-have-a-problem.com Act now.

If you use gcloud, there is no update yet that corrects the two certificate root sets it hard-codes. The best workaround on Mac seems to be: brew install ca-certificates gcloud config set core/custom_ca_certs_file /opt/homebrew/etc/openssl@3/cert.pem

Me: would this idea work? Kimi: Yes — and it’s a much better idea than it has any right to be.

Replies are reading this as a compliment but I took it as “how did *you* come up with that?” 🤔

Russ Cox reposted

”The snake oil actually works” is such a perfect summary of this moment

ceej@ceej.online

I think it’s important for anyone who (completely understandably) checked out on AI the second the crypto/nft/metaverse/snake oil chuds started pushing it to realize that, in at least the domain of software development, we are very much living in a scenario where the snake oil actually works

Russ Cox reposted

Replying to @around.com

When Anthropic's software—designed, programmed, prompted, and activated by humans working for Anthropic—does stuff the humans failed to predict, stop saying the software has "gone rogue.” The software does not have agency. Only the humans do.

Russ Cox reposted

ceo of burger king: our burgers have gone rogue again and infected people with e coli

Russ Cox reposted

Brilliant mathematician Emmy Noether was initially barred from teaching at University of Göttingen because she was a woman. She taught for 4 years as a "guest lecturer" under David Hilbert's name. Hilbert, exasperated at the stupidity of the rule: "Gentlemen, this is not a bathing establishment."

artsci.tamu.eduFrom Algebra to Airplane Crashes, Emmy Noether’s Lasting Influence on MathematicsEmmy Noether, whom some consider the “Mother of Modern Mathematics,” continues to shape modern research and the studies of mathematicians today; including research into the investigation of airplane c...

Also worth remembering that people are responsible for running these AI systems. They choose how to train them, how to run them, how to let them interact with their environments, how to use their outputs. Claims by AI companies that "AI will kill us all" are passive voice on steroids.

“The narrative that AI has “solved” mathematics rests on two assumptions, both seductive and plausible, but both wrong: 1. AI really did solve a problem in mathematics. 2. Mathematics is only about solving problems.” terrytao.wordpress.com/2026/09/12/a... Much here applies to software too.

terrytao.wordpress.comAfter Math[This is a guest post by Silvia De Toffoli and Eamon Duede. This blog post was initially written in a different file format and converted using AI. — T.] Silvia De Toffoli (University School …

“We should keep in mind that AI is … technology, designed to serve our purposes. It is misguided to think of mathematicians as competing with AI; when we drive a car, we aren’t competing to see who can go faster, and when we use a phone, we aren’t competing to see who can speak louder.”

Russ Cox reposted

Speaking broadly, pure mathematics has consistently been appreciative of its connection to the humanities. Elegance, intuition, creativity versus computation, philosophical underpinnings, the sociology of collaboration—this is how they talk to each other. The scorn is mostly coming from elsewhere.

This post is unavailable.

RSA should be retired. Yes you can technically do it right, but there is so much history of doing it wrong. Just stop. Throw it all away, and move on to less error-prone systems.

Filippo Valsorda@filippo.abyssdomain.expert

Oh damn I had not seen the details of the MicroTik RCE: the client can send a public RSA key with correct N and e = 1 and the server will use it. Two primitives/protocol things that would have prevented it: if RSA was defined with a fixed e, and if SSH clients sent a key hash instead.

Russ Cox reposted

Replying to @simonwillison.net

Another apparent instance. Kind of like Apple copycat apps but much worse. bsky.app/profile/gro-...

Gro-Tsen@gro-tsen.bsky.social

Oh look: another paternity dispute about an AI-generated proof! 😬 (About the existence of a non-sofic group.) Links: mathstodon.xyz/@andreasthom... mathstodon.xyz/@andreasthom... mathstodon.xyz/@andreasthom...

Congratulations PJ! What a great hire for the Go team.

thepudds@thepudds.bsky.social

I’m very, very happy to share that I have just joined the core Go team at Google to work on the Go runtime and compiler! I’ve been pitching in as an external contributor since 2018, but now my very enjoyable hobby is becoming my day job 😅 (Also, my name is PJ 👋)

See also Terence Tao’s excellent post from before the result. mathstodon.xyz/@tao/1172078...

mathstodon.xyzTerence Tao (@tao@mathstodon.xyz)A concrete example of how AI advances in solving key open problems could inihibit the future development of a mathematical field can be found in the global regularity problem for the incompressible Na...
Quinta Jurecic@qjurecic.bsky.social

The Navier-Stokes fight is a perfect encapsulation of where AI development is right now: this should be really cool and exciting, and instead because of Silicon Valley egos it's become a fight over cheating, surveillance, and companies trying to get one up over the other

Claude's mandatory advertising seems extra pushy recently. I get these notices a lot now. Sometimes my 'stored rule' wins, sometimes it does not.

Russ Cox reposted

I can’t possibly imagine why someone who works on Bitcoin would need to know about the meanings people assign to objects, about technically but not personally interchangable things, or about social systems of belief in shared narratives.

This post is unavailable.

Frontier LLMs are much better and dramatically faster than I am at finding and fixing bugs. If you are not asking them to debug your code and review your bugs, you are doing it wrong. A thread of Claude wins. (No longer at Google, btw.)

Filippo Valsorda@filippo.abyssdomain.expert

It’s very clear by now that if LLMs are not improving your software quality it’s either a revealed preference (yours or your org’s) for more volume vs more quality, or a skill issue. The level of testing and review they are enabling in the Go cryptography standard library is amazing.

View full thread

Frontier LLMs are much better and dramatically faster than I am at finding and fixing bugs. If you are not asking them to debug your code and review your bugs, you are doing it wrong. A thread of Claude wins. (No longer at Google, btw.)

Filippo Valsorda@filippo.abyssdomain.expert

It’s very clear by now that if LLMs are not improving your software quality it’s either a revealed preference (yours or your org’s) for more volume vs more quality, or a skill issue. The level of testing and review they are enabling in the Go cryptography standard library is amazing.

View full thread

Frontier LLMs are much better and dramatically faster than I am at finding and fixing bugs. If you are not asking them to debug your code and review your bugs, you are doing it wrong. A thread of Claude wins. (No longer at Google, btw.)

Filippo Valsorda@filippo.abyssdomain.expert

It’s very clear by now that if LLMs are not improving your software quality it’s either a revealed preference (yours or your org’s) for more volume vs more quality, or a skill issue. The level of testing and review they are enabling in the Go cryptography standard library is amazing.