There's something oddly satisfying about making slow code run faster. This thing (some code with lots of type level computation) took 14 minutes to typecheck in Idris2 two days ago...pic.twitter.com/nNpNonUZOx
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
speaking of system calls...https://mobile.twitter.com/cpuGoogle/status/1254178356322398208 …
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.