The only reason US companies aren’t using open weight bottles is due to restrictions and fears of malicious weights.
On top of all the cybersecurity crap that’s happening right now, I think weight checking is going to be a huge industry.
Ty retweeted
I remember the anti-AI Reddit cope at the start of vibe coding “in 12 months they’ll scramble to hire senior devs to fix the mess!!”
Well turns out you’re the one that left a mess that we can now fix
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Ty retweeted
A bit late but good that you realised it.
Can we all admit now that Astra was crazy overhyped?
We should treat every release with skepticism until there’s been 2+ weeks of using it.
Ty retweeted
Everyone: "Vibe coding is causing all these security bugs"
Reality: PHP, Node, Linux kernel, GitLab. All hand-written code by humans, some of it 20 years old.
AI isn't creating the slop. It's finding it 🫠
Ty retweeted
The only thing that stops a bad guy with an abliterated LLM is a good guy with an abliterated LLM.
