Learn Coq in Y Minutes

Re:Learn Coq in Y Minutes by kiterunner2346 on Tuesday November 26, 2019 @12:48PM (#21640671)

Ummm, so how is "Coq" pronounced?

[ Parent | on HN ]

Re:Learn Coq in Y Minutes by sincerely on Tuesday November 26, 2019 @12:53PM (#21640713)

https://github.com/coq/coq/wiki/Presentation

>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.

[ Parent | on HN ]

Re:Learn Coq in Y Minutes by tarsinge on Tuesday November 26, 2019 @01:55PM (#21641395)

The big irony is: "Coq" is for English speaker exactly what "Bit" is in French. No problem when written, and ok spoken between grown up professionals obviously (though I still avoid translating bitwise operator because it becomes "cock to cock operator" when spoken), but elementary school with all the 8/16/32 bits consoles was painful...

[ Parent | on HN ]

Re:Learn Coq in Y Minutes by elcaminocomplex on Tuesday November 26, 2019 @12:54PM (#21640735)

https://en.m.wiktionary.org/wiki/File:Fr-coq.ogg

[ Parent | on HN ]