A semi-frequent blog about random things.




December 2025