Something or other, whatever!

I thought it might be fun to make a text adventure game where you navigate by writing CSS selectors. If you write a selector that matches exactly one element, it's shown.

The idea was to make a puzzle out of directing tokens along a train track diagram. I got as far as trying it with arithmetic operations and didn't really like it. Something with generic symbols and some restriction on the order they go through vertices might work better, but would be work.

I thought it'd be nice to make a game out of connecting different places with roads and building things. I couldn't decide how much resource management was fun.

I wanted to make a game where you have to think a bit, but not too much.

I'm working on writing display code for Numbas in Elm. This page shows a demo exam.

I had a thought about using Blockly to construct proofs, which would be translated to Lean code for evaluation.

A tool I made to help quickly categorise all the things in my Interesting Esoterica collection.

I had an idea about a way of modelling intervals of time and doing arithmetic with them, prompted by the question of what 'one month from now' means. It didn't really work.

I wondered how much work it would be to write a quiz system like Numbas, in Elm. The hardest part was thinking about randomising, because I didn't have a good understanding of how Elm's randomisation works.

A little tool to help Cushing try out the birthday problem with cars - how many cars should you expect to drive past before having a 50% chance of seeing the same string of final 3 letters twice?

I wanted to make interactive demonstrations of some codes and ciphers. I only got as far as doing the Caesar Cipher.

Stuff produced during the PhD I gave up on. I was supposed to be looking at computability of products of groups.

I'd just read Candide, I was full of big ideas, I thought I'd make a game about all of that. I didn't get far.