Stream: Miscellaneous

Topic: General description


view this post on Zulip Huỳnh Trần Khanh (Apr 15 2023 at 15:05):

I've seen several threads from some users asking for help. But one distinct thing I've noticed is that these threads only contain a brief description of the problem and some general description of code or goal state. I have to say that this is not a common thing in other communities. I haven't worked professionally, but generally I give a GitHub repo for context or some minimal example that demonstrates the issue I'm facing. And from what I've experienced this is generally the most common way folks ask questions in public communities. Could anyone explain to me why in this community posting only general information is somewhat more common? I'm not saying that showing a minimal example or giving complete project for context is the only good way to ask for debugging help, I'm just curious.

view this post on Zulip Paolo Giarrusso (Apr 15 2023 at 15:09):

First, there are 3-4 people doing that a lot, but that's not typical and I'd set them aside. A difference is that this seems to be more tolerated than elsewhere.

view this post on Zulip Paolo Giarrusso (Apr 15 2023 at 15:10):

For the rest, I think you're overestimating other communities, _or_ you've been in unusual ones.

view this post on Zulip Paolo Giarrusso (Apr 15 2023 at 15:11):

asking for a minimal working example is definitely standard, and expert users tend to comply (before being asked), but those are the minority (EDIT) those seem to be the minority

view this post on Zulip Karl Palmskog (Apr 15 2023 at 15:17):

in my view, since this kind of community-detrimental behavior continues [despite advice and warnings] and is limited to a few accounts, people should consider reporting it

view this post on Zulip Paolo Giarrusso (Apr 15 2023 at 15:27):

done — I'm trying to move the discussion to private, but the behavior in question has clearly gone on for a while and bothered multiple people

view this post on Zulip Pierre Castéran (Jun 04 2023 at 05:50):

Would it be possible to add to Coq-Zulip's code of conduct some paragraph inspired by (or just a link to) Stack Overflow's advice on minimal reproducible examples ?

view this post on Zulip Gaëtan Gilbert (Jun 04 2023 at 08:38):

there's a Coq-Zulip code of conduct?

view this post on Zulip Karl Palmskog (Jun 04 2023 at 09:22):

I think Pierre is referring to the general code of conduct: https://github.com/coq/coq/blob/master/CODE_OF_CONDUCT.md

view this post on Zulip Karl Palmskog (Jun 04 2023 at 09:22):

by being a Coq official forum, the Zulip falls under this CoC (to my knowledge)

view this post on Zulip Cyril Cohen (Jun 05 2023 at 13:49):

Tagging @Théo Zimmermann
I totally agree, there seems to have been a lot of waste of time because of people submitting coding problems without code or without enough context to reasonably point to a problem...

view this post on Zulip Karl Palmskog (Jun 05 2023 at 13:58):

an augmented CoC could add specifics about giving reproducible examples under, say "Be considerate [with other people's time]". Or it could be a standalone point.

view this post on Zulip Pierre Castéran (Jun 05 2023 at 15:50):

Furthermore, I noticed several times syntactically incorrect or incorrectly typed coq snippets (or just without calls to the libraries). We should ask posters to check before posting whether the code they post is self-contained and runs on a standard Coq version. Otherwise it's a total waste of time for us to try to answer.

On the other hand, it's OK to post a snippet which leads to an error, if the question is about a misunderstanding of the error message. Same thing whith an unresolved sub-goal.

view this post on Zulip Cyril Cohen (Jun 20 2023 at 14:52):

FTR we added a section to the code of conduct.

view this post on Zulip Cyril Cohen (Jun 20 2023 at 14:53):

https://github.com/coq/coq/blob/master/CODE_OF_CONDUCT.md#interaction-on-coq-forums-zulip-discourse-etc


Last updated: May 19 2024 at 16:02 UTC