News for hackers. Stuff that matters.
Re:Renaming Coq by SilasX on Thursday April 08, 2021 @11:03AM (#26739666)
I sometimes joke that "Coq" was French revenge for the Anglosphere making "bit" a common word in computer science, which sounds like the French equivalent of "cock".

https://fr.wikipedia.org/wiki/Bite

Even without knowing French, you can kind of make out this part:

« Bite » est une expression d'argot désignant vulgairement le pénis.

There are no comments on this comment yet.