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 elric on Tuesday June 15, 2021 @06:27AM (#27513294)
Has anyone informed the sports brand Le Coq Sportif of this? If you can have a 100million+ annual revenue with coq in your name, surely this namechange is beyond ridiculous?
[ Parent | on HN ]
Re:Coq mulls new name for programming language by M2Ys4U on Tuesday June 15, 2021 @06:35AM (#27513342)
Context is important.
[ Parent | on HN ]
Re:Coq mulls new name for programming language by david-gpu on Tuesday June 15, 2021 @08:24AM (#27514243)
It is, and Coq is a piece of software to prove theorems. The context in which it is used makes it trivially inoffensive.

Personally, I spent a semester trying Coq and I couldn't get used to it. My professor loved Coq, though. He was a mathematician, so it wasn't a huge surprise.

[ Parent | on HN ]