Re: [isabelle] Contributing some Q&A to StackOverflow; please help me to gain reputation
-----BEGIN PGP SIGNED MESSAGE-----
Dear Joachim, dear John,
thanks for your feedback and for your votes. You have helped me to
2013-05-19 10:43 Joachim Breitner:
> I’m not sure that this is a good idea. The reputation system in
> StackOverflow is designed to reward questions and answers that are
> useful to others; if one has to explicitly ask for reputation then
> maybe StackOverflow is not the right medium for that.
I agree – but I hope that, from looking at my questions and answers,
you won't say that they are not useful at all and thus don't deserve
any votes. All I was asking for was a small "start-up loan" to be
able to do certain things on StackOverflow as a new user, such as
posting answers to my own questions. Today I can start paying it back ;-)
> Maybe your surly interesting advice would better be suited for a
> Isabelle style guide like document?
Originally (around February) I had been thinking of contributing this
stuff to the wiki, but the discussion on this list then encouraged me
to give StackOverflow a try instead. And StackOverflow actually
encourages answering your own questions:
> But generally you are right that StackExchange is becoming a good
> forum to get Isabelle advise, and it would be good if more Isabelle
> users would follow it and more liberally distribute upvotes to
> genuine questions and useful answers.
Your (and others') posts in response to mine seem to prove, in a way,
that at least I managed to disguise my contributions as "genuine
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