Re:Coq mulls new name for programming language
by angry_octet on Tuesday June 15, 2021 @02:43PM
(#27519713)
While you may not have felt that way, other women have. Does your experience invalidate theirs?
[ Parent
| on HN ]
Re:Coq mulls new name for programming language
by thewakalix on Tuesday June 15, 2021 @08:18PM
(#27523321)
No, I’m just providing my own n=1.
(Why is it that “I am unhappy” is justified to report, but “I am alright” isn’t? Don’t we want a representative sample of opinions?)
Re:Coq mulls new name for programming language
by angry_octet on Tuesday June 15, 2021 @11:19PM
(#27524520)
It's perfectly fine, and in mature settings it should be a non-issue. But I've learnt to be wary of assuming everyone is fine with it, or assuming that everyone will behave. I mean, tech bros will tech bro. I'm not in favour of helping them perform deniable harassment.