Edwin Brady
edwin.type-driven.org.uk
Edwin Brady
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)

https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Unrelated: Why won't my grading do itself? Perhaps I should ask an LLM so my students can get some plausible looking feedback on an average range of similar assignments without any need for exercising judgement, or my brain. What a time to be alive.
November 10, 2025 at 8:27 PM
Related: until recently I had a YouTube premium subscription, because I wanted to support creators without enduring ads.

I've cancelled because I'm fed up of the AI summaries. I'm not going to fund your planet burning plagiarism machine directly. I'll be looking for other ways to support creators.
November 10, 2025 at 8:22 PM
I hope nobody ever finds out that I apply similar principles to my lectures.

Oops, did I say that out loud?
November 10, 2025 at 8:04 PM
One of my tutorial groups is unusually quiet this semester though. Maybe I should start taking a banjolele along and threatening to use it if they don't engage.
October 31, 2025 at 12:01 AM
Nobody will ever believe me
October 10, 2025 at 2:02 PM
I got as far as Bielefeld at least! Nobody will ever believe me.
October 10, 2025 at 1:58 PM
Also I've just remembered a thing a filker said to me a couple of weeks ago: "I bet your students think you're weird."

I can't argue with that. Probably not for the reasons they think though. I mean, I've never taken a ukulele out in a lecture, but it might be a good thing to threaten...
September 15, 2025 at 4:58 PM
I did have a more heavyweight solution along those lines for a bit, but I have other jobs for the mixer. I have a small gadget that let me plug multiple sources into the speakers now though.

I've never found bluetooth anything other than frustrating. Plugging things into things is so much better.
September 13, 2025 at 11:17 PM