My own writing and stuff is at https://home.jdblair.org