Zulip Chat Archive

Stream: Zulip meta

Topics:

removed thread (3 messages, latest: Dec 19 2025 at 23:40)
Muting not working (8 messages, latest: Dec 03 2025 at 15:02)
Strange "Mentions" behavior (4 messages, latest: Nov 14 2025 at 18:29)
Code blocks in bullet items (8 messages, latest: Sep 25 2025 at 22:33)
Zulip's 10-year anniversary (1 message, latest: Sep 25 2025 at 20:59)
channel folders feedback? (15 messages, latest: Sep 25 2025 at 00:13)
Custom PR string for combinatorial-games repo (10 messages, latest: Sep 15 2025 at 03:03)
PhysLean linkifier broken (20 messages, latest: Sep 12 2025 at 22:27)
docs linkifier fails on Greek letter (12 messages, latest: Sep 07 2025 at 10:21)
Emoji user badges (9 messages, latest: Sep 06 2025 at 19:25)
Encoding of uploaded text files (9 messages, latest: Jul 25 2025 at 20:26)
✔ Resolving topics (5 messages, latest: Jul 20 2025 at 22:04)
Mobile app releases (4 messages, latest: Jul 11 2025 at 08:24)
search feature (5 messages, latest: Jul 04 2025 at 01:55)
mobile apps: getting links to messages (8 messages, latest: Jun 24 2025 at 05:15)
Escaping hashtag (7 messages, latest: Jun 19 2025 at 01:10)
Mark messages read on scroll in flutter app (6 messages, latest: Jun 14 2025 at 09:35)
Keyboard shortcut to format as code? (6 messages, latest: May 09 2025 at 20:26)
✔ Updating #tutorials target link (4 messages, latest: May 06 2025 at 21:21)
Marking only one message unread (16 messages, latest: Apr 28 2025 at 23:23)
Blurry fonts in zulip desktop (5 messages, latest: Apr 16 2025 at 06:11)
escaping backtics in one-line code block (12 messages, latest: Apr 04 2025 at 11:14)
Old DMs (9 messages, latest: Mar 31 2025 at 07:03)
mac app much slower than linux app? (35 messages, latest: Mar 24 2025 at 19:51)
beta feedback: light/dark setting independent of device s… (5 messages, latest: Mar 17 2025 at 21:33)
beta feedback: numbered lists rendering wrong (4 messages, latest: Mar 17 2025 at 21:30)
Changes to typing on Mobile (10 messages, latest: Mar 12 2025 at 13:34)
Adding options to polls (24 messages, latest: Feb 26 2025 at 17:32)
How to type unicode characters in Zulip? (10 messages, latest: Feb 02 2025 at 22:01)
changing name in archived messages (3 messages, latest: Feb 02 2025 at 01:10)
Lean Zulip is very slow (20 messages, latest: Jan 30 2025 at 16:24)
Annoying timezone prompt (4 messages, latest: Jan 22 2025 at 21:25)
pr emoji (51 messages, latest: Jan 22 2025 at 11:45)
Box to select topics (6 messages, latest: Jan 17 2025 at 15:53)
please send me a DM via zulip-send (35 messages, latest: Jan 08 2025 at 08:59)
beta feedback: Joachim Breitner (8 messages, latest: Dec 27 2024 at 20:12)
flutter beta (37 messages, latest: Dec 27 2024 at 18:18)
LaTeX display in mobile app (10 messages, latest: Dec 27 2024 at 18:14)
beta feedback: editing messages (3 messages, latest: Dec 27 2024 at 17:49)
Lean Zulip email digest (7 messages, latest: Dec 18 2024 at 23:24)
Notification control of individual topics in iOS Zulip apps (3 messages, latest: Dec 14 2024 at 19:00)
Broken thread links after moving (12 messages, latest: Dec 13 2024 at 21:12)
pasting in Zulip (6 messages, latest: Nov 22 2024 at 01:19)
creating channels (7 messages, latest: Nov 20 2024 at 04:01)
pinging channel (4 messages, latest: Nov 13 2024 at 23:55)
Search engine indexing (5 messages, latest: Nov 11 2024 at 12:37)
Android app keeps losing network connection (9 messages, latest: Nov 10 2024 at 17:03)
Way to select all post in a topic (4 messages, latest: Oct 29 2024 at 16:15)
bots and direct messages (2 messages, latest: Oct 25 2024 at 10:00)
search filter issues (3 messages, latest: Oct 03 2024 at 23:26)
Links to messages don't work? (8 messages, latest: Oct 03 2024 at 07:01)
Mark all as read UX (11 messages, latest: Oct 01 2024 at 07:16)
Save failed: The ordered list must enumerate all existing li (6 messages, latest: Sep 30 2024 at 21:21)
Inline images (7 messages, latest: Sep 30 2024 at 20:10)
Link to channels (7 messages, latest: Sep 30 2024 at 19:59)
Open link in desktop app (1 message, latest: Aug 13 2024 at 15:06)
Weird whitespace in code snippets (5 messages, latest: Aug 12 2024 at 13:15)
Lean in Zulip 9.0 blog post (1 message, latest: Aug 01 2024 at 21:22)
fixing the mathlib#n linkifier (14 messages, latest: Jul 26 2024 at 03:42)
hide "resolve" button or ask for confirmation? (24 messages, latest: Jul 26 2024 at 00:46)
unread message counts not syncing between desktop and mobile (16 messages, latest: Jul 25 2024 at 08:17)
tracking attempts in the zulip app for android (6 messages, latest: Jul 24 2024 at 04:15)
reservoir linkifier (2 messages, latest: Jul 18 2024 at 14:03)
Expand membership of group DM (3 messages, latest: Jul 08 2024 at 14:01)
scrolling on Firefox mobile (10 messages, latest: Jun 14 2024 at 08:16)
Reminder functionality (13 messages, latest: Jun 12 2024 at 08:48)
Deleting messages (9 messages, latest: Jun 07 2024 at 19:22)
Display unread count only for topics I follow (7 messages, latest: May 31 2024 at 01:37)
Announce handling bot (11 messages, latest: May 24 2024 at 20:34)
Changing the default syntax highlighter to lean4 (20 messages, latest: May 22 2024 at 11:44)
Filter stream list to show following chats (15 messages, latest: May 14 2024 at 19:57)
FF Perf (2 messages, latest: May 09 2024 at 16:41)
Opening the lean server also copies the content (6 messages, latest: May 08 2024 at 06:27)
deleted (2 messages, latest: May 01 2024 at 06:57)
global LaTeX macros (3 messages, latest: Apr 02 2024 at 22:13)
can't post LaTeX (14 messages, latest: Mar 27 2024 at 16:42)
Copying code now produces several blank lines (12 messages, latest: Mar 26 2024 at 04:36)
Is there code for X description text? (4 messages, latest: Mar 23 2024 at 23:06)
"view in playground" button overlap (6 messages, latest: Mar 03 2024 at 23:52)
Zulip community events (2 messages, latest: Feb 20 2024 at 19:48)
Disabling "subscribe user to this stream" popups (2 messages, latest: Feb 20 2024 at 09:36)
Bug in topic links involving backticks (3 messages, latest: Feb 15 2024 at 20:21)
colour of abbrev (5 messages, latest: Jan 26 2024 at 16:17)
Lean3 codeblocks open the lean4 web editor (4 messages, latest: Jan 17 2024 at 13:59)
disable search for similar keywords? (9 messages, latest: Jan 14 2024 at 18:46)
list of sound effects (3 messages, latest: Dec 26 2023 at 17:28)
android 13 font (27 messages, latest: Dec 20 2023 at 11:16)
font issue on Android (14 messages, latest: Dec 15 2023 at 14:07)
Android app message edits (20 messages, latest: Dec 07 2023 at 04:19)
Zulip bug? (28 messages, latest: Dec 06 2023 at 23:08)
syntax highlighting (14 messages, latest: Dec 06 2023 at 17:59)
Refer to topic from mobile? (2 messages, latest: Nov 20 2023 at 19:17)
Mark thread as read from converstation view? (8 messages, latest: Nov 16 2023 at 17:26)
Lean 3 vs Lean 4 (26 messages, latest: Nov 05 2023 at 05:35)
links on code blocks in mobile (14 messages, latest: Nov 02 2023 at 22:46)
Subscribing to threads (2 messages, latest: Nov 02 2023 at 07:52)
✔ Topic for my own thoughts? (10 messages, latest: Oct 03 2023 at 23:49)
Many archive links are broken (21 messages, latest: Aug 25 2023 at 08:25)
Linkifiers (67 messages, latest: Aug 09 2023 at 05:56)
#tpil (1 message, latest: Aug 08 2023 at 16:59)
Markdown emoji weirdness (2 messages, latest: Jul 28 2023 at 11:46)
CSS settings (4 messages, latest: Jul 18 2023 at 21:15)
scrolling (15 messages, latest: Jul 17 2023 at 22:04)
Broken linkifiers due to URL escaping (25 messages, latest: Jun 21 2023 at 11:18)
code too wide (21 messages, latest: May 10 2023 at 18:49)
Creating a new stream (6 messages, latest: Apr 26 2023 at 23:26)
✔ can't see a topic I created (5 messages, latest: Apr 23 2023 at 07:53)
Keeping Zulip lean (12 messages, latest: Apr 14 2023 at 14:30)
✔ Create new stream (4 messages, latest: Apr 04 2023 at 16:37)
Default visibility of email addresses (13 messages, latest: Mar 22 2023 at 12:37)
Lean playground link dead (5 messages, latest: Mar 13 2023 at 11:27)
✔ Using one's real name (4 messages, latest: Feb 21 2023 at 10:12)
Beginners Threads? (3 messages, latest: Feb 17 2023 at 18:06)
Editor specific stream (4 messages, latest: Feb 12 2023 at 16:49)
thread link not working (3 messages, latest: Jan 27 2023 at 17:26)
archive site shows 404 (2 messages, latest: Jan 27 2023 at 16:17)
✔ rename topics that I created (19 messages, latest: Jan 18 2023 at 07:29)
unicode characters in docs links (21 messages, latest: Dec 24 2022 at 23:54)
Html support (4 messages, latest: Dec 01 2022 at 19:02)
Zulip Server 6.0 release (1 message, latest: Nov 17 2022 at 21:43)
rewriting old links (10 messages, latest: Nov 17 2022 at 21:43)
users in left sidebar option feedback (7 messages, latest: Nov 08 2022 at 23:05)
✔ profile info (16 messages, latest: Nov 07 2022 at 21:36)
make URLs work in the (linux) app? (2 messages, latest: Nov 07 2022 at 20:31)
profile info (1 message, latest: Nov 06 2022 at 17:41)
download topic messages (4 messages, latest: Oct 16 2022 at 19:43)
Blobs (6 messages, latest: Oct 14 2022 at 15:48)
Zulip icon (8 messages, latest: Sep 26 2022 at 23:08)
Administrators (3 messages, latest: Sep 10 2022 at 22:11)
Test: move topic by Edit / by a newcomer (4 messages, latest: Aug 22 2022 at 23:40)
Project linkifier (1 message, latest: Aug 19 2022 at 05:01)
Test: move everything in a topic below one's post (3 messages, latest: Aug 14 2022 at 01:28)
testing moving topic by Edit (topic changed) (6 messages, latest: Aug 14 2022 at 01:10)
read receipts (10 messages, latest: Aug 05 2022 at 14:28)
multiple streams one topic (4 messages, latest: Aug 05 2022 at 12:55)
"number" attached to Zulip account (4 messages, latest: Jul 28 2022 at 21:55)
Slow loading (4 messages, latest: Jul 06 2022 at 17:32)
PR reviews (5 messages, latest: Jul 05 2022 at 08:37)
web public streams (25 messages, latest: Jun 12 2022 at 16:22)
landing post for newcomers (50 messages, latest: May 01 2022 at 23:30)
command linkifier (2 messages, latest: Apr 30 2022 at 20:45)
Weird emoji (11 messages, latest: Apr 27 2022 at 15:54)
get notifications for topics I started (2 messages, latest: Apr 06 2022 at 16:33)
✔ stacks linkifier (1 message, latest: Mar 22 2022 at 15:10)
stacks linkifier (3 messages, latest: Mar 22 2022 at 12:52)
Tip Linkifier (3 messages, latest: Feb 23 2022 at 23:36)
merci emoji (1 message, latest: Feb 02 2022 at 14:18)
topic search (10 messages, latest: Jan 27 2022 at 17:37)
zulip view (16 messages, latest: Jan 27 2022 at 12:15)
[ in polls](topic/.3Ctime.3E.20in.20polls.html) (2 messages, latest: Jan 25 2022 at 23:01)
Zulip statistics (5 messages, latest: Jan 25 2022 at 17:46)
Is it possible to like just part of a reply? (3 messages, latest: Jan 22 2022 at 09:39)
list of zulip groups (10 messages, latest: Jan 17 2022 at 21:42)
Tags on Zulip topics/replies (5 messages, latest: Jan 06 2022 at 13:30)
lean4 linkifier (1 message, latest: Dec 18 2021 at 21:03)
linkifier to PRs (15 messages, latest: Dec 13 2021 at 18:56)
search -> "unable to connect to Zulip" (6 messages, latest: Dec 10 2021 at 00:27)
Suggested words for linkify (15 messages, latest: Dec 06 2021 at 18:08)
How to see current list of linkify words (2 messages, latest: Dec 06 2021 at 12:42)
New topic from phone (2 messages, latest: Nov 28 2021 at 13:37)
glossary (19 messages, latest: Nov 22 2021 at 14:33)
Lean community on Zulip case study (1 message, latest: Nov 18 2021 at 21:50)
Hiding unread counts for muted streams (1 message, latest: Nov 09 2021 at 15:53)
Resolving topics (30 messages, latest: Oct 19 2021 at 08:31)
logo in top left (6 messages, latest: Oct 05 2021 at 20:58)
Creating a new topic (1 message, latest: Oct 05 2021 at 00:27)
Image paste (9 messages, latest: Oct 04 2021 at 21:26)
Zulip website (16 messages, latest: Oct 04 2021 at 21:02)
unmute thread (3 messages, latest: Aug 16 2021 at 15:37)
text (4 messages, latest: Aug 08 2021 at 15:13)
#howtoPR (11 messages, latest: Jul 19 2021 at 09:45)
allow more people to edit topics / change streams (18 messages, latest: Jul 17 2021 at 12:09)
Prettier Zulip (6 messages, latest: Jul 12 2021 at 14:49)
wide code blocks (4 messages, latest: Jun 04 2021 at 16:12)
Keyboard shortcut for :+1: (5 messages, latest: May 31 2021 at 07:53)
LaTeX macros (4 messages, latest: May 28 2021 at 01:51)
Jumpy (2 messages, latest: May 09 2021 at 13:32)
Live button (7 messages, latest: May 07 2021 at 13:50)
(no topic) (2 messages, latest: May 06 2021 at 12:37)
The :lean: emoji (10 messages, latest: Apr 22 2021 at 20:18)
A help stream (3 messages, latest: Apr 16 2021 at 03:46)
Notifications from github (5 messages, latest: Mar 26 2021 at 14:03)
recent topics (14 messages, latest: Mar 25 2021 at 03:36)
Diagrams (4 messages, latest: Mar 19 2021 at 17:29)
linkifier for LTE (6 messages, latest: Mar 15 2021 at 17:28)
Fonts broken? (17 messages, latest: Mar 11 2021 at 17:07)
Splitting lean4? (4 messages, latest: Mar 09 2021 at 07:30)
Android app thread links (3 messages, latest: Feb 10 2021 at 06:49)
can we make old streams "invisible" (7 messages, latest: Feb 04 2021 at 09:52)
offtopic math (5 messages, latest: Jan 30 2021 at 15:23)
Editing titles of posts - this title is deliberately long (2 messages, latest: Jan 13 2021 at 15:46)
math(ematica) (10 messages, latest: Dec 16 2020 at 21:42)
Ping all (1 message, latest: Dec 02 2020 at 11:43)
seems that list depth is limited (1 message, latest: Nov 03 2020 at 14:59)
links (79 messages, latest: Oct 27 2020 at 15:51)
Links to code snippets (29 messages, latest: Oct 15 2020 at 10:37)
auto timezone times (18 messages, latest: Sep 02 2020 at 07:42)
curating zulip (6 messages, latest: Aug 26 2020 at 04:41)
quoting codeblocks (22 messages, latest: Aug 17 2020 at 22:26)
Logo (84 messages, latest: Aug 08 2020 at 16:28)
type unicode in zulip (1 message, latest: Jul 31 2020 at 09:19)
Getting notifications for just specific topics in a stream (7 messages, latest: Jul 28 2020 at 01:32)
Adding a stream (5 messages, latest: May 22 2020 at 21:12)
#mwe bot (76 messages, latest: May 22 2020 at 19:38)
admins (19 messages, latest: May 19 2020 at 05:04)
is it expensive to start new streams? (19 messages, latest: May 17 2020 at 14:19)
name of this stream (6 messages, latest: Apr 29 2020 at 15:25)
zulip admins (1 message, latest: Apr 29 2020 at 14:37)
stream events (2 messages, latest: Apr 29 2020 at 14:31)

Last updated: Dec 20 2025 at 21:32 UTC