Hacker News Reader

yet us french people have exactly zero problems with "bit" sounding the same than https://en.wiktionary.org/wiki/bite#French

Hah! Yes, a while ago I came up with the "fan theory" that the French named Coq as revenge for exactly that:

this, or it just comes from one of the original authors' name, Thierry Coquand ?

We _know_ it doesn’t just come from Coquand’s name, because Gérard Huet very clearly said so.