Stream: Announcements

Topic: Web-public streams


view this post on Zulip Théo Zimmermann (Apr 11 2022 at 13:31):

Since the recent release of Zulip 5, it is now possible to make a stream "web-public", a feature which we were waiting for, ever since we created this Zulip organization. A "web-public" stream is a stream whose messages can be browsed anonymously (without requiring to create an account and log in). We will gradually make all the public streams web-public. If you have concerns about this or are managing a public stream that you would prefer to not become web-public, please express yourself in https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneous/topic/web.20public.20streams or by private message to me and @Cyril Cohen. Note that it was already possible to browse all the public streams anonymously thanks to the automatic Zulip archive (https://coq.gitlab.io/zulip-archive/). We will keep this archive for now because it may serve purposes that the new web-public stream feature may still miss (such as search engine indexing).

view this post on Zulip Théo Zimmermann (Apr 13 2022 at 09:52):

#Announcements and #Coq devs & plugin devs are now web-public. I will continue making streams web-public progressively over the next few days.

view this post on Zulip Théo Zimmermann (Apr 14 2022 at 09:36):

#Coq users, #GitHub notifications and #Miscellaneous are now web-public.

view this post on Zulip Théo Zimmermann (Apr 16 2022 at 15:22):

#Coq Platform devs & users, #coqbot devs & users, #Dune devs & users and #Elpi users & devs are now web-public.

view this post on Zulip Théo Zimmermann (Apr 18 2022 at 09:01):

#Hierarchy Builder devs & users, #jsCoq, and #Ltac2 are now web-public.

view this post on Zulip Théo Zimmermann (Apr 19 2022 at 12:11):

#Nix toolbox devs & users, #Proof General users, and #SerAPI are now web-public.

view this post on Zulip Théo Zimmermann (Apr 21 2022 at 15:08):

#coq-community devs & users, #Codewars, #Constructive reals & analysis and #fiat-crypto are now web-public.

view this post on Zulip Théo Zimmermann (May 02 2022 at 08:47):

#Equations devs & users, as well as the streams connected to past events #Coq Hackathon and Working Group, Winter 2022, #Coq workshop 2020, #Coq Workshop 2021, #CUDW 2020, #FMIE are now web-public.

view this post on Zulip Théo Zimmermann (May 04 2022 at 07:52):

#math-comp users, #math-comp devs and #MetaCoq are now web-public.

view this post on Zulip Théo Zimmermann (Aug 25 2022 at 11:32):

The last remaining public streams have been made web-public. Sorry that I had forgotten to complete the process.


Last updated: Feb 06 2023 at 06:29 UTC