newsletter update

[Quinn Dougherty]

hey friends,

the mailing list has been pretty dead, but I thought i'd let yall know:

- I'm migrating my efforts away from "GSAI" branding. The newsletter is now called "Can We Secure AI with Formal Methods?", but remains largely similar. 

- the new url is `newsletter.for-all.dev`, but `gsai.substack.com` will redirect to it so nothing should break. 

here's what i wrote in the first post-rebrand issue: 

Additionally, I moved to DC and am running the local AI security reading group. Email `qu...@for-all.dev` if you'd like to be onboarded (no virtual, only meatspace in DC). Defensive acceleration and formal methods forms like 15% of the curatorial agenda of this reading group, we're also talking about flexhegs, redwood-style control, anything SL5 related, etc. 

As always, let me know how I can help

Quinn