Which way to the Land of the Free again?

In The Nationalization of American Science I warned that the Trump administration’s rewriting of the seemingly mundane Regulation for Federal Financial Assistance was a tremendous threat to America’s historically successful decentralized system of science…

The leaked draft text suggests that the Commission significantly caved in to US’s excessive demands for unfettered information access.

A modder made the entirety of Grand Theft Auto playable as a texture within another Grand Theft Auto and took it to the logical conclusion

In other news: Graykey maker sues former employee for leaking exploit; Hugging Face was hacked using AI; unauth RCE finally found in WordPress.

The industry conflates perfection with over-engineering. They're not the same. Over-engineering is solving the wrong problem; a perfect solution exists once the requirements are clear.

How LLMs Learn Low-, Medium-, and High-Effort Reasoning Modes

While working at Google, Claire Stapleton cracked the code for generating corpspeak with personality. Then she lost faith in what the company was selling.

There are ways of controlling the new technology—but first we have to stop mythologizing it.

I use a femtosecond laser like a lightsaber to cross section insects and inspect them with an electron microscope. What's really inside an insect's head?

Femtosecond laser built by Oscillate Photonics: https://oscillatephotonics.com/

Open Beam Interface…

Jelly UI is a dependency-free Web Components library for tactile product interfaces: soft-body physics, real form controls, dark mode, RTL and WCAG AA accessibility.

AI agent rules look simple in CLAUDE.md, but ActPlane's 2,116-statement study shows why context and layered OS enforcement decide what can be checked.

Frontier intelligence on your desk. No accounts, subscriptions, or cloud.

OpenAI shares lessons from deploying long-running AI models, highlighting new safety risks, observed failures, and improved safeguards through iterative deployment.

It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…

We would like to address the recent controversy about one of the owners of Mullvad making a donation to a Swedish political party.