I've been putting some effort into making the startup cost of Idris cheap. This is weirdly pleasing.pic.twitter.com/VDBXB5Eedx
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
maybe new idris empties the stdin sooner?
From the bash docs, if you still need convincing: "If the time reserved word precedes a pipeline, the elapsed as well as user and system time consumed by its execution are reported when the pipeline terminates."
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.