Ding Ding! @edwinbrady @larsr_h et alpic.twitter.com/7p6snXdWi3
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
Indeed. Go down one step of the ladder to GADTs and you see how much they are used in Haskell and OCaml.
I am also looking at theorem proving for game AI, and it should be feasible at least as an offline tool.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.