News for hackers. Stuff that matters.

A comment on Renaming Coq.

Re:Renaming Coq by CGamesPlay on Thursday April 08, 2021 @10:54AM (#26739500)
Here's the logo, for those interested. Honestly it's a bad logo in general, but when you combine the name of the language, the color of the logo, and general shape, it's downright terrible (not even in a harassment sense, in a literal "why should I care about this product" sense).

https://en.wikipedia.org/wiki/Coq

[ Parent | on HN ]
Re:Renaming Coq by aparsons on Thursday April 08, 2021 @11:08AM (#26739737)
Looks like whoever made the logo thought it would be funny
[ Parent | on HN ]
Re:Renaming Coq by clarus on Thursday April 08, 2021 @03:54PM (#26743006)
Quoting the mailing-list (which currently seems down):

> Hugo reminds of us of the history of the current logo, which is a reference to the Barcelos Coq from Portugal which Gérard Huet liked, whose shape was drawn by Julien Narboux and adapted/colored for the website by Jean-Marc Notin.

The story seems legit to me, knowing some of the people. I believe there were no jokes in the logo itself, but could be wrong. This was from a time where research projects had many hand-made logos.

[ Parent | on HN ]
Re:Renaming Coq by SilasX on Thursday April 08, 2021 @07:11PM (#26744914)
Fair enough, but I'm pretty sure the Stirling Engine diagram was intended to be phallic:

https://en.wikipedia.org/wiki/Stirling_engine#/media/File:Be...

[ Parent | on HN ]
Re:Renaming Coq by oceanghost on Thursday April 08, 2021 @11:35AM (#26740102)
It looks like a plumbus.
[ Parent | on HN ]