News for hackers. Stuff that matters.
Re:Coq mulls new name for programming language by Bancakes on Tuesday June 15, 2021 @11:26AM (#27516848)
Whose fault is it they hear "cock" and they think of "penis"? We're not talking about GIMP here. It just means people have a dirty mind and don't know about the programming language.
Re:Coq mulls new name for programming language by coldtea on Tuesday June 15, 2021 @01:00PM (#27518220)
Worse than a dirty mind: a mind that can't handle maturity.