Max von Hippel

Karma: 267

Can you hear the shape of a Lean soundness bug? A wager.

Max von Hippel and Thomas R. Murrills

10 Sep 2026 17:24 UTC

37 points

2 comments16 min readLW link

Funding Formal Methods for the Cyberpocalypse

Max von Hippel18 Aug 2026 16:45 UTC

22 points

8 comments9 min readLW link

Your software should build itself

Max von Hippel25 Jul 2026 19:46 UTC

9 points

2 comments7 min readLW link

How to Solve Secure Program Synthesis

Max von Hippel, Simon Henniger, miyazono and Quinn

30 Mar 2026 20:12 UTC

24 points

0 comments11 min readLW link

The Scalable Formal Oversight Research Program

Max von Hippel22 Feb 2026 22:40 UTC

36 points

7 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

103 points

11 comments7 min readLW link