Stream: Coq users

Topic: Community safety


view this post on Zulip Terry Herman (Apr 29 2022 at 11:06):

Is the Coq community a safe community to be in? I am talking about all of our official venues: Zulip, Discourse, etc. What should I do if I feel unsafe or unwelcome in this community? I am a little bit worried about participating in this community, given that this is a chatroom for researchers, not programmers. I am afraid that people may want to drive me away for not talking in a formal tone like a researcher or for saying reasonable things that researchers disagree with.

To be clear, the first discussion I had here was awesome. I just want to be sure that I will continue to have a positive experience here. I am new to formal verification and I want formal verification to reach its full potential.

view this post on Zulip Terry Herman (Apr 29 2022 at 11:09):

As a programmer, I value informality. I say things in a straightforward manner. I'm not sure if informality is appreciated here.

view this post on Zulip Karl Palmskog (Apr 29 2022 at 11:09):

https://github.com/coq/coq/blob/master/CODE_OF_CONDUCT.md#enforcement may be the closest to what you may be looking for.

view this post on Zulip Gaëtan Gilbert (Apr 29 2022 at 11:14):

I don't think there's any expectation of formality here :chick:

view this post on Zulip Paolo Giarrusso (Apr 29 2022 at 11:25):

given that this is a chatroom for researchers, not programmers.

I can assure you that's not intended — the description of this Zulip stream even tries to make that explicit: "Beginner questions welcome!".


Last updated: Sep 26 2023 at 12:02 UTC