News for hackers. Stuff that matters.

A comment on Coq mulls new name for programming language. Parent comment

Re:Coq mulls new name for programming language by angry_octet on Tuesday June 15, 2021 @02:44PM (#27519742)
Well, it's actually women in CS being offended, and I'm merely engaging with the blockheads who refuse to acknowledge the issue.
[ Parent | on HN ]
Re:Coq mulls new name for programming language by AlexeyBelov on Tuesday June 15, 2021 @02:55PM (#27519881)
Are there real people offended by it? Or just three Twitter users?
[ Parent | on HN ]
Re:Coq mulls new name for programming language by angry_octet on Tuesday June 15, 2021 @04:55PM (#27521369)
Quite an accusation from a sockpuppet account that has been completely dormant since 2017.
[ Parent | on HN ]
Re:Coq mulls new name for programming language by emsy on Tuesday June 15, 2021 @08:04PM (#27523202)
Ah yes, sockpuppet. The term people use when they have good arguments.
[ Parent | on HN ]
Re:Coq mulls new name for programming language by angry_octet on Tuesday June 15, 2021 @11:21PM (#27524531)
Look at the account, it's a classic phony, stashed away for sniping without new account green.
[ Parent | on HN ]
Re:Coq mulls new name for programming language by AlexeyBelov on Wednesday June 16, 2021 @09:47AM (#27528461)
Do you really think I played such a long game? In any case the other commenter is right -- you shouldn't attack the person, but the argument itself.
[ Parent | on HN ]