5 ms·
Not trying to be childish, but let's be honest, this is a horrible name if you are not a native english speaker. I just hear giggles every time somebody mention
by rburhum 7y ago
Not trying to be childish, but let's be honest, this is a horrible name if you are not a native english speaker. I just hear giggles every time somebody mentions this name...
- munk-a 7y agoThis is a horrible name even for native english speakers. I still have to coach people not to giggle whenever I bring up LaTeX - unless it's exclusively vocally in which case the "lah-TECH" puts their mind elsewhere.
- lacker 7y agoReally? Why, because they make condoms with latex? Or tight clothes? I wouldn’t expect people to care about that word.
- TurboHaskal 7y agoI kinda miss those times where you could talk about those Thinkpad clits at work and no one would bat an eye. The degree of puritanism of the new generation is a bit terrifying. We had plenty of women in the lab, btw.
- munk-a 7y agoI don't think it's puritanism, it's just keeping things separate. In an office we're all there to work and not get embroiled in relationship drama - so calling that nub a clit is just unnecessarily bringing sex into things.
- Myrmornis 7y agoYou have hens, and you have cocks. I don't see what the problem is. Look at some nice birds to reset your brain: https://en.wikipedia.org/wiki/Cock-of-the-rock https://en.wikipedia.org/wiki/Cock-of-the-rock
- perthmad 7y agoFor the record, French speakers also have at first a hard time with the "bit" word that is usually pronounced at the very beginning of any introductory CS class. Indeed, it has the same figurative meaning as "cock" in English. Worse, you can find it in compounds such as "32-bit" or "bitfield", so try figure out the evocative power of those expressions. Usually and fortunately though, the average person simply grows up and stops giggling at the word quite quickly. And so do Coq users.
- sp332 7y agoWell the French maintainers think it's pretty funny, so it's a little childish.
- lifthrasiir 7y agoI gues they think it's funny in a way that the "CHICKEN" Scheme [1] is funny. [1] https://www.call-cc.org/ https://www.call-cc.org/
- yesenadam 7y agoWhat's the joke there? I couldn't see it.
- lifthrasiir 7y agoCoq means a rooster in French that is not a usual name for theorem prover by itself. Therefore Coq developers should have thought that it is at least an interesting (and more likely, funny) idea to name it after an animal, much like CHICKEN Scheme.
- jnordwick 7y agoIt's intentional. Last time this came up, it was verified that the authors definitely understood the double meaning.
- perthmad 7y agoDefine "the authors". Gérard Huet, who wrote the software almost 35 years ago was definitely aware of the meaning, and indeed this was done in order to overtly piss off the prudish Amercians. In the current core development team, I think it is reasonable to say that most people range somewhere on a scale from "don't care" to "mildly annoyed". Amongst the annoyed group, some actually advocate for a change of name.
- jnordwick 7y agoI'm not sure. I don't really know these people or the project history. I balked last time and was emailed by somebody who told me they were familiar with the project/team, and they said it was well know about the double meaning. I think it is incredibly inappropriate in a field that already has sexist anti-female issues. While they talk about "prudish" Americans, they can be sexist assholes; they can go fuck off.