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
CakeML has several. :)
As the name suggests :)
Sir De Bruijn approves this tweet.
As the person who wrote the codebase that used to type-check in 14min and now typechecks in 1.30min, I am grateful for the personal attention.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.