Core #Agda language maintainer punts LLM slop from the project: "As a human being, you should also reject LLM salespeople, and the garbage they dump in our repository, for a variety of social reasons, including basic decency. …It is no coincidence that the logo of every LLM company is a butthole."