The Coq mailing list

[Tom Prince <tom.prince AT ualberta.net>]

On Nov 26, 2011, at 9:18, Greg Morrisett 
<greg AT eecs.harvard.edu>
 wrote:
> This isn't a very welcoming attitude if you want to grow the Coq 
> community.  Perhaps we should have some ready canned responses that
> point people to resources (e.g., the FAQ, SF, CPDT, the IRC, etc.) 
> but in a polite fashion.

I certainly agree with this in general, but in this case, those pointers
were given several times and ignored.

On Sat, 26 Nov 2011 09:39:48 -0500, Benjamin Pierce 
<bcpierce AT cis.upenn.edu>
 wrote:
> We do need to somehow maintain a balance between helpfully answering
> newcomers' questions and allowing the list to become flooded with
> them, and I think there's a general sense that we've gone a bit too
> far toward the latter recently.  Maybe it would help if we could
> articulate some sort of shared expectation about what rate of posting
> questions to the list is considered appropriate (e.g. something like a
> question a week, on average?), so that we can politely let people know
> when they are using too much of the shared resource?

I suspect that we don't need that sort of thing. I don't think anybody
would have an issue with somebody posting a couple of questions a day,
if they had demonstrated that they had looked at the appropriate
resources, and read and demonstrated an effort to understand the
responses to their questions.

  Tom