The problem with Coq
-
There's a famous tool for theorem proving which is called "Coq", after the French name for rooster and also after it's name inventor, whose first name is Coquand.
They've become sick of the countless jokes that resulted from that name, so they are thinking of a better one. There's some bullshit "diversity, equity, inclusion" arguments, too, of course.
https://github.com/coq/coq/wiki/Alternative-names
https://www.theregister.com/2021/06/15/coq_programming_language_change/Turns out that one of the main problem is that basically every word is in some language a slang word for penis.
-
There's a famous tool for theorem proving which is called "Coq", after the French name for rooster and also after it's name inventor, whose first name is Coquand.
They've become sick of the countless jokes that resulted from that name, so they are thinking of a better one. There's some bullshit "diversity, equity, inclusion" arguments, too, of course.
https://github.com/coq/coq/wiki/Alternative-names
https://www.theregister.com/2021/06/15/coq_programming_language_change/Turns out that one of the main problem is that basically every word is in some language a slang word for penis.
@klaus said in The problem with Coq:
Turns out that one of the main problem is that basically every word is in some language a slang word for penis.
You're pulling my Klaus, as they say in Wales.
Hello! It looks like you're interested in this conversation, but you don't have an account yet.
Getting fed up of having to scroll through the same posts each visit? When you register for an account, you'll always come back to exactly where you were before, and choose to be notified of new replies (either via email, or push notification). You'll also be able to save bookmarks and upvote posts to show your appreciation to other community members.
With your input, this post could be even better 💗
Register Login