Zulip Chat Archive

Stream: Zulip meta

Topic: Tags on Zulip topics/replies

Eric Taucher (Dec 18 2021 at 09:58):

Now that I have had some time to actively use this site, one feature here that I can't seem to find are tags for topics/replies.

I have read Zulip issue - Enable tagging of messages and listing all the tags #1901 and find that others also seek tags but yet there is no Zulip core mechanism for tags, only work arounds that are not a true fit.

The reason I ask is that I am now regularly searching for answers to my questions before posting but having to search for just words often results in hundreds if not more items in the result list. At which point I just post a new topic. If there were tags I feel that I would probably find more useful info faster and not be asking as many questions.

Johan Commelin (Dec 18 2021 at 10:07):

So far we've dealt with the "problem" by just reposting and reanswering questions. If someone remembers an older thread, they post a link to it.

Eric Wieser (Dec 18 2021 at 10:12):

You can always send links to interesting threads to yourself in a message, where you can then write some context

Anne Baanen (Dec 20 2021 at 09:41):

For what it's worth, there's also the star button next to the emoji button if you hover over a message, which functions like a bookmark.

Eric Taucher (Jan 06 2022 at 13:30):

I don't know if Zulip can do this.
Can the topic https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Where.20to.20lookup.20math.20theories.2Fconjectures.20etc.2E.3F

be split at


with the new topic name of

Lean for the Inept Mathematician

Last updated: Dec 20 2023 at 11:08 UTC