Terry Herman (Apr 29 2022 at 11:06): 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.
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.
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.
Gaëtan Gilbert (Apr 29 2022 at 11:14):I don't think there's any expectation of formality here :chick:
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 09 2024 at 05:02 UTC