Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
Is there a version of math with better names for things? Imagine if we had "Naur loop" and "Hoare loop" instead of "for loop" and "while loop." Yet we have Cauchy–Schwarz inequality, Kullback–Leibler divergence, Euler's formula, ...
Picking good names is a crucial tool for thought. A good name communicates or reminds you of the idea underneath an abstraction. Naming something after a person is the 2nd laziest form of naming. First is "Type 1" and "Type 2" error, the dumbest naming scheme ever invented.
Extended thoughts. Naming conventions that need to die: http://willcrichton.net/notes/naming-conventions-that-need-to-die/ …
Agree with your main point, although "for" isn't such a great name, either!
Maybe that shows how little the actual name matters after all — with/have/let/take/... would have been equally arbitrary and equally adequate, but we are used to "for". (Which is used instead of "while" in Go BTW.)
Imagine if we had to name logical variables after a logician or something... 
Seriously, though, naming after a discoverer/inventor seems like an important incentive. But after some time I think we are all better served with descriptive names.https://twitter.com/MaineFrameworks/status/956942604163219458 …
When you find that version of math, can you pls export it's version of ochem? Having to remember the names of a bunch of old men in order to describe reactions kinda' sucks.
Omg! We even have units like milli-Henry, micro-Farad, or mega-Ohm.pic.twitter.com/c1lZQn2SKi
The Arnold Principle: If a notion bears a personal name, then this name is not the name of the discoverer.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
