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