Short notes I keep for myself, mostly so I stop re-solving the same small problems every few months. Nothing here is advice.