| ▲ | lacker 13 days 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 12 days ago | parent | next [-] |
| > 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. |
| |
| ▲ | 7bit 12 days ago | parent | next [-] | | Then keep it and deal with the backlash without complaining. | |
| ▲ | 3836293648 12 days ago | parent | prev | next [-] | | Except for the transcripts where they chose the name because they thought it was funny to offend the English | | | |
| ▲ | zorobo 12 days ago | parent | prev [-] | | It 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 12 days ago | parent | prev [-] |
| Meanwhile, nobody consulted the French when the bit was being named. |
