3 ms·

> When you try to write the algorithm, you're going to be reminded of its meaning, fast. Exactly, and forced to replace implicit assumptions with explicit inst

> When you try to write the algorithm, you're going to be reminded of its meaning, fast. Exactly, and forced to replace implicit assumptions with explicit instructions to make it work.

btilly 14y ago
But that said, what about pure existence proofs? There are algorithms that we can prove exist, but we have no idea how to find them.
- gnaritas 14y ago
  The programming is a tool to aid learning, not replace all the other tools at your disposal. Use it when it helps.