← Back to context

Comment by didibus

1 day ago

> Leetcode mostly relies on memorizing patterns

Math is like that as well though. It's about learning all the prior axioms, laws, knowing allowed simplifications, and so on.

In the same way that writing and performing a new song is "just memorizing prior patterns and law"

or that writing a new book is the same.

I.e. it's not about that. Like sure it helps to have a base set of shared language, knowledge, and symbols, but math is so much more than just that.

  • Programming competition problems are also much more than just memorizing patterns, that was the point of his post.

In math, you usually need to prove said simplifications. So just memorizing is not enough. As you get more advanced, you then start swapping out axioms.

  • In programming the simplifications has to be correct even if you don't prove them, and being correct isn't that easy.

    • Pedantic: how do you know something is correct without proving it? How do you know you have covered all possible edge cases? /Pedantic

      In all seriousness, the intersection between correctness and project delivery is where engineering sits. Solutions must be good enough, correct enough, and cheap enough to fit the use case, but ideally no more than that.