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
Still, keeping in mind the different purposes of math (don't be tied to meaning) and programming languages (be as close to what you mean as you can be while still being understood precisely by the machine) is important.
"Don't be tied to meaning" seems like an anti-goal. A name can have a clear meaning while being abstract. For example, "tape machine" would be a better name than "Turing machine" since "Turing" doesn't tell us anything.
'"Don't be tied to meaning" seems like an anti-goal' Why? That isn't self evident. Like writing an abstraction in code that is too coupled to the first thing or two you use it for. Some pure math concepts should be able to float from meaning to meaning freely.
I also rather think tape machine is an example in my argument's favour. Related to real objects and a specific interpretation that the abstract concept doesn't need to have anything to do with.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
