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.
As a programmer, I value informality. I say things in a straightforward manner. I'm not sure if informality is appreciated here.
https://github.com/coq/coq/blob/master/CODE_OF_CONDUCT.md#enforcement may be the closest to what you may be looking for.
I don't think there's any expectation of formality here :chick:
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: Feb 09 2023 at 00:03 UTC