The Coq mailing list

[Raphaël Cauderlier <cauderlier AT crans.org>]

I agree with what the other participants in this discussion said. Having an 
offending name probably hurts more than it helps. I don't see a penis in the 
logo but I agree that it is probably wise to avoid doubling the bad joke and 
that changing logo is probably much simpler than changing name.

That being said, detecting what is or not offending in another language is 
not as easy as it seems. For example, it has always shocked me that "Dick" is 
apparently a perfectly valid and common way to nickname someone called 
Richard in the English speaking world despite "dick" being both an insult and 
yet another word for "penis". What parents would call their own child "Dick"?

> It's "bit" that sounds offensive, but the alternative "chiffre binaire" is 
> almost never used.

"chiffre binaire" is too long, we need something shorter for such a common 
notion. What about using a contraction? Like "binary digit" is contracted 
into "bit", "chiffre binaire" should be contracted into "chibre".

-- 
Raphaël Cauderlier, but the joke is to be credited to Pierre Chambard