About

This is a personal notebook kept in public, updated whenever something is worth writing down. It is a static site: no database, no analytics, no newsletter.

Everything here is written for my own future reference. If it happens to be useful to someone else, that is a pleasant side effect rather than the goal.