Something or other, whatever!

Christian Lawson-Perfect's homepage


Lean Blockly

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


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.

A quiz in Elm

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.

Traffic thingy

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?


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.