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
Note dynamic typing doesn't mean that the program isn't correct. Often programs are correct, even if the correctness cannot be demonstrated. Of course, as programs evolve, dev's intuition about correctness goes away. Only works as long as you can keep it "in your head".
Yes, that's a good point too, and even I am not too unhappy when I have to work with a tiny program in a dynamic language.
