IDM in St Andrews 2026-05-18 to 2026-05-22, and we've moved to Zulip
1 view
Skip to first unread message
Thomas E. Hansen
Apr 3, 2026, 12:20:10 PM (14 hours ago) Apr 3
to Idris Mailing List
Hi all,
It has been a while, but we are very excited to announce the next Idris Developer Meeting! It will be running the 18th-22nd of May 2026 in St Andrews. It has been a while since the last IDM, so thank you for sticking with us during that time! As usual the scope for the event is quite small: just a room and an excuse to reserve a week for Idris hacking. We hope we can use this time to have fun and build something cool together.
The event itself is freely accessible, but given that it is on University property, please register if you are planning to attend in-person:
https://forms.cloud.microsoft/e/JP25JaD3yy
If you were on the Discord, this is also the official notice that we will be winding down the use of the Idris discord, eventually changing it to read-only with the closing of the IDM on the 22nd of May.
Going forwards, the Idris community will be on Zulip: https://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.
tl;dr: IDM 18th-22nd of May 2026, optionally in-person in St Andrews, the community is moving from Discord to Zulip, and the Discord will be read-only after the 22nd of May 2026.
All the best,
Thomas
It has been a while, but we are very excited to announce the next Idris Developer Meeting! It will be running the 18th-22nd of May 2026 in St Andrews. It has been a while since the last IDM, so thank you for sticking with us during that time! As usual the scope for the event is quite small: just a room and an excuse to reserve a week for Idris hacking. We hope we can use this time to have fun and build something cool together.
The event itself is freely accessible, but given that it is on University property, please register if you are planning to attend in-person:
https://forms.cloud.microsoft/e/JP25JaD3yy
If you were on the Discord, this is also the official notice that we will be winding down the use of the Idris discord, eventually changing it to read-only with the closing of the IDM on the 22nd of May.
Going forwards, the Idris community will be on Zulip: https://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.
tl;dr: IDM 18th-22nd of May 2026, optionally in-person in St Andrews, the community is moving from Discord to Zulip, and the Discord will be read-only after the 22nd of May 2026.
All the best,
Thomas
--
| THOMAS E. HANSEN | teh6.eu |
| Associate Lecturer | they/them |
| School of Computer Science |
| UNIVERSITY OF ST ANDREWS |
Reply all
Reply to author
Forward
0 new messages