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: Clément Pit-Claudel <cpitclaudel AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Is it time...
  • Date: Fri, 22 Jun 2018 14:25:57 -0400
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cpitclaudel AT gmail.com; spf=Pass smtp.mailfrom=cpitclaudel AT gmail.com; spf=None smtp.helo=postmaster AT mail-qt0-f180.google.com
  • Ironport-phdr: 9a23:7wbo8hG7UeH6VsAZheOO5p1GYnF86YWxBRYc798ds5kLTJ78osuwAkXT6L1XgUPTWs2DsrQY07eQ6/iocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmDqwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj8KOSMn/mHZisJ+j6xVrxyuqBN934Hab5qYNOZ9c67HYd8WWWRMU8RXWidcAo28dYwPD+8ZMOtGq4n6vV4OogW4BQmwHOzh0D5IhmPv0aAk1+QuCxzG0xE+ENIKrX/Zq8n6NL8TUeCp0KbIyS/Mb+5L1jjj7IjFaR8hofSWUrJxdcrd01UgFwTAjliJr4HuIjCb1vwVvmSF8+ZtUfijhm0npg1rvDSj28YhhpPUio8W1lzI7St0zYUvKdC8S0N3e8CoHZRNuy2AKYd7QswvTmd1sygg0LIGo4S0fC0SxZQn2RHfb/uHfpCN4h35VeaRJS50hGt5eL6jnhqy/1Wsx+7gWsWu31ZKqS1FktbItn8TzRDc9s+HSv5l8keg3zaAyRzT5/laLUwokafXMZ0sz74qmpYNrEjOHzX6lFj1gaOKbkkk//Kn6+XjYrXovJ+cMIp0hxniPaQ2m8y/Hfg3MgwUUGiG5Ouzyrnj8Fb2QLVPlPI2k63ZvIrGKsQco661GxVV3Zo76xajEzem18wVkmUALFJcYR6Ik4zpO0zVL/3jFve+g1GskC9xyPzcP73hBI/NLnnZn7v7c7Z98R0U9A1mxtdGoplQF7spIfTpW0a3usaLIAU+Nlmfx2fiBdNh4bsfRSekBqaEPK7W+QuD/uMzKO2FeYMYvB7yLvEk47jlinpvygxVRrWgwZZCMCPwJf9hOUjMOSO90OdEKn8Du08FdMKvjVSDVTBJYHPrBvAz4zg6DMStCoKRH9nx0ozE5z+yG9htXk4DEkqFSC66eICNWvNKYyWXcJc4z240EIO5Qopk7imA8Q/3z709cLjR8ywc8Iv/jJ17vr2L0x418jNwAoKW1GTfF2w=

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.



Archive powered by MHonArc 2.6.18.

Top of Page