“Lies, Damned Lies, and Proofs: Formal Methods are not Slopless” by Quinn, Max von Hippel | LessWrong (30+ Karma) | Podwise