Edwin BradyHello types.pl!
Edwin Brady
@edwinb
- 24 Followers
- 39 Following
- 430 Posts
CS Lecturer at University of St Andrews. Idris hacker, programming language researcher and developer. He/him.
@roundcrisis Not looking at mastodon enough, apparently :). But otherwise, more or less the same as ever... I'm currently rewriting the Idris core (again) in the hope of doing it right this time (ha ha). How about yourself?
@roundcrisis Hello!
Please excuse the shouting, I've just reached that point in a new implementation of a core language. Tomorrow: The World!
Some days I worry that the Internet knows everything about me. Other days, like today, Netflix tells me I'd enjoy documentaries about Margaret Thatcher and Jimmy Savile.
*washes mouth out*
@shapr Hehe. I just remember I kept falling off...
@shapr Yeah, I'm on that now, just most of the channels I'm on are pretty quiet these days.
@shapr Most of my favourite places to hang about on IRC seem to have moved elsewhere, it's a shame. Maybe I need to go looking for more!
What's fun this year in particular is that it turns out if I spend a few weeks (or more) away, people make it better. This is great! Thanks everyone!