3 ms·
They're renaming Coq, too, for the obvious reason. Just go ahead and rename this project to "Rocuda", save everyone a lot of time arguing about what names are
by lacker 1y ago
They're renaming Coq, too, for the obvious reason.
Just go ahead and rename this project to "Rocuda", save everyone a lot of time arguing about what names are appropriate or not.
- thefz 1y ago> They're renaming Coq, too, for the obvious reason. Which is a perfectly legitimate name in French and the whole "issue" can be worked around by spelling cee-oh-queue.
- 3836293648 1y agoExcept for the transcripts where they chose the name because they thought it was funny to offend the English
- thefz 1y agoThen spell the letters if the name offends you
- 7bit 1y agoThen keep it and deal with the backlash without complaining.
- zorobo 1y agoIt is legitimate indeed, and a nod to its creator T. Coquand, but better avoid recurring, useless discussions so better change the name. The funny (for some), quirky jokes get quickly old anyway. They also renamed NIPS -> NeurIPS conference, even though the name sounds less subject to jokes.
- pwdisswordfishy 1y agoMeanwhile, nobody consulted the French when the bit was being named.