Zulip Chat Archive

Stream: Sphere packing in 8 dimensions

Topic: channel events

Notification Bot (Jun 13 2025 at 13:16):

Public channel created by Bhavik Mehta. Description:

Discussion of the Sphere-Packing-Lean

Notification Bot (Jun 13 2025 at 13:16):

Bhavik Mehta changed the description for this channel.

  • Old description:

Discussion of the Sphere-Packing-Lean

  • New description:

Discussion of the Sphere-Packing-Lean project

Notification Bot (Feb 23 2026 at 17:14):

Matthew Ballard changed the access permissions for this channel from Public to Web-public.

Last updated: Feb 28 2026 at 14:05 UTC