Zulip Chat Archive

Stream: Sphere packing in 8 dimensions

PRs (2 messages, latest: Dec 16 2025 at 03:27)
ItaLean Working Group (5 messages, latest: Dec 09 2025 at 15:25)
Weekly Packathons @ CMU (24 messages, latest: Dec 01 2025 at 15:35)
Complex analysis (71 messages, latest: Nov 04 2025 at 18:18)
Announcements (5 messages, latest: Sep 12 2025 at 02:16)
Typo in Blueprint (2 messages, latest: Jun 21 2025 at 01:57)
✔ CI (14 messages, latest: Jun 14 2025 at 09:07)
channel events (2 messages, latest: Jun 13 2025 at 13:16)

Last updated: Dec 20 2025 at 21:32 UTC