5 ms·
This might be the worst named project of all time. Not funny and demonstrates an absolutely terrible impulse on the part of the author. Probably the worst way p
by skrrtww 1y ago
This might be the worst named project of all time. Not funny and demonstrates an absolutely terrible impulse on the part of the author. Probably the worst way possible to advertise your project.
edit: According to the author in a reply, the double entendre was in fact not intentional.
- 7bit 1y agoYeah, coq is already bad, but cuq is the cherry on top of it. I don't like both.
- tracker1 1y agoLike a similar thread... I always thought of "coq" as "co queue" in terms of as a word. "cuq" as "cook" with the cu as in "CUDA" etc.
- Dilettante_ 1y agoMaybe this surprises you, but some people have different sensibilities than you do.
- webdevver 1y agonot at all - its perfectly logical you are cucking the betabuxxed bugs in your kernels with your BFV (Big Formal Verifier)
- nsomani 1y agoOh wow, honestly this caught me off guard - I've been pronouncing it "kook" in my head the whole time.
- skrrtww 1y agoIf this was genuinely unintentional on your part, then bless your heart and I'm sorry for assuming the worst. You might be the least morally corrupted internet user alive today.
- nsomani 1y agoI think I've just spent too much time reading the word "CUDA" that I read "cu" as "koo", lol.
- skavi 1y agoIt's your project, but with the current name I'd expect this thread to be duplicated any time the project is discussed.
- OneDeuxTriSeiGo 1y agoThat's not what the name is based on. The name is cu- (as in CUDA kernels) -q (as in coq/rocq). Pronounced Cuke like cucumber.
- webdevver 1y agocuke - it's heaven in a can!
- spartanatreyu 1y agoFor anyone who doesn't understand the reference, it's from the IT Crowd and the entire episode is on youtube: https://www.youtube.com/watch?v=VuTMphDrc4A https://www.youtube.com/watch?v=VuTMphDrc4A
- ironmagma 1y agoThere is a reason they renamed Coq to Rocq.
- bigstrat2003 1y agoYeah, because people are overly sensitive and can't bear the thought that someone might make some harmless naughty jokes. It's a completely ridiculous name change.
- ironmagma 1y agoNo. Conversions about it were being avoided due to being in a work context and in general. The same goes for coc (vim plugin) by the way.
- CaptainOfCoit 1y agoThat's exactly what parent said, people are overly sensitive and that's why the name had to change.
- lacker 1y agoThey'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.
- kurtis_reed 1y agoWhat's so bad about it?
- kelseyfrog 1y agoTake a seat in the chair
- jonathrg 1y agoIt sounds like cuck.
- antonvs 1y agoYou know you're spending too much time on dubious sites when ...
- nvader 1y agoNot really, unfortunately the word hovers in the comment sections of mainstream American political discourse.
- antonvs 1y agoI suppose it depends on one's definition of "dubious sites".
- 7bit 1y agoAnd your low-key judging people for porn consumption in 2025.
- antonvs 1y agoIn 2025, we know a lot about related mental health implications.
- thefz 1y agoNot the whole world speaks English. "Chicago" speaks funny in Italian, rename the city because I am offended. See how ridiculous it sounds?