I'm considering moving weeknotes to Wednesday seeing as it seems to be easier to release these then.
Anyway, this week was good, except for a family health scare that was emotionally debilitating. Fortunately,
things are looking better now.
Ducklings on the way to work.
My student Xin Lu is also making good progress on figuring out a formalised calculus for debugging, and my
student Kai Phan has been learning about topological foundations of epistemology that seem to have lots of connection
to our work. I've also begun regularly singing Wilbye madrigals with a group of work colleagues, which is a lot of fun.
Along with the sad realisation that an LLM could probably have done this in an hour, I finally got the motivation to finish off a side project of mine.
I've released my first game for the nifty Playdate console,
which is a port of a very old Python game jam winner that I got addicted to in 2008, Trip on the Funny Boat.
It's mor or less a direct port of the original Python 2 game to Playdate Lua, but I did add additional modes with an aimable cannon (by turning the crank).
If you have a Playdate, give it a go by downloading it from my itch page and sideloading. I hope it can be released on the Catalog as well.
This morning at All Saints Ainslie I sang Ralph Vaughan William's The Call, solo with Jonathan Lee accompanying on organ. The link is to the livestream recording.