Coq theorem prover is now called Rocq

Party pooper. We have so few opportunities to be silly on HN. Plus it’s good advertisement for what would otherwise be an obscure piece of software. You can’t deny it would be much less known.

I’m not saying it was a good idea, just an oddity. There was no need to curb stomp it with a public declaration of nuisance.

Oh well. Hey, thanks for the whiskey slap. I still think about it fondly.

As a non-anglophone myself, I hate the fact that we have given one language so much power to dictate how every other country and language should name things. You will never find an American company changing the name of their product in the US because it sounds naughty in French. Yet here we are, a group of francophones feeling pressure to change their product's name for anglophones' sake.

Well yes, HN people being childish about genitalia is one thing, but ridiculous French naming schemes are another. In the french finite element package code_aster there were 2 different variables named coq_massif and massif_coq, which in the context of finite element translates to "solid beam", but seriously? I realize I'm on thin ice, dabbling in national stereotypes, but in my experience French software developers absolutely suck at naming things.

standup> My coq experiments are promising, but it feels a little harder than it should be, and I'm worried it'll be too slow to deliver without some training and long practice sessions.

The name sounded like Cock.

Because U.S. English is everything, and people want it that way, and any concern about cultural imperialism that would immediately be brought up in any other context magically doesn’t apply when Americans could possibly be offended. Everyone else has to adapt, no matter their mother tongue.

Meanwhile the world’s most common VCS’s name is literally an abuse (not a misspelling of one), but only outside the US so nobody cares.

The linked community survey suggests that a plurality of votes were in favour, which would explain it: https://discourse.rocq-prover.org/t/coq-community-survey-202...