[neprotivo]

This approach of solving a problem by building a low-perplexity path towards the solution reminds me of Grothendieck's approach towards solving complex mathematical problems - you gradually build a theory which eventually makes the problem obvious.

https://ncatlab.org/nlab/show/The+Rising+Sea

[nextaccountic]

> you gradually build a theory which eventually makes the problem obvious.

Which incidentally is how programming in Haskell feels like

[bonesss]

“A good engineer will solve your problem in 5 days. A great engineer will spend 3 days figuring out how to solve it in 2.”

[habitue]

...and will also have a deeper understanding of the problem that will help solving other problems down the line?

[orbifold]

what is striking to me is how far reasoning by analogy and generalization can get you. some of the deepest theorems are about relating disparate things by analogy.