John RegehrI'm fundamentally a tool builder, and LLM coding agents work one million times better if you give them good tools, and I wrote a thing about this
✧✦Catherine✦✧@regehr meanwhile i'm reconsidering the kinds of tools i'm building. if i don't add types to my project it will result in fewer slop submissions => maybe i should do that?
@regehr to be clear, the answer i have so far is "definitely no" but it's not a question i ever anticipated seriously contemplating