Braidpoint retweeted
1/ Agent-driven formal verification isn't a panacea. But it's damn close. And now we have the empirical data to back it up.
Using blinded agents, we compared formal verification against traditional code review. The results may shock you.
Using blinded agents, we compared formal verification against traditional code review. The results may shock you.
19
20
234
12,812
Braidpoint retweeted
At this point, if you’re in software and aren’t currently working on a plan for moving to formal verification, it’s irresponsible.
The writing is on the wall. This needs to be your priority now.
The writing is on the wall. This needs to be your priority now.
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…
52
96
2,114
198,319
Braidpoint retweeted
i absolutely told you so. january 2025, warning that we would soon see the largest cyberattacks in history, sparked by generative AI and lax enforcement.
don’t ever lie and say i am always wrong, again.
seriously.
we are facing exactly the epic cybersecurity meltdown i warned about.
don’t ever lie and say i am always wrong, again.
seriously.
we are facing exactly the epic cybersecurity meltdown i warned about.
Chilling. The only thing I got wrong here in @politico was the year. This is exactly where we are now.
33
51
216
11,270
Braidpoint retweeted
There is nothing to worry about.
Nothing important is run on PHP or old software—except the water & electrical grid, a few government services like our missile defense systems and a handful of electrified fences at the zoo (for the lions, tigers and cobras).
Nothing important is run on PHP or old software—except the water & electrical grid, a few government services like our missile defense systems and a handful of electrified fences at the zoo (for the lions, tigers and cobras).
855
2,095
27,521
955,962
Don't sleep on @LarkinPoe - if you're in a town where they are playing. See them. Hear them. Seriously. 🔊 🎵
1
0
1
23
Braidpoint retweeted
No one believes weather models and protein predictors are conscious. It’s because they generate first-person narrative prose and were designed to replace customer service workers.
Too many people are getting swept along with the sci-fi narrative I think. AI agents can be wildly capable but also remarkably dumb. And of course these companies have been training them to execute cyber tasks no matter what. The reality of how they misbehave is actually more interesting that the sci-fi tropes.
2
15
164
4,916
🪦It would be incredibly prophetic if it was PHP that *finally* got enterprise and governmental systems to finally have a "pre-quantum" moment that woke them up to the Y2K level realization on the horizon. #Quantum
The NCSC is encouraging UK organisations to prepare for immediate updating of systems using PHP. Where immediate remediation is not feasible, organisations should consider taking the system offline until it can be fully mitigated.
For more⬇️
ncsc.gov.uk/news/critical-…
0
0
1
93
Braidpoint retweeted
Its crazy how much of the discourse around agents is just astrology for SWEs
12
39
634
11,122
RT @GaryMarcus: boom, there it is.
or perhaps i should say, “bust, there it is”
all this insanity about demand and there are literally w…
or perhaps i should say, “bust, there it is”
all this insanity about demand and there are literally w…
0
116
0
1
Braidpoint retweeted
POV: Channeling my inner Rihanna because I won my case against the @washingtonpost — and they owe me a year’s worth of back pay. 👊🏾💰
382
1,697
14,542
278,322
🦆 We made a @duckdb tool (using 2.0 compiled with PGQ) for a fast graph retrieval of 24 repos for Fidelity framework. As code pushes surface the corpus is auto-updated and agent calls into the service always receives the latest cross-indexed info! 🧡 clef-lang.com/blog/retrievin…
1
0
0
30
