This was announced on the mailing list just over a month ago (but not on the website due to time limitations): the Idris community has been slowly but surely moving away from Discord to Zulip. Going forwards, the main way to chat with the Idris community will be through:

idris-lang.zulipchat.com

The Discord was originally set up during COVID to host virtual developer meetings through voice chat, video presentations, etc. and it accidentally stuck around and grew to the community we have today. However, with Discord's recent move to requiring photo-ID, along with virtual events no longer being a priority, Discord no longer seems like the right place to be. We are not making this decision lightly, we will undoubtedly lose a portion of the current members in the transition, but we can only moderate one place, and Zulip is the least evil option for now. Zulip offers a thread-first communication model, including the option to move and merge messages in across threads, which more closely matches how Idris discussions tend to progress. It is also able to offer mailing list integration, search-engine indexing for help/questions, and archival much more readily, which is something many members of the community have been requesting.

See you on the Zulip!