Zulip Chat Archive
Stream: Sphere packing in 8 dimensions
Topic: Talks
Sidharth Hariharan (Jan 21 2026 at 18:48):
As mentioned in the packathons, we are giving an update at Lean Together in about 10 minutes. Join here!
Sidharth Hariharan (Jan 28 2026 at 03:26):
Hi everyone! As I mentioned during the packathons, I'm speaking at the Aarhus Math and AI workshop tomorrow: . Here is the link, for anyone wishing to attend virtually!
Last updated: Feb 28 2026 at 14:05 UTC