Firstly, I think that most people subliminally discount the content of a comment if the writer has poor English language skills. ChatGPT mostly produces correct English (better than many people I know), even if the style is boring.
Using ChatGPT as a teaching aide makes perfect sense to me.
Edit: I find it interesting that the replies are so negatively snarky. Now I have to doubt myself: was I was subconsciously being snarky? How do I become more helpful? How do I discourage selecting for snarky replies? One non-judgemental and helpful resource I will use will be to ask for help from ChatGPT, ironically enough, as soon as it returns from being presently offline!
For your specific post, I don't think grammar corrections do that well on HN in the first place - at best break even. I don't think they are usually actively flagged though. I don't personally care about grammar as long as I understand the point - but I generally don't downvote grammar corrections, they usually fall to the bottom anyways.
I would guess the extra adverse reaction to it was due to the over-abundance of ChatGPT everywhere and it invading every comment thread.
Beyond that, while its not exactly what you said, the idea of everyone who doesn't have perfect grammar filtering their thoughts through ChatGPT sounds a bit dystopian.
Dystopian? Only if some dark social pressure forced us all to do it, a là Black Mirror. We accept language translation tools, and I see this as similarly useful for anybody who doesn't speak English natively. English is my first language, and it works better than googling for a wide variety of language tasks, and zero adverts!
Zardoz84 seemed to be learning English, and ChatGPT used intelligently can help the autodidact: certainly cheaper and probably far better than many professionals would I think (I loathe traditional language teaching methods).
Maybe the type of person to read a gaming thread is more likely to be immured in 4chan style communications, and be sensitive to sarcasm and snark? Mr GPT said (slightly edited) "Users may say that the reply was snarky because it comes across as condescending and critical of the original comment, suggesting that the writer needs to improve their written English. Additionally, the suggestion to avoid the words "fun" and "funny" may be seen as overly prescriptive and dismissive of the writer's language choices.". Fair call, well said Mr GPT.