News for hackers. Stuff that matters.
Re:Coq mulls new name for programming language by angry_octet on Tuesday June 15, 2021 @06:37PM (#27522500)
I'm just listening to what women say. You should try it sometime.

https://twitter.com/sydgibs/status/1379518799699968005

Re:Coq mulls new name for programming language by emsy on Tuesday June 15, 2021 @07:21PM (#27522903)
The name lends itself for innuendos, so what? I can assure you that a person with sleazy intentions will find many ways to do that without a funnily named programming language. The name is not the problem. Also, a person's offense is not an argument. I'm offended by your name, do you have to change it now? A funnily named programming language just isn't the same as actual sexual harassment.