News for hackers. Stuff that matters.

A comment on Renaming Coq. Parent comment

Re:Renaming Coq by Blaisorblade0 on Thursday April 08, 2021 @10:09PM (#26746014)
Coq’s name _was_ meant to be offensive to English speakers. And the team does want to avoid names that are offensive in other languages, as EVERYBODY does when choosing international brand names.
[ Parent | on HN ]
Re:Renaming Coq by enriquto on Friday April 09, 2021 @12:08PM (#26752332)
> avoid names that are offensive in other languages, EVERYBODY does when choosing international brand names.

This is simply not true. There's plenty of commonly used English names that are offensive in other languages.

[ Parent | on HN ]