Posts from '2025'
Debugging fish shell slow exit when command fails
With the help of https://fishshell.com/docs/current/prompt.html ls .ll # if `.ll` does not exist, this is super slow to exit # similarly any other failing command does the same fish --no-config # verified that in a new terminal, slow exit ... read more →
Saddling a new mac in 2025
Notes on setting up a new mac laptop in 2025. The new hotness: system specs Setup trackpad click and right click capslock -> ctrl keyboard settings: turn off . after double space set default browser Chrome, default search engine DuckDuckGo T ... read more →
Setting up a home git server
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 →
7-bit ASCII Math
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's Supertask
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 →