or just follow me to do the thing that everyone will be doing 1 year later!
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…
32
28
1,216
32,001
the thing I'm cooking right now should be out before February btw
it is 5x cooler than Bend 2
(you know how my deadlines work tho but this time I think it is calibrated)
it is 5x cooler than Bend 2
(you know how my deadlines work tho but this time I think it is calibrated)
Oct 22, 2026 · 11:11 PM UTC
5
0
144
4,826
@VictorTaelin I wish for hvm5. Bend in bend with homoiconicity I would be able to cheap "fork" it and manipulate in superposition and then merge the working branch.
1
0
0
182
@VictorTaelin I may be reading thia wrong, but this gives me the impression Bend2 is not the future
0
0
0
55
