Recent impacts on the universe:

Using MathML and MathJAX (smart JS library) to display statements for my theorem prover (30 Jul 2016)

Got a long way into One Way: The Elevator from Cotton Game before running out of steam (27 Jul 2026)

Switched from Barclays to Monzo in quest to be more able to download transactions as machine readable files (22/7/2026)

Enjoyed watching Human Vapor on Netflix (17/7/2026)

Backed Kickstarter for Geneforge 3 - Detonation (14/7/2026)

Visited the very rewarding Lego House on a cruise to Denmark (12/6/2026)

Saw the spectacularly spectacular Machu Picchu on a holiday in Peru (12/6/2026)