HNHacker News
TopNewBestAskShowJobs

glaringxc

4 karma · joined April 8, 2021

submissionscomments
glaringxc··on Renaming Coq
"Testimonies from people who experienced harassment or awkward situations ..."

These re-namings always follow the same pattern. Some professionally oppressed people contact a project, provide mostly secret evidence to members of the project's progressive faction.

After the re-naming they are never heard of again.

Coq isn't pronounced like "cock" at all by the French. As a first crude approximation, it is more like "coke".

In the Oxford dictionary, "cock" means "a male bird, esp. a male domestic fowl". There's cockroach, cockpit, cockney ...

So U.S. cultural imperialism wins again.

I'm saying this as a person who had problems with the NNTP "suck" program, so I do understand aversions to names, if they are legitimate.