These are notes to my future self about setting up a home git server. The goal is to self-host a git server for personal projects, fun, and backing up all my git repos currently hosted on GitHub. Infrastructure Intel NUC, Core i5, 16GB Proxmox 9.0 a ... read more →

Advice for students Here is some good advice about writing mathematics in plain text. LaTeX and client or server side rendering tools for the web are nice, but they're also heavy dependencies. Sometimes text is all you need. Writing Mathematics in Pl ... read more →

Ross-Littlewood Paradox Ross has a vase. Littlewood has many small balls; one for each natural number 1, 2, 3, ... Littlewood first drops balls 1, 2, ... 10 into the vase. Ross does not like that. The incident triggers the following game to start. In ... read more →