4 ms·
I will say that as a professor who occasionally has to refer to this system in front of a bunch of (American) 18-24 year olds, I'm very grateful for this renami
by dgacmu 2y ago
I will say that as a professor who occasionally has to refer to this system in front of a bunch of (American) 18-24 year olds, I'm very grateful for this renaming.
- mon_ 2y agoAs a recent graduate I'll miss asking for "help with my Coq" and proclaiming "my Coq isn't working" during lab sessions
- agumonkey 2y agoSo that's why I never hear any students complaining about how hard it is
- deleted 2y ago[deleted]
- fvdessen 2y agoAs a native french speaker I am quite surprised by those reactions. 'Bit', means 'dick'/'cock' in french, and it's never really been a big issue at university.
- DonHopkins 2y agoBit sounds so romantic in French.
- Davidbrcz 2y agoDon't forget strings, that are sexy underwear....
- fvdessen 2y agoAnd mac that means pimp ^^
- dgacmu 2y agoI wonder if it's more due to the strength of sexual taboos in America or the frequency of the word -- bits are referred to from the very beginning of the curriculum, whereas theorem provers are only mentioned a few times unless you take a specific class. Both, perhaps - we are still a bit puritanical. After a lot of exposure, I map "coq" in a CS context to the theorem prover and don't find it giggle-worthy, but the reaction of students hearing it for the first time is different. (And outside of that, I'm more likely to think coq au vin, but I'm a cook.)
- thefz 2y ago[flagged]
- dang 2y agoPlease don't do nationalistic flamewar on HN. https://news.ycombinator.com/newsguidelines.html https://news.ycombinator.com/newsguidelines.html
- thefz 2y agoBarely an observation
- dang 2y agoWhat feels like simple observation when filtered through one's own worldview can easily land as a provocation with another. If it interests you or anyone at all, I wrote a long comment about this exact point a few weeks ago: https://news.ycombinator.com/item?id=40755784 https://news.ycombinator.com/item?id=40755784. Skip the first bits since they're context specific.
- thefz 2y ago> What feels like simple observation when filtered through one's own worldview can easily land as a provocation with another. You indeed show to have the sensitivity required to understand this kind of nuances, yet selectively as it appears in this case. The above quote is precisely how a native French speaker may feel when being forced to reassign a name to their own project, simply because someone from another part of the world ignores their language and culture, and makes everything about themselves. (The internet is full of instances of pan-americanism. Take as an example the fuss around the word "negro", which in Spanish simply denotes the color black; it's the word used when you pick the color of your car from a catalogue, as an example, with zero racial connotation.) There are plenty examples of English words that sound funny in other languages, yet people adapt and move on, because they understand that the world is not only their country and culture, but made of thousands. Anyway, got your point. I think the persistence against this particular name in this case is singular, since there's an easy way out (spell the letters c-o-q).
- DonHopkins 2y agoCoq blocked again!
- rincebrain 2y agoBe honest, do you genuinely think people who would have giggled about this aren't going to keep using the old name pruriently?
- dgacmu 2y agoOh, I don't care what people say, I just find it distracting when I say the name in class, and there's a wave of "uh, what did he just say?" that percolates through the students.
- EdwardDiego 2y ago"The French love the Coq". https://www.youtube.com/watch?v=_7plURl4sx4 https://www.youtube.com/watch?v=_7plURl4sx4 (This guy is now one of our deputy prime ministers, le sigh)