You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Notification Bot (Dec 02 2020 at 12:13):Stream created by Jelle Herold.
Morgan Rogers (he/him) (Dec 02 2020 at 12:19):Hi there @Jelle Herold! Was your creation of this stream intentional?
Jelle Herold (Dec 02 2020 at 12:57):[Mod] Morgan Rogers said:
Hi there Jelle Herold! Was your creation of this stream intentional?
Yes. Our tool is deeply based on applied CT
Morgan Rogers (he/him) (Dec 02 2020 at 13:40):No doubt, but your tool might be better-served as a topic in an existing stream, as Jules Hedges suggests. We've had problems with "dead" streams where no one sees the messages because they were never subscribed. This stream currently has only 6 subscribers, for example.
On the other hand, if you had intended for this to be a private stream for those developing the tool, we can change the access settings for you.
Jelle Herold (Dec 02 2020 at 14:35):Hm, I do think of it as a private stream for developers, but not private :). I suppose we can follow the suggestion, but then we cannot use topics to organize it, right? At the moment there are only about 4 active users anyway. But it's possible that at some point nearly everyone this chat will use it.
Morgan Rogers (he/him) (Dec 02 2020 at 14:43):Okay! Just let me know if/when you need any changes made. I look forward to seeing what comes out of this :big_smile:
Matteo Capucci (he/him) (Dec 02 2020 at 16:06):@Jelle Herold maybe you could make an announcement on #general or #practice: software so people see it and can subscribe here
Notification Bot (Oct 21 2023 at 14:35):Nathanael Arkor changed the access permissions for this stream from Public to Web-public.
Notification Bot (Oct 31 2023 at 11:16):Matteo Capucci (he/him) changed the description for this stream.
Stream to chat about the process.io beta
Deprecated, use #practice: software instead. Stream to chat about the process.io beta
Notification Bot (Oct 31 2023 at 11:16):Matteo Capucci (he/him) renamed stream process-io to deprecated: process-io.