Similarly, this week I'd rather be working on a grant and hacking on Idris 2. But when @UniversitiesUK take us for granted, we have to fight.https://twitter.com/millerdl/status/968167172836077569 …
-
Show this thread
-
(It occurs to me that I haven't explicitly said I'm hacking on an attempt at Idris 2 before now, although it may have been obvious to some... Except of course that I'm not, right now.)
2 replies 2 retweets 17 likesShow this thread -
My brain isn't very good at switching off, apparently. Can anyone recommend a book I should have read but haven't? Been reading Pratchett, Gaiman, Stross, lately. So like that but by someone else...
19 replies 0 retweets 6 likesShow this thread -
Replying to @thompson_si
Will investigate, thanks!
10:42 AM - 26 Feb 2018
0 replies
0 retweets
0 likes
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.