News for hackers. Stuff that matters.
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?
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.