We are at Security Armageddon now. A large part of internet is affect in some way today, lots of older software vulnerabilities are coming out and through those more software is getting exploited. PHP systems like Wordpress power a big part of content websites. Malicious TLS certificates especially affect basic services and older codebases. Plus node.js, plus LiteLLM, etc etc. Uncensored models are becoming a key to enable security defenses to keep up. Formal verification allows to improve on how things are verified but still requires smart models to translate between systems and make sure formalizations are correct. We also really need to transition to models that involve cryptography where right now API keys and access tokens are used. Hosting platforms that can secure the software even from platform itself. Meanwhile, update, patch, rotate.