Anti-LLM Sentiment Considered Harmful

shinzui: > I only started this discussion because I’m concerned that developers who use coding agents to contribute to the ecosystem may be discouraged from participating. On the other hand, promoting AI in free software communities excludes “AI vegans” who oppose AI use for ethical or environmental reasons. I’m starting to consider myself one. This recently caused a split in the Agda community.