Max von Hippel (@maxvonhippel)

There's been a lot of chatter recently on HN and LW about how formal verification is the obvious use-case for AI. While I broadly agree, I think much of the discourse is kinda wrong because it incorrectly presumes formal = slopless. 🧵...