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).
#Announcements and #Coq devs & plugin devs are now web-public. I will continue making streams web-public progressively over the next few days.
#Coq users, #GitHub notifications and #Miscellaneous are now web-public.
#Coq Platform devs & users, #coqbot devs & users, #Dune devs & users and #Elpi users & devs are now web-public.
#Hierarchy Builder devs & users, #jsCoq, and #Ltac2 are now web-public.
#Nix toolbox devs & users, #Proof General users, and #SerAPI are now web-public.
#coq-community devs & users, #Codewars, #Constructive reals & analysis and #fiat-crypto are now web-public.
#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.
#math-comp users, #math-comp devs and #MetaCoq are now web-public.
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