15 ms·
Maybe we should all "grow the fuck up already", and it's likely that a majority of people have "grown the fuck up", but that doesn't really change anything. Yo
by tombert 6y ago
Maybe we should all "grow the fuck up already", and it's likely that a majority of people have "grown the fuck up", but that doesn't really change anything. You can't just tell people to grow up and expect it to actually happen. The Penn 15 thing is a more ridiculous example, but if people are using the name "Coq" to make people uncomfortable, then that's just how it is, no amount of telling people to act like grownups is going to change that.
And even if it weren't making people uncomfortable, the fact is that it's harder to get management to sign off on using something like Coq if they feel it sounds like an "HR Violation Waiting to Happen". Changing to something more innocuous might work to get Coq used more in industry. As it stands, I almost never mention it at work anymore, and instead talk about TLAPS and Isabelle whenever I need to mention proof systems.
- yepthatsreality 6y agoThat's honestly too bad, I think telling people to grow does matter. It usually has to come from a respected person for it to latch on. I think worrying about every word being a potential "HR Violation Waiting to Happen" is an approach that leads to doubling down on these ideas as offensive, giving way to "only these words are appropriate" world.
- tombert 6y agoI mean, part of me agrees with you, it's immature to make jokes about genitalia with an innocuous word in French and even if they did then a few stupid jokes isn't a big deal. At the same time, I feel like it's really easy for me to say stuff like that, as a white male working in tech, a group that's never been unwelcome in STEM (at least not in my lifetime).
- yepthatsreality 6y agoAbsolutely fair and agreed.