Derek Elkins left SE
I've decided to permanently stop contributing to all Stack Exchange sites as of 30 September 2019. I give more details here. The high-level reason is over the course of the last two years it has become completely apparent that Stack Exchange no longer sees its community as a partner. That means Stack Exchange is simply an exploiter of that community, and, worse, one that it treats with contempt.
It is commonly pointed out that contributions help people other than Stack Exchange too. I agree, and contributions in other venues and on other platforms will help people too. At this point, I don't think anyone should be contributing to Stack Exchange. If people arrive here with good questions and fail to get answers, they will simply move on to alternative platforms which is exactly what I'd want them to do.
It is possible for Stack Exchange to regain most of the trust lost, but that process is one of years from when they start the process, if they ever do. By that point, however, I will have quite thoroughly moved on.
"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 21.4k 21.4k 11 gold badge1717 silver badges4040 bronze badges
- Computer Science 11.3k 11.3k 11 gold badge2424 silver badges4040 bronze badges
- Software Engineering 5.5k 5.5k 11 gold badge1010 silver badges1919 bronze badges
- Stack Overflow 1.9k 1.9k 88 silver badges1212 bronze badges
- The Workplace 790 790 55 silver badges1010 bronze badges
- View network profile →
Top network posts
- 63 Is Lambda Calculus purely syntactic?
- 60 Which way are downstream and upstream services?
- 43 What is a batch compiler?
- 33 Do we have to prove how parentheses work in the Peano axioms?
- 32 Why must a function with polymorphic type `forall t: Type, t->t` be the identity function?
- 30 Are category-theory and set-theory on the equal foundational footing?
- 27 What is the etymology of <*> from Applicative in Haskell?
- View more network posts →