Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Really, where? I've always heard this was more intentional than unfortunate.

From the FAQ:

2 Did you really need to name it like that?

Some French computer scientists have a tradition of naming their software as animal species: Caml, Elan, Foc or Phox are examples of this tacit convention. In French, “coq” means rooster, and it sounds like the initials of the Calculus of Constructions CoC on which it is based.



The name was intentional as they described. The common reception might have also been intentional as a joke of sorts. ;) Anyway, there was a page or interview where a rep called it "unfortunate" without going into detail. The implication in context was that the name's use in Britain or America often distracts from how the tool is used in a given paper. Hence, unfortunate choice of name.

Should've just picked a different animal haha. The name is easy to spell, though.


And also a tribute to Thierry Coquand, the inventor of the CoC.


Yes, that was also in what I read.




Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: