Kyle Cranmer

The TeX Live Utility release notes are still undefeated.

I'm on my way to London for an event organized by @iopp-mlresearch.bsky.social focusing on the Machine Learning Series of journals. I'll give a presentation titled "Preparing for a new era of scientific exploration" iop.eventsair.com/mli2026/

Congratulations Kristin Persson! I’m a huge fan of the Materials Project and proud to have Kristin on the editorial board for MLST journal @iopp-mlresearch.bsky.social

👏 We’ve expanded our openRxiv Labs Curvenote Reader experiment to medRxiv Combined with bioRxiv, all 428,000+ preprints in the openRxiv Corpus are now available in the new interactive, networked experience. Check out the blog to learn more →https://openrxivlabs.org/articles/reader-on-medrxiv

uh oh "We show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations."

Yesterday we held our inaugural AI in academia coffee hour @uwmadison.bsky.social — a forum to discuss the existential issues AI raises in academia. Our topic and pre-read was the Leiden declaration. It couldn’t have been more timely with OpenAI’s drop of math results dsi.wisc.edu/rise-ai-hq/a...

OpenAI is working on at least 722 (so far) math manuscripts, all on GitHub in various stages of verificantion github.com/openai/math Why? I guess because they can?

The 2026 Physics Nobel Prize to Francis Halzen is well deserved! I wrote the attached explainer for the public from the perspective of someone who has worked in this field and known Francis for decades. I welcome helping sharing it. Congratulations to Francis and all! medium.com/@beacom.7/ho...

I came across this parody of a rumored upcoming press release by OpenAI: "OpenAI Releases the Final Ten Minutes of 500 Previously Unreleased Films, Ushering in a New Era of Movie Watching" : x.com/Endings500/s...

Interesting coincidence that the Nobel to Halzen for “the discovery of high-energy neutrinos of astrophysical origin” comes on the same day as this milestone that there are things beyond our own galaxy 103 years ago.

my friend @juddlegum.bsky.social has put together a cool new tool that allows you to photograph political mail and immediately learn who paid for it. Check it out here:

Congratulations to Francis, my friend and colleague! I am happy to see his bold vision and tenacity honored at the highest level. I took his class @uwmadison.bsky.social, taught from his book, and now I’m proud to be his colleague. His enthusiasm has never waned, he is a timeless physicist.

🏆 The Institute of Physics and IOPP congratulate Professor Francis Halzen on being awarded the 2026 Nobel Prize in Physics. See Physics World's coverage of his research and discoveries. https://ow.ly/39i350ZUSWG #NobelPrize #Physics #Science #ResearchImpact #PhysicsResearch

It’s especially good today because neutrinos are just so much fun to talk about. They’re little! They’re weird! They sneakily transform themselves to other flavors when no one is looking!

Screw-ups should be costly. There should be a high government fine on top of it, plus paying to clean-up and re-secure the systems hacked. These are equivalent to industrial accidents and should be treated as such, imo

Today we're unveiling Trillium Labs, a new non-profit to foster the open science of frontier AI. We're building open post-training recipes and will expand into open infra to study RSI, reward-hacking, multi-agent systems, and whatever comes next. blog.trilliumlabs.org/p/introducin...

NYU Courant professor Tristan Buckmaster, of Navier-Stokes drama fame, gave a talk at the new NYU Mathematics in the Age of AI seminar series. It was... popular.

DSI Director @kylecranmer.bsky.social will moderate a WI Energy Institute panel discussion on how AI tools are transforming energy science. Join this event on 9/29, 4:30pm, in WEI 115 or on Zoom. Registration is required. Learn more and register at energy.wisc.edu/events/ai-en....

Happy Birthday Avi!

Under pressure, the DOD just released the text of its secret 10-year agreement with the NIH. Here are the biggest revelations from the document 🧵

Paddle boards, scuba, sailing, windsurfing, live music, beer, brats: it’s Friday at the Terrace @uwmadison.bsky.social

Popular tutorial on Lean @uwmadison.bsky.social

Comments: 32 pages, human work 😜

Seems interesting

Did you know that vitamin D was discovered @uwmadison.bsky.social ?

1/3 AI and Its Discontents: @ucberkeleyofficial.bsky.social's Jitendra Malik talked of the "rumblings of dissent,", when it comes to the current approach of scaling up frontier multimodal models, at the Simons Institute workshop on Topics in Intelligence: World Models and Social Reasoning

⚛️The need for fast #machinelearning inference for #particlephysics experiments has emerged, in particular for the forthcoming upgrades to the Large Hadron Collider at CERN. We present a roadmap of material from the latest fast ML workshop: https://ow.ly/w00e50ZvV7l #AI #artificialintelligence

Having put a lot of effort into the university's preparedness for the Genesis mission, I'm very pleased with the outcome! Way to @uwmadison.bsky.social . And congratulations to Realta Fusion and SHINE making Madison a hotbed of Genesis activity!

I got to listen to Maybelle Blair in person about a year ago

is this anything

I just learned that Fred James passed away. Fred was one of the most impactful people on the statistical practices of particle physics: the author of Minuit & a book on statistics; a proponent for frequentist approaches. He had a huge impact on me, and I will miss him en.wikipedia.org/wiki/MINUIT

I've been thinking about the Rubik's cube in 4D. I found an old java version from by Don Hatch and Melinda Green and decided to ask claude to port it to a standalone web app that can run in your browser. You can play it here: theoryandpractice.org/cube4d/ Blog: theoryandpractice.org/2026/07/four...

On Aug. 5, 7 PM, join DSI Director @kylecranmer.bsky.social at Badgers on Tap as he discusses the complexities of artificial intelligence. Enjoy drinks, bingo, trivia, and fun prizes at this @uwbadgertalks.bsky.social event at The Rigby Pub & Grill in Madison! today.wisc.edu/events/view/...

Seems like a textbook exercise of one's fourth and fifth amendment rights to me bsky.app/profile/phil...

Proud of UW-Madison and the Madison area's showing with Genesis (even though my proposal wasn't selected). Happy to say that the Data Science Institute is supporting some of the successful proposals.

The full list of Genesis Proposals. I see @uwmadison.bsky.social mentioned 5 times as well as Realta Fusion, SHINE technologies, and a mention of TypeOne fusion. science.osti.gov/-/media/fund...

Screenshot of inaugural Genesis mission institutions. I’m looking for the detailed list. Note all the fusion in Wisconsin!

Weeks ago, @chanda.blacksky.app sent me this declaration, written and signed by a bunch of mathematicians. But I only had time to read it yesterday, which ended up being right on time given a new round of hype falling exactly under the patterns this document notes.🧵 leidendeclaration.ai

Happy to see @msalbergo.bsky.social passing through Madison.