That was fun! I finally made the new Idris 2 implementation work well enough yesterday, and it got to the end of the talk without falling over. Hurrah!https://twitter.com/dhillerstrom/status/1140651215845564416 …
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
In that picture!
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.