Notes

Shorter and rougher than a full post — TILs, quick observations, things worth writing down but not fleshing out.