65 followers106 following
Developer of OCamlot. OCaml Hacker, Emacs Developer, PL Researcher.
1

Feel like I'm starting to break out of my seasonal(?) slump --- I had just finished and wrapped up several large projects and the sudden loss of momentum has made it very hard to start working on other things, because they all require too much buy-in to get the kind of results that I want.

However, I've now started to get an inkling at a new project to work on, and I'm starting to feel that same old excitement build up.... Will update soon!

Hohoho! Got a bunch of writing done this weekend and wrote not one, but two blog posts! The one I'm most glad to get done is the one about how I wrote this very server: https://gopiandcode.uk/logs/log-writing-activitypub.html

do they also have an equivalent to the UK's big brother 1984 "we're watching you" adverts? Still remember getting threatening emails every few months from the licensing company back in undergrad, even though I didn't even have a TV where I was staying.

Attached image 0

Monty trolley problem: A trolley is running towards an intersection which splits into three tunnels which may contain people; you know that two of the tunnels contain a person and the remaining one is empty. After seeing someone in one of the tunnels that the trolley will not hit, do you switch the tracks of the trolley?

aaaahhhrrr, it's one of those days again, I want to code, but I can't bring myself to do anything...

Morning!

tfw no neurotypical industry

Congrats!

Counterpoint: It could be that with the prevalence of AI and ChatGPT, education is going to become more exam-focused than before, and place less focus on course-work based assessment.