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/ …
What's in a name? A lot, actually, when the name is esp., for a new idea/concept.
My favorite are the separation axioms in topology, where they had T1, T2, T3, but then they discovered a new one they had to name T2 1/2
Yeah, especially Since we all know that should be Type-0, Type-1
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
