David Bessis

“David Bessis had a really great blog post called the Fall of the Theorem Economy, where he's talking about this... really the theorem proving stuff is what gets all the credit, but it's like really a parasite on the coming up with the definition and stuff.”