Hacker News new | ask | show | jobs
by xelxebar 382 days ago
It's actually an interesting observation. If you know where your keys are, finding them is trivial, but if you don't, then even the refrigerator becomes plausible.

Math does feel like that a lot of the time. Once you've tree-searched proof space and found the connection, you can usually spend way less time proving it the next time around.