The Coq mailing list

[Pierre Corbineau <Pierre.Corbineau AT imag.fr>]

pierre-Wiz-Hum-Mal-Law died in The Coq Club on level omega+1.  Killed by 
a troll, while feeding it.


On 11/28/2011 12:41 PM, Greg Morrisett wrote:
> I completely agree.
>
> -Greg
>
> On Nov 28, 2011, at 2:54 AM, Alexandre 
> Pilkiewicz<alexandre.pilkiewicz AT polytechnique.org>
>   wrote:
>
> > On Sat, Nov 26, 2011 at 3:18 PM, 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.
> >
> > Hi Greg,
> >
> > I'm sorry if I made anyone think I was suggesting we should stop
> > answering trivial questions. Like anyone else, I have been a beginner
> > in Coq, and I still often ask pretty trivial things. I've been lucky
> > enough to be able to ask most of those questions to people in offices
> > next to mine, but I would never want to denies other the right to ask
> > them on a mailing list (even if I support the suggestion of Matthias
> > to create a beginner list, to allow people to ask basic questions
> > without being impressed by discussion on W-types, and without imposing
> > a maximum number of questions, and believe that IRC might be better
> > for that)
> >
> > That being said, a friendly community doesn't mean a community without
> > any rules or any ways of protecting itself against trolls. And I think
> > someone who keeps asking trivial questions, does not read the answers,
> > does not follow any advices, and keeps accusing the tool of being
> > badly designed before trying to understand it falls in the "troll"
> > category.
> >
> > Cheers,
> > Alexandre

--
Pierre Corbineau          | 
Pierre.Corbineau AT imag.fr
VERIMAG - Centre Équation | Tel: (+33 / 0) 4 56 52 04 42
2, avenue de Vignate      | Office nr B2G2
38610 GIÈRES - FRANCE     | http://www-verimag.imag.fr/~corbinea/
begin:vcard
fn:Pierre Corbineau
n:Corbineau;Pierre
org;quoted-printable:Universit=C3=A9 Joseph Fourier - Grenoble 1;Laboratoire VERIMAG - Polytech' Grenoble
adr;quoted-printable;quoted-printable:2, avenue de Vignate;;VERIMAG - Centre =C3=89QUATION ;GI=C3=88RES ;;38610;France
email;internet:Pierre.Corbineau AT imag.fr
title;quoted-printable:Ma=C3=AEtre de Conf=C3=A9rences
tel;work:+33 (0) 4 56 52 04 42
tel;fax:+33 (0) 4 56 52 03 44
x-mozilla-html:FALSE
url:http://www-verimag.imag.fr/~corbinea
version:2.1
end:vcard

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature