← Back to context

Comment by neprotivo

4 months ago

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

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

Which incidentally is how programming in Haskell feels like

  • 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.

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

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.