x
This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
LESSWRONG
LW
Login
Secure Program Synthesis — LessWrong
Secure Program Synthesis
As GWL (
Gross World LoC
) goes up, it'd be great for any of that code to be any good
32
Beliefs about formal methods and AI safety
Quinn
7mo
1
19
Can you just vibe vulnerabilities?
Max von Hippel
4mo
5
357
AI found 12 of 12 OpenSSL zero-days (while curl cancelled its bug bounty)
Stanislav Fort
3mo
24
102
Lies, Damned Lies, and Proofs: Formal Methods are not Slopless
Quinn
,
Max von Hippel
4mo
9
33
The Scalable Formal Oversight Research Program
Max von Hippel
3mo
3
23
How to Solve Secure Program Synthesis
Max von Hippel
,
Simon Henniger
,
Quinn Dougherty
,
miyazono
1mo
0
71
Claude Mythos #2: Cybersecurity and Project Glasswing
Zvi
1mo
11