Zulip Chat Archive

Stream: Zulip meta

Topics:

android 13 font (26 messages, latest: Dec 20 2023 at 06:22)
Lean3 codeblocks open the lean4 web editor (3 messages, latest: Dec 18 2023 at 01:14)
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)
disable search for similar keywords? (8 messages, latest: Nov 06 2023 at 21:08)
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)
pr emoji (19 messages, latest: Aug 16 2022 at 12:47)
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)
docs linkifier fails on Greek letter (1 message, latest: Jul 19 2022 at 04:20)
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 2023 at 11:08 UTC