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.
John Baez (Mar 23 2020 at 21:29):1) Is there a way for people to "block" other people - not see their comments?
2) On the ACT@UCR Zulip, I'm able to delete my own comments. I don't seem to have that ability here. I'd like it.
Nathanael Arkor (Mar 23 2020 at 21:30):re. 1), you can't block or mute people (https://github.com/zulip/zulip/issues/168)
Christian Williams (Mar 23 2020 at 21:30):for 2), it should work the same as before.
Emily Pillmore (Mar 23 2020 at 21:31):Disappointingly, https://github.com/zulip/zulip/issues/8040 is still in progress. This platform looks like it uses the Slack API or something similar to it, and they take the stance that blocking is bad business practice. I imagine Zulip inherited this.
John Baez (Mar 23 2020 at 21:55):for 2), it should work the same as before
But it doesn't - not for me. When I click on the little downarrow that shows up next to the data of one of my comments, I get an option to edit but no longer an option to delete. That's the difference between here and the ACT@UCR Zulip.
Jonathan Beardsley (Mar 26 2020 at 15:16):Anyone know if there's a way to tag topics? I can tag streams using # but not topics.
Nathanael Arkor (Mar 26 2020 at 15:23):you can tag topics by prefixing them with the stream name and a >, like #general > Zulip questions
Jonathan Beardsley (Mar 26 2020 at 15:23):Aha, thanks!
Nathanael Arkor (Mar 26 2020 at 15:23):(if you type > while a stream name, it should suggest the topics too)
Jonathan Beardsley (Mar 26 2020 at 15:37):I have now shared the link that @Jules Hedges originally posted on Twitter with several people, and they keep trying to join, but Zulip is telling them they have to have an invite. Does anyone know if there's a way to fix this? Is it true that people have to be invited and we can't just send them a link?
Jonathan Beardsley (Mar 26 2020 at 15:40):Oh okay I see what was happening. Because Jules' link was shown to me on Twitter as just a big button, I didn't realize it was specifically an invite link. I thought it was just a link to the Zulip. But now I copied the actual link text and it's working.
Jonathan Beardsley (Mar 26 2020 at 15:40):Derp.
Burak Emir (Mar 29 2020 at 09:23):@Christian Williams, you suggested that a conversation in a topic would better move to another stream (and I agree). What is the lifecycle of topics? Can one "move" entire conversations? Or is there a convention/protocol that someone posts a summary in the destination stream and one abandons the old stream/topic?
Burak Emir (Mar 29 2020 at 09:23):Can one delete or archive topics?
Nathanael Arkor (Mar 29 2020 at 14:33):you can't move topics between streams yet: so it's probably easiest to start a topic in a new thread with a link to the old one, and link to the new one in the old one too
Fabrizio Genovese (Mar 29 2020 at 15:38):There's a PR that has been merged that allows you to do this, but I don't think the changes have been implemented in their cloud solution yet. I'd expect this to happen soonish tho
chloekek (Mar 30 2020 at 10:10):When I open Zulip on my desktop it keeps refreshing all the time. I disabled Referer blocking and enabled JS and custom fonts but the issue persists, did anyone else encounter this?
chloekek (Mar 30 2020 at 10:14):I’ll try the desktop app instead of the website, if it is libre. Maybe it works.
Fabrizio Genovese (Mar 30 2020 at 10:48):I personally did not experience this, but I'd suggest to ask this sort of questions directly to Zulip devs on their github page
Bobby T (Mar 30 2020 at 13:55):Does anyone know how to get the Zulip desktop app to connect? Because I made my account through gmail, and I have no issue logging in through my browser (Firefox), but when I try to login through the desktop app, I get this:
"This browser or app may not be secure. Learn more
Try using a different browser. If you’re already using a supported browser, you can refresh your screen and try again to sign in."
Jules Hedges (Mar 30 2020 at 13:58):I have the same problem, I brought it up in meta at some point, I'm still using it in the browser. (Apparently the desktop client is basically a web browser anyway so it makes little difference)
Nathanael Arkor (Mar 30 2020 at 13:59):it's supposed to be fixed in the next version of the desktop app if I remember correctly
Bobby T (Mar 30 2020 at 13:59):Huh, well I guess that's as good as I'll be able to get for now - I'll just have to cut my way through a jungle of tabs to get back here every time haha
Jules Hedges (Mar 30 2020 at 14:00):#meta > google acct + client = :(
Thomas Read (Mar 30 2020 at 14:06):Someone said there that you can log out and use the "forgotten password" feature to get a password - you can then also log in with the password rather than via Google.
Bobby T (Mar 30 2020 at 14:41):Woohoo! I'm in! That method totally works @Thomas Read
Beppe Metere (Mar 31 2020 at 14:27):Maybe it has already been said... Anyway, I usually use my mac to browse zulip, but sometimes I use my mobile, with the android app. I have seen that on my mobile math formulas are displayed not really well. It is only me? Any fix? Cheers.
Beppe.
Tim Hosgood (Mar 31 2020 at 15:31):Beppe Metere said:
Maybe it has already been said... Anyway, I usually use my mac to browse zulip, but sometimes I use my mobile, with the android app. I have seen that on my mobile math formulas are displayed not really well. It is only me? Any fix? Cheers.
Beppe.
https://github.com/zulip/zulip-mobile/issues/2660
Cyphase (Mar 31 2020 at 19:11): Cheng Z. (Mar 31 2020 at 20:06):Anyone have any way to change zulip into night mode on windows desktop?
Cyphase (Mar 31 2020 at 20:28):There's an option in the settings, but you can also send a message of /night.
Cheng Z. (Mar 31 2020 at 20:30):Let me try
Cheng Z. (Mar 31 2020 at 20:30):wow, this is amazing.
Cheng Z. (Mar 31 2020 at 20:31):Cyphase said:
There's an option in the settings, but you can also send a message of
/night.
Thank you so much