@amy I don't care about the Agda policy (I don't use Agda) but I also don't agree with you in general, and overreacting comments like this one go deeply against my beliefs about how science should be conducted.

I've been posting positive (and negative) stuff about LLM's over the past few months. You should probably block me based on this criteria. No harm in that, but I've also laid out my opinions about using LLM's which I think would make my position on this topic known.

I make an effort to CW these posts for people who want to filter LLM's out of their social media feeds. I'm now curious if you knew of this at all?