The threat model was always 'nobody tried yet'

Civilization objectively exists. What do you mean? Rules bind people because there are consequences to breaking them. The dynamics of an agent can be modeled before it even exists.

Contained? Your framing is wrong. It only needs to be aligned.

Mercury is the venture fund

We should be dreaming bigger. It'll all soon be possible.

They really do, but at single-photon sensitivity stuff just wants to go off. SPADs have a "dark fire" rate when not exposed to any light.

The fraud goes where the money is. It's just the script kiddies who blew up your apache server for the lulz.

Is it though? Compute in LEO can be shredded by a single rocket launch. For a defensible compute base you'd need it at least at GEO where its out of reach of most launch capabilities.

The bill has come due. Who's securing your infra?

Right next to the vac tubes

The governments of the world are not prepared.

Finally someone got to my PR!

Lean has entered the chat

Yeah, that's what cults tend to sound like from the outside.

Robots building robots

Oh I'm sure someone already is nicolo.dev/en/projects/ptx-n…

I know someone who worked at ConnectWise. I'm unsurprised to hear they have massive security vulnerabilities.

And people were already abusing the bugs quietly. For someone worried about ASI exploiting infrastructure, finding and fixing the bugs is the first step! Something that's mathematically true won't become false later just because the user got smarter.

The harness is there to make sure Astra never stops working. The bottleneck is usually me.

Full paper: teague.info/papers/provably-… and a companion paper containing additional proof machinery teague.info/papers/safety-fo… The entire 12-paper sequence can be found at teague.info