3 ms·
I recently saw a tweet of a Ph.D candidate, whose professor asked her 'How good are you with Coq?', and then the prof finally realized what he had said. I think
by mfrw 6y ago
I recently saw a tweet of a Ph.D candidate, whose professor asked her 'How good are you with Coq?', and then the prof finally realized what he had said.
I think its time to change the name, it might make people uncomfortable.
- mckirk 6y agoHonestly, you get used to the name and just kind of abstract over it -- because it's your only option if your work is in the area. It can still be awkward to explain to people what you're working on though, so I welcome the change.
- taliaringer 6y agoYes, but I do this so naturally that I often say things like "I'm a Coq expert" when out eating with people I'm close with from my field, and believe me this is not something that works out well for women. People overhear you and at best give you dirty looks, at worst harass you like the driver mentioned in the thread.
- mckirk 6y agoI feel you... I'm currently writing my thesis and need to catch myself in time when explaining what I'm doing to people blessed by ignorance. Or alternatively, make the joke right away myself, though that's probably a lot easier to do for me as a guy. On the other hand, it is kind of hilarious to fall out of your abstraction-tunnel for a moment when citing a source called "A short presentation of Coq". Anyway, I really feel we need to make at least a few more deliberate puns before they change the name. Maybe just end every sentence referring to Coq in an ambiguous manner with "pardon my French."