"The task of the academic is not to scale great intellectual mountains, but to flatten them." - Conor McBride
I'm not an academic, but it is good advice regardless, and it does capture a perennial interest of mine of finding good languages and perspectives for making complicated things more manageable.
- Mathematics 19.7k 19.7k 11 gold badge1515 silver badges3838 bronze badges
- Computer Science 10.8k 10.8k 11 gold badge2424 silver badges3636 bronze badges
- Software Engineering 5.2k 5.2k 11 gold badge99 silver badges1818 bronze badges
- Stack Overflow 1.9k 1.9k 77 silver badges1111 bronze badges
- The Workplace 790 790 55 silver badges99 bronze badges
- View network profile →
Top network posts
- 63 Is Lambda Calculus purely syntactic?
- 46 Which way are downstream and upstream services?
- 43 What is a batch compiler?
- 32 Why must a function with polymorphic type `forall t: Type, t->t` be the identity function?
- 31 Do we have to prove how parentheses work in the Peano axioms?
- 27 What is the etymology of <*> from Applicative in Haskell?
- 26 Can an infected phone infect other computers in a network?
- View more network posts →