I generally try to only be positive on twitter these days (because somebody has to!) so: Thanks @ScotRail for giving me more time to debug the Idris 2 unification algorithm this evening!
(It was a pretty embarrassing bug, I'm sure I'll share the details some time :))https://twitter.com/edwinbrady/status/1081340213815885824 …
It's generally fine as long as I don't try to get somewhere by train. Or read the news.
-
-
News is bad for you. I always refer to this when the subject comes up:https://www.theguardian.com/media/2013/apr/12/news-is-bad-rolf-dobelli …
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.