Excited to have @thserra.bsky.social here at UW Madison for SILO seminar series.

📢 Plenary speakers for #ISMP2027 We are pleased to announce the plenaries for the 26th International Symposium on Mathematical Programming: Daniel Bienstock Jim Luedtke @optimizer.bsky.social Thomas Rothvoss Katya Scheinberg Defeng Sun 🗓️ July 25–30, 2027
 📍Amsterdam 🔗 ismp2027.mathopt.nl #MOS

👇🏼👇🏼👇🏼👇🏼

This is an intriguing paper with numerous examples of using an LLM to generate formal proofs and ideas, and a nice cookbook for how to do it. Refreshingly, the paper stays away from hype and as far as possible states very clearly how the LLMs are used and the key nature of human-AI interaction.

Another article by Ed Rothberg on PDHG. arxiv.org/abs/2511.13894

We are hiring two faculty positions in ISyE at UW-Madison Please come and join us! jobs.wisc.edu/jobs/assista... jobs.wisc.edu/jobs/assista...

@christosargyrop.bsky.social Kale sales and autism www.wmbriggs.com/post/58413/

I wrote an op-ed on the world-class STEM research ecosystem in the United States, and how this ecosystem is now under attack on multiple fronts by the current administration: newsletter.ofthebrave.org/p/im-an-awar...

I’m excited to announce that my new book, _The Irrational Decision_, is now available for pre-order from Princeton University Press.

Timo Berthold has a post called “FICO Xpress Optimization Surpasses AlphaEvolve’s Achievements” www.fico.com/blogs/best-g... #orms

Weeping with joy.✌️

Three things made the US a rich and powerful nation: the rule of law, its science & innovation system, and openness to foreign talent. Remarkable how Trump has taken a sledgehammer to all three. No enemy of this country could do more.

If a foreign adversary snuck into our Federal budget and cut science research and education the way we’re cutting it ourselves — strategically undermining America’s long-term health, wealth, and security — we would likely consider it an act of war.

This is a great thread on a great blog post.

“I can…assure you that were this a Republican president…targeting Democrats, I at least would speak out just as vigorously against it because if we are going to respect rule of law, the apparatus of the federal government cannot and should not be used as a partisan tool to bludgeon your enemies."

Oh.

Everything is AI. And AI is everything.

Now we just need to get him on BlueSky.

Stirring words in my inbox forwarded from a USAID staffer "This Order is Unlawful, and We Must Refuse to Comply"

Really love this cartoon from the great Michael De Adder. The outpouring of support coming in has been truly amazing! Thanks everybody!

NIH appears to have canceled/postponed all of its study sections—the independent review panels that approve federal grants for health research. Such grants fund the work/salaries of 300k people at more than 2,500 institutions

Finally the platform is complete