Topics:
- GMail marking types as spam (3 messages, latest: Dec 20 2023 at 09:43)
- types 23 (3 messages, latest: Jun 11 2023 at 18:09)
- Gagallium is back (4 messages, latest: Jun 08 2023 at 13:12)
- OPLSS (1 message, latest: Apr 22 2023 at 15:08)
- research Zulips without a public view (9 messages, latest: Feb 11 2023 at 23:10)
- PLDI'22 high online prices (35 messages, latest: Jan 25 2023 at 16:30)
- POPL '23: No online option (1 message, latest: Nov 29 2022 at 19:38)
- Public read-only access (23 messages, latest: May 20 2022 at 00:01)
- stream events (4 messages, latest: May 19 2022 at 06:35)
- TYPES/announce membership disabled (8 messages, latest: May 14 2022 at 17:59)
- LtU.org is Down (5 messages, latest: Apr 25 2022 at 16:38)
- "Community" channel? (1 message, latest: Mar 25 2022 at 16:08)
- types-list (mailing list) moderation (74 messages, latest: Mar 13 2022 at 08:27)
- Drafts and archiving (8 messages, latest: Feb 18 2022 at 00:31)
- Yves Lafont's thesis (1 message, latest: Feb 17 2022 at 15:26)
- [meta] types-list URL rewriting (9 messages, latest: Aug 30 2021 at 01:12)
- Beginner mathematics using a proof assistant? (3 messages, latest: Jun 24 2021 at 20:24)
- ¬Café (49 messages, latest: Jun 04 2021 at 17:17)
- How to anonymize a git repository (8 messages, latest: May 31 2021 at 04:55)
- The mailing-list still has legs (17 messages, latest: May 24 2021 at 15:04)
- Online archives (3 messages, latest: May 16 2021 at 16:14)
- Hello types (13 messages, latest: May 14 2021 at 16:52)
- fornalder: visualizing contributors (1 message, latest: May 14 2021 at 14:56)
- looking at git history when reviewing code: good or bad? (9 messages, latest: May 13 2021 at 17:07)
- LaTeX and videos (1 message, latest: Apr 21 2021 at 00:38)
- Managing Literature for Research (9 messages, latest: Apr 10 2021 at 23:08)
- Conferences after COVID: An Early-Career Perspective (34 messages, latest: Apr 01 2021 at 13:05)
- Better LaTeX support in Zulip? (1 message, latest: Mar 31 2021 at 15:09)
- Searchability (4 messages, latest: Mar 24 2021 at 19:38)
- moving topics (1 message, latest: Mar 05 2021 at 06:17)
- PL Boffins Slack (6 messages, latest: Mar 05 2021 at 06:14)
- icon? (9 messages, latest: Mar 05 2021 at 06:13)
- Meta (discussing Zulip) (5 messages, latest: Mar 04 2021 at 20:02)
Last updated: Mar 28 2024 at 09:01 UTC