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: Sandra Dylus <ichistmeinname AT web.de>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Why is the Coq logo made to look like a penis?
Date: Mon, 5 Apr 2021 21:37:32 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ichistmeinname AT web.de; spf=Pass smtp.mailfrom=ichistmeinname AT web.de; spf=None smtp.helo=postmaster AT mout.web.de
Ironport-hdrordr: A9a23:0UMCj625/V47/EVLKgqPWQqjBE0kLtp033Aq2lEZdDV+eKWj9/yGtvIdyBPylXItSGgt8OrsBICsSW7RnKQa3aA/JrGnNTOMhEKJK8VY4ZLm03ncHUTFl9J18at7aaBxBJnRADFB5/rSxAm9H5IezMKc8Kau7N2z815XQQtna75t4m5CY26mO3Z7SwVcCZ0yGID03LskmxObZX8VYs6nb0NrY8H/obTw5fHbSC9DIxYm7QWU5AnYjYLHLw==
Ironport-phdr: A9a23:w/uWvBPhHI29iB8XLj8l6nacDRdPi93PFj5Q0YIujvd0So/mwa6KFHLW6fgltlLVR4KTs6sC17OH9fm/AydYvt6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vKBi6txjdu8sIjYdtNqo8yAbCr2dVdehR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/YTQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhSEaPDE+7W/Xl9dwjLpFrx29uxxxzYnUYISPO/p/eKPWYNcWSGVFU8pUUSFKH4GyYJYVD+cZIelWoInzqFQToxWwBgesCuHgxCFPiHLtx6I30eEhHBvG3AA8Hd8DtmnfotXvNKcVVOC41LTGwi/Fb/xLwzfy8pXDfB4hoPGIQLJwatfaxE4uFwzZjlWQqJflPy+Q1usTsmib6exgWviqi2E5sAxwrCagydw2hobUmI0Y01bJ/jh2z4gpP9O3UlJ7YcK6H5tKsSGXL4V7Tt48T29opis31rMLt5C/cSYE1ZgpyR/SZv6afoaH4B/tW+ecLzl3in97Zb+ymgu//Ee8x+DiSMS51EpHoCRDn9LRuH4N0BnT5dKGSvt75kqh2DKP1gDJ5eFfP080j6XbJIAhw7IqkJocr1jDEjf5mEXxi6+abEok+uyu5u/6YbvmvoeRO5Fphg3gKKgihNKzDOYiPgQTXWWX4/mw2KD78UD9QLhGlPk7nrXDvJzEKskWorS1DxJU34sn7Ru0Ei2o384CnXYdKVJIYBKHgJbtO1HJOP34CPC/g0mwkDtxyfHJIKbuDo/QIXfdiLvhfLB95FBAyAcr09xT+oxYBqsfLP7tWEL9rsHUAx0jPwCp3urrENB92ZkfWWKLDK+ZKqTSsVqQ6+IuP+aMZI4VuC3hK/gg+fHujHk5mVkHcqmsw5Qac365Eep9LEmDfHXjnM8NEX0WsQomUOzqlFqCXCZPaHa1RqIw/y00CIa7DYjYXY2tm7yA3CKjHpJMfGxGC1aMEW3pd4qeQfsMZjiScYddlWkPUqHkQIs83zmvshX7wvxpNLn64Cod4Knq0tRv7qX/hBUv7nQgDs+d0nqRSmx1mGUBQjIew61150BwnATQmZNkiuBVQIQAr8hCVR03YMKNp8RKTuvqUweERe+nDU68S72OHjw7CN48kYdmS3Y4IM2ri1X45wTvA7IRkNSjAZsp7uTD0nK3K8svkx7u5Owal1AjB/B3Gyijj697+RLUAubhjEiT0aqnJ/104Q==

On 5. Apr 2021, at 21:19, James R Wilcox <jrw12 AT cs.washington.edu> wrote:

Ilya Sergey has a great "mechanized rooster" logo for his lecture notes: https://ilyasergey.net/pnp/

If we can get his permission, I feel like that would be a great choice.

What about the coq-community logo?

https://images.app.goo.gl/Rkpin8eYShvTD3Dr8

Cheers

Sandra

[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?, Jay Kruer, 04/05/2021
  - Re[2]: [Coq-Club] Why is the Coq logo made to look like a penis?, Denis Cousineau, 04/06/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?, 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