Next time someone says that we need safer programming languages because bugs in critical systems could kill people... (Mechanizing Proof https://mitpress.mit.edu/books/mechanizing-proof …)pic.twitter.com/Vi7TZ3HDOU
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
For a GUI, you can check color contrast, absolute and relative sizes of fonts and text or graphical elements, etc. — make sure that all information is visible or scrollable, that there is no blinking or any change too rapid or out of the user's control, etc.