This is Evan Chen's public server for friends of the high-school math olympiad and math competition community, particularly for those aspiring to compete in the International Math Olympiad (https://www.imo-official.org). Check out https://web.evanchen.cc/discord.html to learn more about the server.