coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Théo Zimmermann <theo.zimmi AT gmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Is it time...
- Date: Fri, 22 Jun 2018 15:11:29 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f46.google.com
- Ironport-phdr: 9a23:hVF7IhGKwuCp46TEQqWThp1GYnF86YWxBRYc798ds5kLTJ7zp86wAkXT6L1XgUPTWs2DsrQY07eQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmDqwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KODE38G7VisJ+gqFVrg+/qRNj2IPbep2ZOeBkc6/BYd8XR2xMVdtRWSxbBYO8apMCAfQBPeFCqInyv1gBrRq7BQmpGuzv0DpIiWXw3a08zu8sFh3G3Aw+ENIJqnjVrdT1NKIXUeC016TIwjDDYOlX2Tf58oTHbhchofSVUL92bMHfx04vFwbfgVWRr4zoJzyV1uMKs2iU6+pvS/ijhHIgqwF0ujSvx8EsipPIho0P0FzE+z95zJ40Jd2+VE50f9qkHIFNuC6EL4d2Q8UiQ3p0uCY71rIJpYS3fCkMyJQpwB7SbeGMfYuQ4h/7SuqdPTN1iGhmdb+/nRq+71Wsx+PmWsS70VtHqDdOnMPWuXAXzRPT79CKSvtj8Uel3jaCzwXT5ftFIUAwjKbbNZ0hzqIpmpodvknOHzX6mErxjK+ReUUk/van5/77bbXho5+QL450igfgPaQygsGzH/g0PwwUU2WY+emwzqPv8VD3TblQgfA7k7HVsJXAKsQaoq65DRVV0oEm6xunEzem0MoXnX4dIFNEeRKHio3pO1DVLfD3CPewmVWskDNxy//aOb3hB43BLmLfn7f5YbZ990lcxRIvwtBY/pJYE60OIPbuWkDqr9HYFR84Mwmsw+n9Etl914UeWXiOAqCDKq/Sv0WItaoTJLyHY5ZQszLgIdAk4eTvhDk3gwwzZ66siKcX6XePLPVjJkiDZHPqhJ9VDWcHuUwsTenviXWNVDdSYzC5WKdqtWJzM56vEYqWHtPlu7eGxiruRsQHNFADMUiFFDLTT6vBXv4NbCyIJco4y24LULGgT8kq0hT87VammYoiFfLd/2gjjbymzMJ8vrSBmhQ79DgyBMOYgTnUEjNE21gQTjpz55hR5ExwzlDZjPp9iv1cUMJQv7ZHDll8OpnbwOh3Tdv1X1CZcw==
For the record, Coq-Club relies on Sympa, not Mailman, and Sympa does include digest options (someone was asking about this earlier). Have a look at https://sympa.inria.fr/sympa/suboptions/coq-club (you'll need to register using your e-mail address first).
Best,Le ven. 22 juin 2018 à 15:09, Gabriel Scherer <gabriel.scherer AT gmail.com> a écrit :
The spam here comes from 3 announces sent by *different* addresses
@insticc.info addresses, so banning senders wouldn't work. In my (and
I guess Benjamin's and Derek's) experience with the types-announces
moderation, irrelevant Call for Papers (CFPs) come from all sources.
The problem with mailing-lists is that any *relevance* moderation has
to be a-priori, because you cannot remove an email once it is sent.
(In contrast, tone moderation from specific individuals can be
after-the-fact, banning repeat offenders.) But any a-priori moderation
requires checking all moderated emails, which slows the posting flow
and generates work for humans.
If custom filters were available, it might be interesting to try to
automatically detect conference announcements (eg. "CFP" in the header
or "Call for" in general), and have a human moderate those. But unless
mailman gives this flexibility, you probably have to get a moderator
to check all messages before they are sent.
On Fri, Jun 22, 2018 at 2:58 PM, Soegtrop, Michael
<michael.soegtrop AT intel.com> wrote:
> Dear Coq Users,
>
> I guess it also needs to be discussed what is meant by "moderation".
>
> For the time being I think it would be sufficient to have a way to report spammers, to have someone review these reports and in case to delete the account or otherwise ban them. As far as I can remember, there are only a handful, so this would be a fairly lightweight task.
>
> Best regards,
>
> Michael
> Intel Deutschland GmbH
> Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
> Tel: +49 89 99 8853-0, www.intel.de
> Managing Directors: Christin Eisenschmid, Christian Lamprechter
> Chairperson of the Supervisory Board: Nicole Lau
> Registered Office: Munich
> Commercial Register: Amtsgericht Muenchen HRB 186928
- [Coq-Club] Is it time..., Benjamin Pierce, 06/22/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/22/2018
- Re: [Coq-Club] Is it time..., Dominique Unruh, 06/22/2018
- Re: [Coq-Club] Is it time..., Harrison, William L., 06/22/2018
- Re: [Coq-Club] Is it time..., karsar, 06/22/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/22/2018
- RE: [Coq-Club] Is it time..., Soegtrop, Michael, 06/22/2018
- Re: [Coq-Club] Is it time..., Gabriel Scherer, 06/22/2018
- Re: [Coq-Club] Is it time..., Théo Zimmermann, 06/22/2018
- Re: [Coq-Club] Is it time..., Jim Fehrle, 06/22/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/22/2018
- Re: [Coq-Club] Is it time..., Pierre Vial, 06/22/2018
- Re: [Coq-Club] Is it time..., Clément Pit-Claudel, 06/22/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/22/2018
- Re: [Coq-Club] Is it time..., Matthieu Sozeau, 06/22/2018
- Re: [Coq-Club] Is it time..., Hugo Herbelin, 06/23/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/23/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/23/2018
- Re: [Coq-Club] Is it time..., Benjamin Pierce, 06/23/2018
- Re: [Coq-Club] Is it time..., Gabriel Scherer, 06/22/2018
- RE: [Coq-Club] Is it time..., Soegtrop, Michael, 06/22/2018
- Re: [Coq-Club] Is it time..., Derek Dreyer, 06/22/2018
Archive powered by MHonArc 2.6.18.