Occasional writing that does not belong on the research page. Most of it is about the practice of doing a Ph.D.: tools I have found useful, and people I owe thanks to.
My Tips for Using Coding Agents
A few practices that make working with coding agents more efficient.