Stream: new members
Topic: Zulipchat search question
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?
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
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).
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