Not 100% sure if this is the section for a post like this, sorry if it isn't!
I posted it on the Reddit /r/MUD sub and thought I should extend an invitation here as well. After realizing that the MUD IRC channels are mostly dead and there are not a lot of places for real time chatting, I thought I'd throw up a Discord server for those interested. Maybe we can get some discussions going, raid some unknown MUD's, etc.
Feel free to drop in and say hello, there are a few of us already.