Melbourne Compose trials Zulip for online chat and other news

[Ben Hutchison]

Hi all,

You've probably seen John has set up a Youtube channel for Melbourne Compose content [https://www.youtube.com/@MelbourneComposeGroup] and seeded it with Sandy Maguire's talk from April 2024.

We have two further expansions of online infrastructure planned:
- Trialing https://lu.ma/ for our event calendar and management
- Trialing Zulip for chat

I encountered Zulip in the Lean community and have grown to really like it. You can see what a really active zulip looks like at https://leanprover.zulipchat.com/

Zulip is just better than Slack in several key aspects, making it easier to support an open and accessible community. Also, unlike Slack, permanent message retention... our content is valuable!

We have a Zulip chat running now. Please jump on and say "Hi" or tell us about something FP you're interested in atm.. I've posted about something I worked on this week.

Invite link: https://melbournecompose.zulipchat.com/join/fvhkfzpzde56kjxi27sgwmlt/

(we will likely make the chat web-accessible in future, so don't post non-public info in channels)


Around Christmas I welcomed a new baby daughter Ava who is 8 weeks old today, so that's been my summer. We're heading to the beach for a holiday stay today, so I won't be around for our regular February meeting time. But I have a topic in mind for the March session, inspired by and responding to Victor's talk on Functional Streaming.

-Ben