Zulip Chat Archive

Stream: new members

Topic: Zulipchat search question


view this post on Zulip Kevin Sullivan (May 07 2020 at 16:37):

Sorry to post this here. From the main zulipchat page, I search for "affine" (without the quotation marks). This used to return a bunch of pages. I'm looking in particular for a comment I saw recently about formalizing calculus in affine rather than linear spaces. But this search now returns only two threads. I'm probably doing something completely moronic. Anyone notice anything different in the last few days?

view this post on Zulip Alastair Horn (May 07 2020 at 17:03):

Are you on mobile? In my experience, the web version allows me to search through the entirety of the zulip chat history, while the mobile app will not let me do this, though there probably is a way

view this post on Zulip Bryan Gin-ge Chen (May 07 2020 at 17:06):

Maybe this comment is the one you're looking for? I was able to find it by searching for "calculus", but it doesn't show up when I search for "affine" (on desktop).

view this post on Zulip Bryan Gin-ge Chen (May 07 2020 at 17:07):

Also, I think this thread is fine here, but note that we also have a Zulip meta stream.


Last updated: May 14 2021 at 04:22 UTC