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.
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*
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!
I'm doing some Idris programming. It's fun. I wonder why I've never tried this before.
(It's possible that I say this at about this time every year.)
My inbox tomorrow is going to be exciting, I'm sure...
I don't come here much right now, and I know there are more important things in the world right now, but still... The main thing I've learned from striking the last couple of weeks is that I really need to take time off work more often...
I don't normally share these, but apparently I have some kind of special magical power today. I promise to use it wisely.
Wordle 214 2/6
⬛🟨⬛⬛⬛
🟩🟩🟩🟩🟩