News for hackers. Stuff that matters.
Re:A blog engine written and proven in Coq by teddyuk on Thursday February 12, 2015 @07:19AM (#9038454)
This is such a terribly badly named language for anyone in the UK!
Re:A blog engine written and proven in Coq by hme on Thursday February 12, 2015 @08:10AM (#9038608)
The name has an history, but the fact that UK (and US) have a problem with it is probably the very reason why it's been kept like this. After all "bit" in french has exactly the same meaning as "cock" in english. french devs deal with it. I guess it's some kind or revenge...
Re:A blog engine written and proven in Coq by jeremiep on Thursday February 12, 2015 @10:35AM (#9039180)
We actually joke about it! Take a 'bitfield' for example, in french it becomes a 'field of cocks' :)
Re:A blog engine written and proven in Coq by leoc on Thursday February 12, 2015 @09:00AM (#9038762)
I'm pretty sure I remember hearing fairly direct word-of-mouth confirmation that the double meaning was completely deliberate.
Re:A blog engine written and proven in Coq by tpaksoy on Thursday February 12, 2015 @08:39AM (#9038696)
It's not just that "Coq" might sound like "cock", but a "Coq blog" just sounds even funnier...
Re:A blog engine written and proven in Coq by wernercd on Thursday February 12, 2015 @11:47AM (#9039703)
I just hate to think of the poor girl/woman who decides she loves the framework...
Re:A blog engine written and proven in Coq by smadge on Thursday February 12, 2015 @07:28PM (#9042214)
Why does it have to be a girl/woman? Why would it be any different for a boy/man to say they love Coq?

This actually happened to me. A classmate said something about Coq, and I did a double take. He explained it was a language, but for a second he got my hopes up.

Re:A blog engine written and proven in Coq by amirmc on Thursday February 12, 2015 @08:01AM (#9038573)
I've been told that the French OCaml crowd have (or had) a habit of naming projects after animals. In this case, cockerel.
Re:A blog engine written and proven in Coq by djcoin on Thursday February 12, 2015 @08:26AM (#9038660)
Coq means rooster (US or cock/cockerel in the UK) and is a symbol of France maybe this has something to do w/ it.
Re:A blog engine written and proven in Coq by eli_gottlieb on Thursday February 12, 2015 @08:53AM (#9038735)
Also, after "Calculus of Constructions" being shortened to "CoC", and then punned with its inventor's name "Coquand".
Re:A blog engine written and proven in Coq by omega_rythm on Thursday February 12, 2015 @10:56AM (#9039323)
In one of William Gibson's books (the first trilogy I believe), there was this idea of companies running algorithms on new product names to check if translated in other languages, the name would mean something NSFW. Just imagine how limiting that would be for marketing people, with so many existing human languages.
Re:A blog engine written and proven in Coq by lispm on Thursday February 12, 2015 @08:45AM (#9038713)
Maybe the UK should get familiar with the idea that they are not the center of the world?
Re:A blog engine written and proven in Coq by bshimmin on Thursday February 12, 2015 @09:18AM (#9038838)
You mean "centre", right?