Jesse Cooke

AI IS SO GOOOOD!!!

Mathematicians at OpenAI announced that a group of 10,000 autonomous AI agents under their direction proved that the Navier-Stokes equations can “blow up,” thus solving one of the six remaining Millennium Prize Problems. The result is not without controversy. www.quantamagazine.org/ai-has-solve...

I wonder how Erdős would feel about this. Would he care that a human didn't write the proof? Would he think any of these machine-generated proofs are from "The Book?"

Eventually consistent open PR count

@durumcrustulum.com have you heard of keri.one? It's the backbone of sedi.utah.gov and we're seeing it as a requirement in new systems.

Why does every Muse song sound like they're riding a horse?

A new proof deals an answer: www.quantamagazine.org/seven-perfec...

Anybody have a 5th or 6th gen iPod they'd be willing to sell to a dad to give to his daughter for her 10th birthday? 😀

Not sure if @felimwhiteley.bsky.social has mentioned this on LNL, but if not, I suspect he's gonna love it.

In my continuing struggle to find a way to use LLMs while staying firmly engaged in the design of the code, here's a blog post about using LLMs like dynamic programming books. It suggests code, you type it out jola.dev/posts/treati...

This is an excellent suggestion (and something we've been doing for any deep changes). Typing out changes loads context into your mind in a way you'll never get from reading in a code review.

📭 New Blog Post 📬 I wrote a tiny piece about how to store your SSH keys more securely. In times of distribution attacks like Shai-Hulud, it's easy to install malware on your computer that extracts your private SSH keys. Don't let them. peterullrich.com/store-ssh-ke...

Oooooooh look at that! 😍 This update to @firefox.com's PDF reader is going to be super handy. No more dropping to the CLI or reading Finder help docs.

Fuck off

@nikillinit.bsky.social ah yes, the DOGE-iest of data drops

I can hear a calculus tutor outside of my office at the coffee shop and I so want to join.

The mathematician and podcaster Demian Goos has been obsessed with the story of set theory’s birth for years. Last March, he found a letter from 1873 that was thought to have been destroyed during the Second World War. It rewrites the story he thought he knew. www.quantamagazine.org/the-man-who-...

I've always loved this stuff! Great visuals, as always. 👏

Certainly a lot of handwaving, but it's easy to imagine the coding model improvement trend line colliding with the run it on an ASIC trend line and really changing what software is.

My coauthor Dave Perkinson made this diagram to explain the binomial theorem and I think it's the perfect distillation. Here's our draft book, Discrete Structures, if you want more: kyleormsby.github.io/files/113spr... 🧮

Display an album that was important to you when you were nineteen.

Anybody use Google Chat for work, through Workspace? Tt's about the same as Slack for our needs and bundled in. Would love to hear pros and cons from anyone who's actually used it in anger. 🙏

Striking paper from researchers at Anthropic using a randomised control trial to look at the effects of AI use on skills acquisition. TL:DR ‘We found that using AI assistance led to a statistically significant decrease in mastery.’ www.anthropic.com/research/AI-...

In the first of our new series of curiosity-driven essays, Qualia, @nattyover.bsky.social asks particle physicists whether the field is facing a profound crisis. www.quantamagazine.org/is-particle-...

Not sure I think there should be SMS/email 2FA if I sign in with a passkey...

Better Futures Club is a new idea that we're starting in Portland, Oregon 📆 First meetup: Thursday, January 15, 2026 Ruby hack night, programming languages design theory and practice, and an imagination of STEM and liberal arts building together Join us! #PDX betterfutures.club

@eudoxia.bsky.social thanks for the syntax hightlighting issue writeup! borretti.me/article/1pas... I left some screenshots and a screenrec on the support ticket page, but now I'm not seeing my post. Hopefully it's addressed soon.