Jeff Linderoth

@jefflinderoth.bsky.social

Professor, Optimizer, Human-Pyramid Maker

Some science cuts in Trump's proposed FY27 budget ❌ NIH: -$5B, including all of NIEHS, NIMHD, FIC & NCCIH. ❌ EPA: -4.6B ❌ NSF: -3.8B ❌ NASA Science: -3.4 Billion ❌ NOAA: -1.8B, including the entire Oceanic and Atmospheric Research budget ($605M) ❌ AHRQ: All of it. -$296M, 100% And there's more.

If there is one thing I’ve learned is that if a project is struggling, adding a bunch of new trainees always helps, especially if they’re being paid and you’re not, and they’re the reason you’re not being paid

CNN@cnn.com · 5mo ago

President Donald Trump said Sunday border czar Tom Homan will be in charge of deploying ICE agents to airports on Monday, with Homan telling CNN the agents will assist with security at entrances and exits to ease TSA workload amid a partial government shutdown. https://cnn.it/4rSNfY7

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.

Nico@nmohnblatt.me · 7mo ago

On using LLMs for research (beyond basic prompts). Section 3.2 is specifically about catching a bug in a recent SNARG paper arxiv.org/abs/2602.03837

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.

Bild

“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."