Asriel on Mythryl: “I feel like every time I work on something novel, Anthropic or…”

@asriel.camora.dev

I feel like every time I work on something novel, Anthropic or someone else makes a blog post talking about it a month later. It happened with RE-ing video games and now with formal verification

John David Pressman@jdp.extropian.net

It begins. www.anthropic.com/research/for...

anthropic.comLLMs are making formal software verification feasible at a much larger scaleClaude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

23/10/26, 5:48 am0 reposts2 likes

Post