coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Why is the Coq logo made to look like a penis?

From: Sam Kuper <sampablokuper AT posteo.net>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Thu, 8 Apr 2021 15:30:43 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sampablokuper AT posteo.net; spf=Pass smtp.mailfrom=sampablokuper AT posteo.net; spf=None smtp.helo=postmaster AT mout02.posteo.de
Ironport-hdrordr: A9a23:0zaJM66o3tbY05+rUwPXwCHXdLJzesId70hD6mlaTxtJfsuE0/20lPMA2hPuzBoXUncsmdePUZPtfVr385lp7Y4NeYqzRQWOggSVBaxr8IeK+V3dMgLk8Oo179YFT4FbKPndSWd3ltz75g7QKbgd6f2K6rqhi+ub73oFd3AIV4ha4w10ChmWHyRNLWEsb/cEPaGR/89W4wenEE5nCfiTPGUPXOTIurTw5ffbSCMBbiRXijWmvHeN4L7+HwPw5HYjbw8=
Ironport-phdr: A9a23:StNeGhf5wwyQmWGaMZ+3FnuKlGM+/tnLVj590bIXzolWe6HmxazJeXLljd1ThVPEFb/W9+hDw7KP9fy5CCpZvsbK6SlcOLV3FDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjVu8UMnIdvKKU8xhTUrndVeuld2H9lK0+Ukxvg/Mm74YRt8z5Xu/Iv9s5AVbv1cqElRrFGDzooLn446tTzuRbMUQWA6H0cUn4LkhVTGAjK8Av6XpbqvSTksOd2xTSXMtf3TbAwXjSi8rtrRRr1gyoJKzI17GfagdF3g6xGvRKhvAR/zJDIb4GJOvR+eabdcskbRWpHQ81dUyNMD4e5Y4YJEuEPP/tXr5PlqlUArRWwGxSiCuDhyjBHmnD5wK813v89EQ3axgEsA84CvGjKoNjzKawcUfq1zK7NzTjbcv1ZwzL945XNfBA8ufGDQ6hwetfWxEk0DQzFi02Qppb+MDOR0eQNsHWb7/J+WuK1kGMnswZxoiOzxsgyjYnFnIQVxU7Y9Shgxos+ONK3RlJhb9G+DJtQqz+VN5FwQs46QGxlvDs2xL0btZKmYiUHx5YqygPQZvCZboWF4BHuWemPLTp8in9pZq+ziRi8/EWhzuDwSte53EpIoydLnNfAqnYA3AHd5MiAT/ty5Eah2TCX2gDc7eFEJlo4laXfK5I5zb4wl4YTsUTeHiDthUX2l7GZdl849eiv7eTnfqvpppmAN4Nulg7+NaEultShAegiPQgBQm6W8vm/2r375UD1XbZHg/0snqTYsp3WP8oWq6+jDwJU04sv8xWyAjO83NgFknQKLUhJdAyZg4T1IV3CPf71Aeu5jl+xijlk3erGMafkApjVLnjMjrPhfbFl5k5Zzwoz0Mxf645KBr0bOPLzXVTxtMDGAR8+KQC73vjoBM181oMYR22PHreUPL7RvFKI/O4iIuuBaJUbtTv8MfQo5v/jgWc8mVAHfKmp2ZUXaGq/HvRjO0iZemDjgtIZEWgQpQU+SOvqiF6fUT5LeXmyRbkx5ik8CIK9EYfMWIetjKaH3CilAp1afnpGBUyUEXf0a4WEXO8BZz6VIs94izALSbyhS5I62hy1rw/7y79nLvLO9SECtJLj0sJ15+zJmh0o+zx0FZfV72bYRGZt22gMWjUe3aZloEU7xE3Q/7J/hqljHNkbxO5RXx1yYYXVyvRzAdT1WR/Zc82hUFG9XtihRzc8UoRikJc1f09hFoD63Vj41C2wDupJxtSjNNkP6qvZmkPJCYN9xnLBvIEkiEQ6GpEJLWq9mqN4sQTeVdahu3XcrL6jcOEn5ACI8W6CyWSUu0QweBZ3SrnIWjYZa1eE9LzR1gb5V7arTI8fHE5Z08fqArNNccHkihNASeuxYLzj

On Mon, Apr 05, 2021 at 09:37:32PM +0200, Sandra Dylus wrote:
> What about the coq-community logo?
>
> https://images.app.goo.gl/Rkpin8eYShvTD3Dr8

That link has some accessibility issues. Here is an alternative URL for
what I believe is the same image:

https://avatars.githubusercontent.com/u/34452610?s%3D280%26v%3D4

--
A: When it messes up the order in which people normally read text.
Q: When is top-posting a bad thing?

() ASCII ribbon campaign. Please avoid HTML emails & proprietary
/\ file formats. (Why? See e.g. https://v.gd/jrmGbS ). Thank you.

Re[2]: [Coq-Club] Why is the Coq logo made to look like a penis?, (continued)
- Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/05/2021
  - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Yishuai Li, 04/05/2021
    - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/05/2021
      - Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Jennifer Paykin, 04/05/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Santiago Bautista, 04/05/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/05/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, James R Wilcox, 04/05/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sandra Dylus, 04/05/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Christian Doczkal, 04/06/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Sam Kuper, 04/08/2021
        
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Enrico Tassi, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Christian Doczkal, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Freek Wiedijk, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Théo Zimmermann, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Robby Findler, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Robby Findler, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Talia Ringer, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Andrew Appel, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, Derek Dreyer, 04/06/2021
        Re: [Coq-Club] Why is the Coq logo made to look like a penis?, jonikelee AT gmail.com, 04/06/2021