Unironically the best way to learn higher math is to just do more of it. The more proofs you see and understand the easier it is to deal with more complex probl

Unironically the best way to learn higher math is to just do more of it. The more proofs you see and understand the easier it is to deal with more complex problems and the larger arsenal you have at your disposal. Same for code. But the key, I think, is that you have to try new things, which also includes deliberately attempting to improve what you already have via new approaches. Avoiding uncomfortable situations e.g. during synthesis, is not going to help you learn anything as there's nothing to learn, at best you learn to type or write faster. It has to be deliberate, and you need to be relentless in the pursuit.