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?
@whitequark it's nice to think that! maybe so. but I'd be wary about this if I actually wanted types, I mean let's make things good for the humans first
@regehr yea like i said it's not a serious thought yet
@whitequark there have to be solutions to this, maintainers should not have to deal with this bullshit