coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Matthieu Sozeau <mattam AT mattam.org>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Is it time...
Date: Fri, 22 Jun 2018 22:03:50 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mattam AT mattam.org; spf=Pass smtp.mailfrom=matthieu.sozeau AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f53.google.com
Ironport-phdr: 9a23:4QRJMBGhN6x3GQbHBGs6a51GYnF86YWxBRYc798ds5kLTJ79rsWwAkXT6L1XgUPTWs2DsrQY07eQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmDqwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KODE38G7VisJ+gqFVrg+/qRNj2IPbep2ZOeBkc6/BYd8XR2xMVdtRWSxbBYO8apMCAe0bMuZEs4n9p1oOogWjBQKxGe3vzT5JiWHs0q0nzu8sFgTG0xY8H9ISqnvUqc74NKIIXuCp0KnH1zDDY+lR2Tfn54jFaxYsquyPU7Joacfcy0YiGxnYglmOqYHpJTCY2voXv2Wb4edtU/+khXQ9pAFruDevw98hionXiYIRzVDJ7SB5z5w0Jd28UUJ6b9ukHIdJuyGUN4Z7TNkuQ25vuCY9xb0GvYC0cDIWx5Qgwh7Tc/2Hc46W7RL/TOucIzh1iGh4dL6hhxu+60utxvPmWsS03ltGti9FncPNtnAJ2RzT8M+HSv5l80ekwzmPyxzT6uFFIU8qiKrXMYUhwrkxl5UNq0vDAzT7mErzjKCMd0Uk/vKk5PjgYrXjvpOcLZN7ihniMqQyncyyGfg3Mg8XX2SC5eu80KDj8lbiTbVRjvw2l7HZv4rAKcQaoK65GQ5V3Zw55xaxFTf1mOgfyHIANRdOfA+Np4nvIVDHZv7iXtmlhFH5tT532/DHM6CpOZLfI3He2OPkdKph4kt0zQMv0dlaoZVOBedSc7rIRkbtuYmAXVcCOAuuzrO/UYQv5sYlQWuKR5ShHubXuF6M6PgoJrDVNoAQsTf5bfMi4qy31CNrqRomZaCsmKAvRjWgBP0/eRecaGbwi9JHFn0F7FJnEb7azWaaWDsWXE6cGqIx4jZhVdCjBIbHA5+o2PmPgXz9EZpRaWRLTFuLFCWweg==

Actually, posts are moderated! We just ought to be stricter on announcements.

Le ven. 22 juin 2018 à 20:28, Derek Dreyer <dreyer AT mpi-sws.org> a écrit :

I thought of it, but didn't imagine the mailing list management would
support such a feature easily. If it does, then sure.

Derek
On Fri, Jun 22, 2018 at 8:26 PM Clément Pit-Claudel
<cpitclaudel AT gmail.com> wrote:
>
> On 2018-06-22 14:18, Derek Dreyer wrote:
> > Another idea would be to not moderate posts but have a stronger
> > vetting process for determining who has the right to post rather than
> > just allowing anyone. However, this might have the effect of
> > discouraging newbies with real Coq questions.
>
> Many online forums moderate the first few posts of each new user. Could this work on coq-club?
>
> Clément.

Re: [Coq-Club] Is it time..., (continued)
- Re: [Coq-Club] Is it time..., Perry E. Metzger, 06/23/2018