3 ms·

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 sh

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 https://en.wikipedia.org/wiki/Coq

aparsons 6y ago
Looks like whoever made the logo thought it would be funny
- clarus 6y ago
  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.
  - SilasX 6y ago
    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:BetaStirlingTG4web.svg https://en.wikipedia.org/wiki/Stirling_engine#/media/File:Be...
oceanghost 6y ago
It looks like a plumbus.