I want to keep doing this (and at least I hope students want me to keep doing this!). Also, it's doing this that allows me to have fun hacking on Idris :).
-
Show this thread
-
But I'm not going to be able to retire on the nice warm glow I get from student success. This is why I'm ranting about
#USSstrike.2 replies 3 retweets 20 likesShow this thread -
The
#USSstrike isn't about me or any other individual. If we give up, it's higher education in the UK as a whole that suffers. We need highly motivated staff who care about their field.1 reply 7 retweets 23 likesShow this thread -
Anyway. Sorry about all the strike related ranting. We're back at work on Friday. I promise an exciting dependent types related tweet then to make up for my current grumpiness :).
2 replies 0 retweets 17 likesShow this thread -
Replying to @edwinbrady
We're rooting for you from across the ocean :) don't even worry about it
1 reply 1 retweet 5 likes -
Replying to @strega_nil
I'm not worrying, I just don't want to be more boring than usual for too long :)
1 reply 0 retweets 2 likes -
-
Replying to @d_christiansen
Oh there is. I have hacking I want to do! But if it benefits the university in any way, I'll read a book instead
1 reply 0 retweets 3 likes -
Replying to @edwinbrady @d_christiansen
I'd forgotten how much I enjoyed reading books...
1 reply 0 retweets 6 likes -
From last week's recommendations I've been reading China Mieville and a bit more Magnus Mills. Ann Leckie lined up next. I've decided I really like China Mieville.
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.