Hi everyone, We recently set up a Zulip instance for chatting about F* or asking questions. Please help us try it out: https://fstar.zulipchat.com
Zulip (https://zulipchat.com) is an open source alternative to Slack that offers good organization features, which should allow switching between synchronous chatting and asynchronous / more persistent communications. It's similar to Slack, but each message has to be assigned a "topic" (basically a Slack thread with an editable name and that is publicly linkable via an URL). As an open source project we get the Zulip standard hosting plan for free, which includes full-text fully-history search without any message limit. Open source projects like Rust seem to have good success using it. Catalin _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
