I was told that the name of Coq was a bit of French revenge, because the word bit(e) has the same meaning in French as cock does in English.
So, as English computer scientists compelled their French colleagues to be vulgar when discussing computers, the French thought they might return the favor!
Interesting, and that's reflected in the alternative names discussion [1]:
> Using the "coke" pronunciation, possibly written "Côq"
Because Côq is an extremely addictive tool. In French, it would be pronounced with a closed "o" reminiscent of the "o" of "coke" in English. Good for those fond of playing with words, oh geez, these lines of high quality Côq made me so happy.
>Coq also happens to sound like "cock," which while it means both "a male rooster" and "to tilt," can be used informally to refer to the male anatomy. And for some people, that deters community participation.
So, they change a perfectly valid french name, lest they annoy American puritanism...
This is reductive. Programming languages, for better or worse, are almost 100% in English. Having such a word as its name is not helpful to the project.
Heck, early version of basic for windows had translated function names. I dont know if MSFT is crazy enough to do that these days, but it was a major PITA and pretty hilarious back then.
I first heard of Coq in a CS lecture, and it wasn’t at all off-putting. The professor included the obligatory “yes the name sounds funny” disclaimer and then presented an interesting walkthrough of Coq. I haven’t used Coq myself yet, but that has more to do with the difficulty of starting than the name. I’ve enjoyed the Natural Number Game (a web-based set of Lean exercises), as a good example of something which actually helps people get into theorem proving. This debate over the name of Coq is just an instance of the Law of Triviality.
It's perfectly fine, and in mature settings it should be a non-issue. But I've learnt to be wary of assuming everyone is fine with it, or assuming that everyone will behave. I mean, tech bros will tech bro. I'm not in favour of helping them perform deniable harassment.
This is harmless banter and anyone not resilient enough to handle this will face much greater distress during their working life. Adults should be able to handle childish humor and this movement towards infantilizing women seems a much greater issue to me. All this will achieve is giving power to political narcissist.
Women are not children, they understand and appreciate humour. You being offended on behalf of them frankly seems more insulting.
This kind of hyper-sensitive attitude is what drives women away from CS, not the word "coq".
No smart theorem proving woman has ever been turned down by Coq. I know this because they would need to be familiar with Coq in the first place. Or would they have trained on Prolog instead?
Interesting, how you’re so set on the name of a theorem proving software being the barrier to women entering the field and not the people who would actually harass them. Do you not think the same people who would make stupid jokes about a name wouldn’t find some other way to chase women away?
The name lends itself for innuendos, so what? I can assure you that a person with sleazy intentions will find many ways to do that without a funnily named programming language. The name is not the problem. Also, a person's offense is not an argument. I'm offended by your name, do you have to change it now? A funnily named programming language just isn't the same as actual sexual harassment.
Of course they were aware of it. It requires not even basic proficiency of English. But at what point is it decided upon that the name was chosen just to rile people, and by whom? By you, depending on what mood you're in on the day in question? Humiliating conversations around these topics are only initiated by people like yourself when you decide to feel offended by harmless notions. The behavior shouldn't be dignified.
None. Neither the word coq (nor cock) is disrespecting of women any more than the word pussy is disrespecting of men. Get a grip of yourself and your moral panic.
I've had conversations with colleagues about the use of 'master' and 'slave' which appear to also be falling out of favour. Had mentioned that forking and killing children seems to be acceptable language, for now.
Perhaps I'll have to go back to school and re-learn English.
That's the entire point. Coq doesn't mean male genitalia either. But because it happens to spelled or sound like another word it is treated like that word.
I remember being irritated as a kid from "master" and "slave" switches on ATA hard disks. I found it really weird that the serious hardware company chose such a colorful metaphor (I think I associated it more with certain sexual practices than historical slavery).
Now I'm used to the terms and don't make the connection anymore. They might as well be completely unrelated words written "mahsta" and "slehf" that just happen to sound like other bad words. In these and similar cases, I'd personally rather keep the innocent meaning of the words, and discourage the original meaning. "Slave" is just a device on I2C, why would you call a forced servant that? And why would you call somebody who committed the unthinkable crime of claiming to another human as "master"?
One very unfortunate name I'm surprized nobody has latched on to is MongoDB...
I once worked at a campus disability resource center and was encouraging the use of open source software. It was not comfortable pitching the GIMP as a Photoshop alternative. Luckily I don't think anyone felt personally attacked and it was understood to be an unfortunate coincidence. One person said, "I guess that's what people call me." which brought to the fore how even coincidental naming issues can remind people of something unpleasant.
When it comes to Coq, I have a colleague that likes to emphasize the pun. It does turn some people off when they hear him going on about it. On the other hand, there is a lot of puritanical thinking in the US and maybe we should just become more comfortable with the notion that sexual organs, like mouths and elbows are part of the body. Then maybe my friend's "joke" wouldn't even make sense. It would be like "haha nose!" and people would shrug. But that isn't the world we live in and maybe the one we live in, where people find penises funny or offensive, is more fun. I don't know.
I'm not really advocating renaming stuff or not. I see it as more of a dialog between the namers and the people who are bothered, at least with borderline cases like these. There are instances where names should be changed. Like there are ISO-639 codes that essentially use the equivalent of the N-word to refer to languages. That's really hurtful to minority communities that speak those languages. Names do have consequences. I guess it is just a question of whether people are ok with the consequences or not. And of course, you can't make everyone happy all the time.
I think when I'd heard of GIMP it maybe raised an eyebrow but nothing much beyond that. Anything more about it just seems like an immature and probably harmless joke, but that's just me.
When it comes to genitalia, there's literally hundreds of euphemisms - which seems to be the nature that language takes for primal things. There has to be a balance or Johnson & Johnson may need to rethink their name, too.
I remember reading (and I don't have a source for this so this is total hearsay) that basically when Coq/CoC was chosen, it was chosen with the awareness of the "sounds like cock lol" factor being a plus.
This is far from the first "french mathematicians with a 10-year-old's sense of humor" thing, and probably won't be the last, but all this "oh it's just a word in French" is, from my undrestanding, bait.
To be honest, I'm not super convinced the process discussed the article is happening in much good faith either. But that's just my opinion and heavily biased towards my own experiences interacting with people from Inria.
Indeed, a rebranding to that seems much saner. Perhaps they fear that such a change can't be forced upon the existing users, which is not an invalid concern either.
Has anyone informed the sports brand Le Coq Sportif of this? If you can have a 100million+ annual revenue with coq in your name, surely this namechange is beyond ridiculous?
It is, and Coq is a piece of software to prove theorems. The context in which it is used makes it trivially inoffensive.
Personally, I spent a semester trying Coq and I couldn't get used to it. My professor loved Coq, though. He was a mathematician, so it wasn't a huge surprise.
I don't think this has anything to do with "American puritanism" or 21st century something. Giving a project a name that sound exactly like "cock" is just plain bad.
Imagine for a second that your favourite programming language or the one you use at work was called "Penis"? How would that change the perceived seriousness of the language? How fun would it be when you told someone "we use Penis where I work to implement our AwesomeSoftware™?
I use Coq on a daily bases and I've gotten many funny looks when talking about "cock" to people who are not familiar with it. It doesn't bother me much but there is nothing _positive_ about a name like that.
>I don't think this has anything to do with "American puritanism" or 21st century something. Giving a project a name that sound exactly like "cock" is just plain bad.
You do know that coq is a perfectly fine french word, and also in the name of a big french sports brand, right?
Not to mention that "cock" is mere slang, the official word just means rooster.
It is not an ideal name, I agree. On the other hand, it is the french word for an animal, and not for the male genital organs.
What about the word bite (la bite) in french? Are we supposed to remove the word bit from the English language because it sounds similar to the french word for penis?
There is always going to be strange overlaps when it comes to different languages.
French have more humor when it comes to sexual references, it wouldn't surprise me if a name like that would actually be an asset. (Source: myself, French, living abroad).
Or you know, Americans can learn that the world is not theirs, and they have no command or say over foreign words, just because they resemble phonetically (!!!) some word they consider shameful and sinful!
I'm confused why you think Americans are relevant to this story. The word "cock" and it's status as an English language vulgarity is a product of England. It predates the U.S. by centuries.
Because in 2021, the British are mature enough not to care.
It's those that inherited the culture of the puritans they've sent away that make a fuss about it (or some words on tv or make a huge deal about a SuperBowl nip slip).
> Imagine for a second that your favourite programming language or the one you use at work was called "Penis"?
Except "penis" isn't ambiguous. Coq is French for cock -- as in rooster. If you have an issue with the name Coq, chances are you're too infantile to make meaningful use of it or contribute anything of value to it whatsoever.
In English. You forgot to point out that you comment was from a rabidly anglocentric point of view. There are, in fact, lots of other languages. Furthermore we like one- and two-syllable names for our programming languages. Being a quantitatively-minded person you will appreciate that this implies that it is likely that e.g. ruby means something rude in swahili or whatever.
The whole computer science/programming field is anglocentric and the problem with Coq doesn't occur just in english speaking countries. English is not my primary language, but since the sound "coq" doesn't mean anything in my primary language, and since everybody in my country speak english as a secondary language, most people will still parse the sound "Coq" as "cock" and think of the non-ideal english meaning of that.
A name accidentally meaning something bad in one language is a lot worse than a name intentionally meaning something bad in a language that 100% of its userbase speaks and understands.
> Imagine for a second that your favourite programming language or the one you use at work was called "Penis"
No need to imagine, "bit" is pronounced in French exactly like "bite", which means basically the same thing as "cock".
> How fun would it be when you told someone "we use Penis where I work to implement our AwesomeSoftware™?
You get used to it. Talking about "cock twiddling" sounds strange at first, and is annoying. But since we're French we can't really hope that this will change anytime soon.
Please don't use the word "pick". It sounds exactly like the Dutch word for penis.
Also don't use the word "could" because in Dutch that sounds like a nasty word for vagina.
Thanks for being considerate. There is nothing wrong with your English language, but sometimes it sounds offensive in mine.
Nah. I'm joking obviously. I do understand that in an international project with the dominance of English it makes it easier to take these things into account. I don't blame them for looking for a new name.
But the idea that the whole world changes their values and language constructs to not offend American sexual oppressive culture is still stupid. I do blame Americans for that.
> But the idea that the whole world changes their values and language constructs to not offend American sexual oppressive culture is still stupid.
I completely agree with that. If anyone demands that then that I would certainly not agree with that. But, I don't think that is what this is about at all. It's my impression that most people who think Coq should get a new name aren't "offended", they just think it's a bad name and that Coq should have a good name.
"Pick" actually sounds like penis in my native language (danish) as well, and I'm pretty sure that a danish company launching a product for the danish market would avoid the name "Pick". I assume that if you where to launch a product in the Netherlands you would avoid naming it "Pick" as well?
> I assume that if you where to launch a product in the Netherlands you would avoid naming it "Pick" as well?
Not really. But its not a fair comparision, because Coq isn't an American or British research project, its a french project. Its not even a commercial product or anything.
So i fully understand they want to change their name, but it is sad they feel forced to. Honestly, if someone is harressed by actual adults within a particular culture for using something that could somehow make a 14 year old little boy giggle, then i strongly suggest they leave whatever culture they are in, because its completely backwards.
The problem to infantile behavior and sexism in particular cultures isn't sovled by every other culture renaming their stuff to not trigger this behavior. Lets solve sexual harrassment in English speaking countries by the rest of the world avoiding doing anything that has any phonetic resembles to genitals. Does that not sound idiotic? Is that a not a weird English privilege that other languages don't get?
Again i understand and respect the decision by the project. In the end you just dont want people to get harressed. But lets not pretend the problem is the name. The problem is certain cultures lacking adult behavioral norms for men.
Whose fault is it they hear "cock" and they think of "penis"? We're not talking about GIMP here. It just means people have a dirty mind and don't know about the programming language.
As someone who’s not a native English speaker and who doesn’t use Coq I feel I can’t even be bothered to take a stand in this question. Whatever. Hopefully the people in the community can do what they feel is good for current and future Coq users.
I was ranked favorably in a job application once because I had used LaTeX to produce my CV, and had also listed `\LaTeX` (rendered nicely) under publishing & communication skills. You never know what's going to pique the hiring manager's interest. Turns out it gave him a bout of nostalgia for his days at university studying mathematics.
Oh are we sharing accidentally embarrassing Google searches now?
There was a time I was asked to work with a C code base that was last touched three years ago. Now, C in any standard isn't even my forte. It was doing some string manipulation whose behavior I can't exactly understand. Thinking I need a basics refresher, I Googled "c strings".
Woops. Got to be among my quickest tab closes. Cue look around if anyone happened to be looking at my monitor too.
(I will save people the mystery and possible blushes: apparently there's a type of lingerie called a "C string", in the same fashion as a "G string". The more you know.)
> Reason for discarding: Con is French slang for vulva. This will inevitably lead to categorical jokes about co-con aka... the problem we started with.
> Reason for discarding: [...] Also consider the standard clam (coque) metaphor for female genitalia.
> Reason for discarding: [...] A translation of the French word. Watch out: "rooster" is also slang for "penis".
> Reason for discarding: [...] Even if one ignores that it apparently means “vagina” in Haitian Creole (as pointed out by Lélio), the fact that phonetically, it's apparently slang for “a communist” in French (as pointed out by Matthieu) should be a non-starter [...]
> Reason for discarding: "peep" also has a strong sexual connotation in French. Should really be avoided.
> Reason for discarding: "Gaule" can be definitely used to mean "erection" in French.
For the people decrying American puritanism, you're aiming at the wrong target. You should be aiming at American misogyny. The article gives the example of women being harassed for saying they were "working on Coq". It makes them an easier target for douchebros. Sadly, at the moment, that's a barrier to entry.
I mean, you aren't wrong, but when your solution is "solve for the absolute victory of feminism" rather than "change a name" I have to wonder if you're being realistic.
The article doesn't give an example of this, it only says that it happened. It may be true (not hard to imagine), but it could be just made up completely.
Gotta love the way people on this thread ignore the actual experiences of actual people motivating this and invent “Puritanism”, “Offence”, “Language Police” and “Political Correctness” straw-men to complain about instead.
So one that I saw on Twitter had a supervisor (M) saying to a student (F) they hadn’t previously met “So I hear you really like Coq.” No harassment intended, but plenty of awkwardness (including on the part of the supervisor after he’d heard what he’d said).
Nothing major, but a) you can see how something like that could happen all the time and just be draining to deal with b) I don’t think changing the name is that major either.
But everything is about how offended you and others feel over the French word for rooster, which happens to sound like a completely different word in another language. Got it.
How is this "political correctness"? While I like silly and vulgar things, I don't think you need to be an SJW to find it annoying that every time you discuss your coding project with an English speaking or international team using Coq, everybody else erupts to a pile of giggles. It would probably be even more annoying if I was a women who used it.
> This has been particularly evident in volunteer-based open source communities, where the need to formalize governance through codes of conduct has met with frequent resistance among people who resent the imposition of rules on a sphere where they previously acted without constraint.
No, I resist it because it is not necessary: we can rely on human decency in open source without policing people with formal documents.
> we can rely on human decency in open source without policing people with formal documents
I don't think that's true at all—neither on sexual subjects, nor on non-sexual subjects. Witness: the left pad debacle, Minecraft Forge, whatever is going on with Freenode, etc.
I guess I just mean that my open source projects will never have a "code of conduct". Clearly in the political climate that has obtained in recent years among educated sectors of western societies a lot of this stuff has been exaggerated.
I approve of this change. As a male, this name seemed questionable well before the whole master vs slave etc nomenclature debate in CS. It's weird to retain a name that's clearly got negative connotations.
Given that the authors in question are French, they are unlikely to be sympathetic to arguments predicated on the idea that the only language that matters is English. In fact it’s hard to think of a nationality less sympathetic to that idea.
Except nobody was arguing that. However, back in the world of reality, English is the most used language in programming and by such a large margin that it's laughable. It is a valid and practical problem that you are finding it difficult to constructively collaborate with 99% of the programming world thanks to the name - something that the French authors apparently completely recognise, hence why they're trying to come up with a good rebrand.
> "This similarity has already led to some women turning away from Coq and others getting harassed when they said they were working on Coq,"
That never happened. No one is interested in something but "turn away" because the name sound similar to cock. I can't imagine the following conversation student: "I am interested in calculus" professor: "you will have to work with coq" "I am not interested anymore".
>getting harassed when they said they were working on Coq
People usually do jokes with one another, how about you laugh and make a joke back. Stop taking yourself so serious and have some fun. And again, that never happened, no one was "harassed" because the name of what they are working on.
> (Jasper Hugunin) A bit of a stretch, maybe not disqualifying, but as a native English speaker (and given the context of this page), Gallus reads a lot like "phallus" to me, which is again a name for male genitalia.
I have nothing
edit:
> Coquito Reason for discarding: can have a violent meaning in some parts of Latin America....
And apparently in Colombia, Puero Rico, and Venzuela colloquial for "blow to the head with bare knuckles" (if I understand the seventh meaning here correctly: https://es.wiktionary.org/wiki/coquito).
They search for the seventh meaning in a word and discarded the word. In there quest to find the most unfunny word related to cock they do produce some funny text.
I'm inclined to agree that it likely didn't happen. Too often it's just a couple of people on Twitter (for example) getting offended for likes. Or sometimes it's just completely made up and repeated again and again as truth.
I used to get outraged at "Social Justice Warriors" demanding we rename everything with the slightest connotation of political incorrectness.
These days I'm too busy debating what colour we're going to paint the bike shed and shaving our herd of yaks to complain about the PC brigade forcing us to rename "blacklist" to "blocklist", which is actually more descriptive anyway.
This week we've been debating about whether to enforce double quotes or single quotes. I'm so far past caring about this shit that you could rename our primary git branch to "black_lives_matter" and I wouldn't bat an eyelid. If it makes someone happy, good for them. I just want to write software.
If I'm going to complain about naming, I'll complain about the >100 character long class names I keep finding in our codebase.
Talking about people who "resent the imposition of rules on a sphere where they previously acted without constraint" without talking specifically about what those rules are: are they reasonable, or bullshit?
This very often isn't about the mere presence of A CoC, but the fact that they often represent one persons[0] moral framework.
130 comments
[ 0.29 ms ] story [ 51.2 ms ] threadSo, as English computer scientists compelled their French colleagues to be vulgar when discussing computers, the French thought they might return the favor!
Perhaps just start spelling it Coke?
> Using the "coke" pronunciation, possibly written "Côq" Because Côq is an extremely addictive tool. In French, it would be pronounced with a closed "o" reminiscent of the "o" of "coke" in English. Good for those fond of playing with words, oh geez, these lines of high quality Côq made me so happy.
[1] https://github.com/coq/coq/wiki/Alternative-names
So, they change a perfectly valid french name, lest they annoy American puritanism...
Yah, 21st century...
Mostly or overwhelmingly programming languages are written in English, but not 100%.
https://en.wikipedia.org/wiki/Non-English-based_programming_...
In any case, it doesn't matter, because we don't need to keep having humiliating conversations about it, just change the damn name.
We don't need Coq double entendres in the workplace, but we do need smart women in the theorem proving community.
I first heard of Coq in a CS lecture, and it wasn’t at all off-putting. The professor included the obligatory “yes the name sounds funny” disclaimer and then presented an interesting walkthrough of Coq. I haven’t used Coq myself yet, but that has more to do with the difficulty of starting than the name. I’ve enjoyed the Natural Number Game (a web-based set of Lean exercises), as a good example of something which actually helps people get into theorem proving. This debate over the name of Coq is just an instance of the Law of Triviality.
(Why is it that “I am unhappy” is justified to report, but “I am alright” isn’t? Don’t we want a representative sample of opinions?)
https://twitter.com/sydgibs/status/1379518799699968005
https://en.wikipedia.org/wiki/Tits_alternative
Perhaps I'll have to go back to school and re-learn English.
I still have an installation of GIMP.
Now I'm used to the terms and don't make the connection anymore. They might as well be completely unrelated words written "mahsta" and "slehf" that just happen to sound like other bad words. In these and similar cases, I'd personally rather keep the innocent meaning of the words, and discourage the original meaning. "Slave" is just a device on I2C, why would you call a forced servant that? And why would you call somebody who committed the unthinkable crime of claiming to another human as "master"?
One very unfortunate name I'm surprized nobody has latched on to is MongoDB...
Absurd hyperbole.
“ These days, these days, right, if you say you're English, you'll be arrested and thrown in jail!”
When it comes to Coq, I have a colleague that likes to emphasize the pun. It does turn some people off when they hear him going on about it. On the other hand, there is a lot of puritanical thinking in the US and maybe we should just become more comfortable with the notion that sexual organs, like mouths and elbows are part of the body. Then maybe my friend's "joke" wouldn't even make sense. It would be like "haha nose!" and people would shrug. But that isn't the world we live in and maybe the one we live in, where people find penises funny or offensive, is more fun. I don't know.
I'm not really advocating renaming stuff or not. I see it as more of a dialog between the namers and the people who are bothered, at least with borderline cases like these. There are instances where names should be changed. Like there are ISO-639 codes that essentially use the equivalent of the N-word to refer to languages. That's really hurtful to minority communities that speak those languages. Names do have consequences. I guess it is just a question of whether people are ok with the consequences or not. And of course, you can't make everyone happy all the time.
Indeed.
I think when I'd heard of GIMP it maybe raised an eyebrow but nothing much beyond that. Anything more about it just seems like an immature and probably harmless joke, but that's just me.
When it comes to genitalia, there's literally hundreds of euphemisms - which seems to be the nature that language takes for primal things. There has to be a balance or Johnson & Johnson may need to rethink their name, too.
This is far from the first "french mathematicians with a 10-year-old's sense of humor" thing, and probably won't be the last, but all this "oh it's just a word in French" is, from my undrestanding, bait.
To be honest, I'm not super convinced the process discussed the article is happening in much good faith either. But that's just my opinion and heavily biased towards my own experiences interacting with people from Inria.
Personally, I spent a semester trying Coq and I couldn't get used to it. My professor loved Coq, though. He was a mathematician, so it wasn't a huge surprise.
Swapping bits. Doing arithmetic with bits. A nibble has not one but four bits. All fascinating stuff.
Imagine for a second that your favourite programming language or the one you use at work was called "Penis"? How would that change the perceived seriousness of the language? How fun would it be when you told someone "we use Penis where I work to implement our AwesomeSoftware™?
I use Coq on a daily bases and I've gotten many funny looks when talking about "cock" to people who are not familiar with it. It doesn't bother me much but there is nothing _positive_ about a name like that.
You do know that coq is a perfectly fine french word, and also in the name of a big french sports brand, right?
Not to mention that "cock" is mere slang, the official word just means rooster.
What about the word bite (la bite) in french? Are we supposed to remove the word bit from the English language because it sounds similar to the french word for penis?
There is always going to be strange overlaps when it comes to different languages.
Coq is a bad name.
It's those that inherited the culture of the puritans they've sent away that make a fuss about it (or some words on tv or make a huge deal about a SuperBowl nip slip).
There are many similar stories about English words sounding like profanity when (badly) pronounced in Chinese.
They're bad for branding and brands avoid them.
Now, I like "Coq" and the story about the cheeky French people trying to one up anglophones, but that's not really enough to make it a good name.
Then again I recall some people calling a compiler "Stalin" so, could be worse.
Except "penis" isn't ambiguous. Coq is French for cock -- as in rooster. If you have an issue with the name Coq, chances are you're too infantile to make meaningful use of it or contribute anything of value to it whatsoever.
A name accidentally meaning something bad in one language is a lot worse than a name intentionally meaning something bad in a language that 100% of its userbase speaks and understands.
No need to imagine, "bit" is pronounced in French exactly like "bite", which means basically the same thing as "cock".
> How fun would it be when you told someone "we use Penis where I work to implement our AwesomeSoftware™?
You get used to it. Talking about "cock twiddling" sounds strange at first, and is annoying. But since we're French we can't really hope that this will change anytime soon.
Anyways, I'm all for changing the name, but hope we can keep the French origin. "LPC" for "Le Prouveur Coq" is a good idea https://github.com/coq/coq/wiki/Alternative-names.
Also don't use the word "could" because in Dutch that sounds like a nasty word for vagina.
Thanks for being considerate. There is nothing wrong with your English language, but sometimes it sounds offensive in mine.
Nah. I'm joking obviously. I do understand that in an international project with the dominance of English it makes it easier to take these things into account. I don't blame them for looking for a new name.
But the idea that the whole world changes their values and language constructs to not offend American sexual oppressive culture is still stupid. I do blame Americans for that.
I completely agree with that. If anyone demands that then that I would certainly not agree with that. But, I don't think that is what this is about at all. It's my impression that most people who think Coq should get a new name aren't "offended", they just think it's a bad name and that Coq should have a good name.
"Pick" actually sounds like penis in my native language (danish) as well, and I'm pretty sure that a danish company launching a product for the danish market would avoid the name "Pick". I assume that if you where to launch a product in the Netherlands you would avoid naming it "Pick" as well?
Would anyone be even remotely offended? No...
Not really. But its not a fair comparision, because Coq isn't an American or British research project, its a french project. Its not even a commercial product or anything.
So i fully understand they want to change their name, but it is sad they feel forced to. Honestly, if someone is harressed by actual adults within a particular culture for using something that could somehow make a 14 year old little boy giggle, then i strongly suggest they leave whatever culture they are in, because its completely backwards.
The problem to infantile behavior and sexism in particular cultures isn't sovled by every other culture renaming their stuff to not trigger this behavior. Lets solve sexual harrassment in English speaking countries by the rest of the world avoiding doing anything that has any phonetic resembles to genitals. Does that not sound idiotic? Is that a not a weird English privilege that other languages don't get?
Again i understand and respect the decision by the project. In the end you just dont want people to get harressed. But lets not pretend the problem is the name. The problem is certain cultures lacking adult behavioral norms for men.
It would be a non-issue for people beyond middle school?
And doubly so if the term was a regular foreign word.
Are people also taken aback when somebody asks for some coke with their food?
There was a time I was asked to work with a C code base that was last touched three years ago. Now, C in any standard isn't even my forte. It was doing some string manipulation whose behavior I can't exactly understand. Thinking I need a basics refresher, I Googled "c strings".
Woops. Got to be among my quickest tab closes. Cue look around if anyone happened to be looking at my monitor too.
(I will save people the mystery and possible blushes: apparently there's a type of lingerie called a "C string", in the same fashion as a "G string". The more you know.)
> Reason for discarding: Con is French slang for vulva. This will inevitably lead to categorical jokes about co-con aka... the problem we started with.
> Reason for discarding: [...] Also consider the standard clam (coque) metaphor for female genitalia.
> Reason for discarding: [...] A translation of the French word. Watch out: "rooster" is also slang for "penis".
> Reason for discarding: [...] Even if one ignores that it apparently means “vagina” in Haitian Creole (as pointed out by Lélio), the fact that phonetically, it's apparently slang for “a communist” in French (as pointed out by Matthieu) should be a non-starter [...]
> Reason for discarding: "peep" also has a strong sexual connotation in French. Should really be avoided.
> Reason for discarding: "Gaule" can be definitely used to mean "erection" in French.
Thank you for your hard and dedicated work ! :)
What we should be getting rid of is the douchebro behaviour.
Also, are we gonna rename the "D" language because someone might make the exact same joke about it?
Surely that should be covered by the CoC.
Not everything is about your culture war.
Nothing major, but a) you can see how something like that could happen all the time and just be draining to deal with b) I don’t think changing the name is that major either.
Not everything is about America either.
https://conker.fandom.com/wiki/Mr._Big_Cog
> Naming is hard. No pun intended.
I refuse to believe that the pun was unintended, and it was beautiful. Give this reporter a cookie.
No, I resist it because it is not necessary: we can rely on human decency in open source without policing people with formal documents.
I don't think that's true at all—neither on sexual subjects, nor on non-sexual subjects. Witness: the left pad debacle, Minecraft Forge, whatever is going on with Freenode, etc.
you've got a bug here.
That never happened. No one is interested in something but "turn away" because the name sound similar to cock. I can't imagine the following conversation student: "I am interested in calculus" professor: "you will have to work with coq" "I am not interested anymore".
>getting harassed when they said they were working on Coq
People usually do jokes with one another, how about you laugh and make a joke back. Stop taking yourself so serious and have some fun. And again, that never happened, no one was "harassed" because the name of what they are working on.
> (Jasper Hugunin) A bit of a stretch, maybe not disqualifying, but as a native English speaker (and given the context of this page), Gallus reads a lot like "phallus" to me, which is again a name for male genitalia.
I have nothing
edit: > Coquito Reason for discarding: can have a violent meaning in some parts of Latin America.... And apparently in Colombia, Puero Rico, and Venzuela colloquial for "blow to the head with bare knuckles" (if I understand the seventh meaning here correctly: https://es.wiktionary.org/wiki/coquito).
They search for the seventh meaning in a word and discarded the word. In there quest to find the most unfunny word related to cock they do produce some funny text.
These days I'm too busy debating what colour we're going to paint the bike shed and shaving our herd of yaks to complain about the PC brigade forcing us to rename "blacklist" to "blocklist", which is actually more descriptive anyway.
This week we've been debating about whether to enforce double quotes or single quotes. I'm so far past caring about this shit that you could rename our primary git branch to "black_lives_matter" and I wouldn't bat an eyelid. If it makes someone happy, good for them. I just want to write software.
If I'm going to complain about naming, I'll complain about the >100 character long class names I keep finding in our codebase.
This very often isn't about the mere presence of A CoC, but the fact that they often represent one persons[0] moral framework.
[0] e.g. https://en.wikipedia.org/wiki/Coraline_Ada_Ehmke