Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Is it time...

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Is it time...


Chronological Thread 
  • 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,
Théo

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



Archive powered by MHonArc 2.6.18.

Top of Page