Re: [isabelle] Contributing some Q&A to StackOverflow; please help me to gain reputation
On 05/19/2013 08:50 PM, Christoph LANGE wrote:
-----BEGIN PGP SIGNED MESSAGE-----
2013-05-19 12:38 Joachim Breitner:
when I wrote the mail I only looked at
http://stackoverflow.com/questions/16629417 which I did not find
OK, I see.
(though I do not agree with the closing of it).
Another StackOverflow feature I need to learn about – let me try to
understand how that happened.
The FAQ (http://stackoverflow.com/faq#close) says questions can be
closed when they are "no real questions", which probably was the
reason here, and that they can be closed by "experienced community
Are those "experienced community members" who close questions about
Isabelle likely to be experienced members of the _Isabelle_ community
(who understand why my question was "not very great", as you said), or
are these usually experienced members of StackOverflow in general, who
look at the general pattern of the question?
The latter. Thus questions are often closed for the wrong reasons.
Christoph Lange, School of Computer Science, University of Birmingham
http://cs.bham.ac.uk/~langec/, Skype duke4701
→ Intelligent Computer Mathematics, 8–12 July, Bath, UK.
Work-in-progress deadline 7 June; http://cicm-conference.org/2013/
→ OpenMath Workshop, 10 July, Bath, UK.
Submission deadline 7 June; http://cicm-conference.org/2013/openmath/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
-----END PGP SIGNATURE-----
This archive was generated by a fusion of
Pipermail (Mailman edition) and