Max von Hippel

Karma: 192

How to Solve Secure Program Synthesis

Max von Hippel, Simon Henniger, miyazono and Quinn

30 Mar 2026 20:12 UTC

23 points

0 comments11 min readLW link

The Scalable Formal Oversight Research Program

Max von Hippel22 Feb 2026 22:40 UTC

34 points

5 comments9 min readLW link

Can you just vibe vulnerabilities?

Max von Hippel26 Jan 2026 3:07 UTC

19 points

5 comments5 min readLW link

Lies, Damned Lies, and Proofs: Formal Methods are not Slopless

Quinn and Max von Hippel

12 Jan 2026 22:32 UTC

102 points

11 comments7 min readLW link