That was so much fun that I missed the bus. Oops. But at least I could fill in the time before the next one implementing primitive types in $special_secret_idris2_plan :).
-
-
Show this thread
-
I suppose I'd better not say anything about this on the Internet though.
Show this thread
End of conversation
New conversation -
-
-
It's three minutes at Waterloo, and apparently many other places.https://uwaterloo.ca/graduate-studies-postdoctoral-affairs/three-minute-thesis …
-
(I can barely clear my throat in three minutes. Ten seems on the edge of possibility.)
- 5 more replies
New conversation -
-
-
I so want to know what he taught you?
-
Not so much teaching, as reminding... It's really tempting to tweet in a meeting but one should remember that sometimes the speaker is being deliberately controversial to make the talk interesting, for example.
- 5 more replies
New conversation -
-
-
This Tweet is unavailable.
-
Meatspace, I'm afraid! Although in the unlikely event you can get to
@StAndrewsBrewCo on North Street that's where we are :) - 2 more replies
-
-
-
I was going to go to this.... then i locked myself in my office.
-
You should present a thing next time!
- 1 more reply
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.