Dear olds, Remember to make friends with the youngs, even if you can't stand them. Eventually you are going to be really old and everyone your age will be dead and you'll need those youngs friends to keep you from sitting in your own filth and to keep you from starving to death.
-
Show this thread
-
Replying to @SeanTAllen
While true, this is possibly one of the most cringeworthy things I can do as a lecturer, so obviously I'm going to keep doing it anyway.
1 reply 0 retweets 2 likes -
Replying to @edwinbrady @SeanTAllen
Step one: Make people do N dimensional matrices, in Java, with double linked lists.
1 reply 0 retweets 0 likes -
Replying to @_m_b_j_ @SeanTAllen
We used to get our students to transpose nested linked lists, but we eventually realised that was too evil... Or, more accurately, that we had to grade it too.
1 reply 0 retweets 1 like -
Replying to @edwinbrady @SeanTAllen
I was referring to this, you told us on the first Idris meetup I attended.
1 reply 0 retweets 0 likes -
-
Replying to @edwinbrady @SeanTAllen
BTW you are still planning the idris internals workshop?
1 reply 0 retweets 0 likes -
Replying to @_m_b_j_ @SeanTAllen
It's going to happen after I've hired someone for this: https://www.vacancies.st-andrews.ac.uk/Vacancies/W/6438/0/250507/889/research-fellow-ar2286sb … Also taking into account a need to give people enough notice for travel. Hopefully February-ish.
1 reply 1 retweet 1 like -
still February-ish? :D
1 reply 0 retweets 1 like
I'll announce it when it's going to happen, don't worry... the project starts in April.
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.