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
I would say programs which don't crash. But no crashing and correctness are different things. You can have bulletproof program which works badly and has invalid logic implemented. Such program is not correct.
Sorry, I was using the specific meaning of "correctness" of "correct with respect to its specification" and that specification is given by the types. That's basically what you described as "doesn't crash". It says nothing about correctness with respect to the customer's intent.
Can a dynamic program be both intent correct and spec incorrect?
Only if the spec doesn't reflect intent, I suppose...
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
