Discord Server

Background

Much of the work of running #include <C++> happens online on our Discord server, in channels dedicated to that purpose. In addition, the server has dozens of channels for discussing various topics that are relevant to C++ developers and other members of our community.

All our channels are moderated, to ensure that we remain a welcoming community. See Moderation.

Getting Started with Discord

To use Discord, you can use a web page, or clients for PC, Mac, and Linux desktops as well as for phones. When you follow our Discord link to join, you’ll be given information about clients you can install.

When you join, by following this Invitation to Join Discord, you will receive a copy of our Code of Conduct and a bot will welcome you in our #welcome channel. Often people who are online will say hello, and you can introduce yourself there.

Channels

Selection of Discord Server Channels

We try to have separate channels for distinct topics, for example the #compilers channel has entirely different topics than the #testing channel.

Things to note in the above screenshot:

  • The coloured #include logo represents our Discord Server.
  • Channels are shown in a sidebar (which you may have to open with a hamburger menu button, if on a small screen).
  • Channels with a bold name have messages you haven’t yet seen.
  • Channels with a non-bold name do not have any new messages.
  • Channels have a symbol in their name. The channels above are all public, and so have a globe in their names.

Direct Messages

Discord provides a capability for sending private (direct) messages (DMs) to a single user. In most cases, requests for help or for more information belong in a channel, such as #cpp for C++ questions. Reserve DMs for conversations that can only be one on one, and understand that some users may prefer not to have such conversations. Remember also that some may be in a very different time zone from you.

To send DMs, you either need to have a Discord server (such as #include <C++>) in common, or be Friends.

Managing Message Volume

Muting channels

  • If a channel doesn’t interest you, you can mute it, then the channel name will be faint, such as the #assembly channel in the screenshot above.
  • You can still read muted channels at any time.
  • You can also hide muted channels, in the server settings - see “Hide Muted Channels” near the bottom in this image:
    • Server Settings

Channel Groups

  • Channels are grouped by category, to keep like-with-like.
  • You can collapse categories, which hides all contained channels with no new messages, as shown below:
    • Selection of Discord Server Channels - Some Collapsed

Roles

Overview of Roles

If you are an experienced Discord user, you might be familiar with using Roles to describe yourself.

Roles are also used to give particular users various permissions.

People with specific roles have coloured names. You can click on a person to see all their roles.

When users first join the server, they have no roles. In this broad section, we describe the ways that we use Roles here.

Pronouns

A very important use of roles on this server is for pronouns. Users join and leave pronoun roles themselves.

A user with she/her role

A user with multiple pronoun roles

Usually on this server we talk to each other. Occasionally, we talk about someone: “She said her error was intermittent, though.” If the person you are talking about has a coloured name, click on their avatar or their name, to see their roles and learn what pronouns to use. Guessing pronouns from names or avatars, or just assuming everyone is male, is not ok on this server.

Most of our roles are solely to let others know your pronouns. You can add these yourself, by typing a command such as ?rank she/her. To see all the pronouns use ?ranks.

(We realise it is a little confusing to use a command called rank to set pronouns: Discord was originally used for gaming, and this bot is the closest facility that was available to us, to implement this important capability.)

These roles are for pronouns. If you’re unfamiliar with some of them they might be surprising, or even funny, but do not treat them as a joke. We take pronouns seriously in this Discord, as should everyone, given our Code of Conduct. If you’re unable to be respectful with these pronouns, then you’re not respectful to our members and this Discord may not be a place for you. Using the pronouns properly shouldn’t be a hard thing to do.

Permissions

Another thing we use roles for is to control access to some channels. If you don’t have access to a channel, you won’t see it in the list.

You may see some users with non-pronoun roles. This section explains them.

A user with multiple permission roles

Established (Grey)

From time to time, users who are active and participating are granted the Established role.

Some channels that appear to be missing, such as #off-topic, are in fact restricted to Established users. These channels naturally lead to discussions that include your name, history, where you live now … We don’t want to lead people into those discussions in public, because we often all forget that parts of this server are very public. Those globe symbols on some channels are a reminder of this. Anyone can go to our web site and click the “Join Discord” link, and there are people on this planet who are not nice. We want to make sure everyone is protected without everyone having to constantly remember to protect themselves.

These protected channels are restricted to Established users as a privacy mechanism - that’s what the lock in the name reminds us of. Please don’t share information from them elsewhere unless it’s clearly public.

In these channels, you might read about problems minorities have that you are not familiar with and want to know more about. Please keep in mind that people talking about these problems suffer from them and have to explain them on a daily basis. Be wary not to add to their burden and never contact them privately for more information about the matter unless they explicitly offered you to.

Organisers (Purple)

Channels used to actually run #include <C++> are restricted to Organiser members. Here we make plans for specific conferences and events, as well as our overall plans, work on this website, and so on. The Organiser role is offered to people who appear interested in it, or to those who need it to assist the group.

Moderators (Blue)

Moderators enforce our Code of Conduct according to our Moderation guidelines. If you need to contact a Moderator, you can type @moderators, ideally in the channel where the problem is happening.

Administrators (Red)

Administrators can do everything, including go in every channel. They can be contacted with @admins.

Only Administrators can create new channels. You can make suggestions for new channels in #meta.

Other Information

Note: we only have text channels, and we do not allow custom emojis.

Many English speakers have a habit of addressing groups of people as “guys”, saying things like “thanks guys” or “hello guys”. While this may be intended as a gender neutral word, it doesn’t feel that way to everyone. As a reminder, we have a bot, summoned by typing !guys, which says:

Many of this server’s members are not guys; you may want to consider using more inclusive language (e.g. folks, everyone, or just dropping the word altogether)

Occasionally, someone new to the server feels the need to get us to change this policy. We take it very seriously: this is an important part of the welcoming and inclusive culture of our community.

On the rare occasions it’s needed, we can express this with another bot, summoned by typing !guys2, which says:

We know you didn’t intend any offense, and changing the way you use the word “guys” may be difficult, but please trust that we have done our due diligence on it and we will not change our policy. This is an important part of the welcoming and inclusive culture of our community. For more information, see “guys” in our Resources section: https://www.includecpp.org/resources/equality_and_diversity/#guys