.@SenJohnKennedy wants AI models to have a “kill switch.” The Louisiana Republican says he plans to introduce a bill Wednesday requiring companies to be able to shut their models down if they move beyond human control. (1/3)

Adding this to AGENTS.md

for some reason, many smart folks seems to be kinda sleeping on Bend (??). so I want to give my take as to why this is so good. Bend 2 is basically a software factory language. the issue with models is that they will fuck up for your stuff without telling you, and in general cannot be trusted blind, thus making the "software factory" not super viable in practice. Bend acts as basically a replacement for what a .md does in a software factory. it defines the objectives and then it is up to the model to figure out the impl. you dont need to look at the impl because it is formally verified by the end of it. It's the whole point. YOU DONT NEED TO LOOK AT THE FINAL IMPL ANYMORE, THIS IS THE IMPORTANT PART. this is also why it is superior to lean. you can write the shittiest laws known to man in the most shitty and inneficient way possible and the final code will still be as performant as it can get within Bend's bounds. while disregarding concurrency and all that other annoying stuff.

We Must Pace the Frontier: I’ve written a new essay on why the AI industry should slow down, with a three-part plan for doing so. Anthropic is unilaterally committing to the first of these steps. We’ll provide third-party evaluators with permanent, employee-level access to our systems, so that they can verify adherence to our safety measures, report on incidents, and assess models’ alignment during training. You can read the full post here: darioamodei.com/post/we-must…

Mind boggling to me that I can make a thing faster and there's always people that ask "but why?" What kind of mentality is that? The pursuit of excellence does not need justification. Also, I find in so many cases, we can't know the impact of an improvement until we do it. For example, one I've talked about before: Ghostty's high IO throughput has enabled terminal program (emulator and TUI) fuzzing at a speed thats incomparably fast to prior solutions. This has resulted in upstream patches to resolve issues in popular projects like btop, tmux, and more. Speed enabled that anecdotally example that lifted the tides of adjacent communities that don't rely on Ghostty technology at all. I didn't predict this. Make things better because they can be better and let the results naturally play out.