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 @edwinbrady
I just read the lathe of heaven and it is really good, if you like PKD, this is along those lines tho a differnt author
1 reply 0 retweets 1 like -
Replying to @silverSpoon
I do like PKD. I'll add that to my list (which is now getting very long... tomorrow after the picket I will be off to the book shop I think...)
1 reply 0 retweets 0 likes -
-
-
Replying to @edwinbrady
it's good to keep track of books you read and your friends are reading
2 replies 0 retweets 0 likes -
Replying to @silverSpoon @edwinbrady
Hey we should be goodreads friends (both of you)!
2 replies 0 retweets 1 like
I've just signed up...
-
-
-
Replying to @lenary
I haven't got as far as learning how to have friends yet ...
1 reply 0 retweets 0 likes - 4 more replies
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.