Hacker News new | ask | show | jobs
by cercatrova 1418 days ago
Oftentimes proofs start out very complex but become simpler as time goes on and more people understand it and connect it to other existing ideas.

It is akin to refactoring a codebase after it started as a spaghetti code behemoth.