Sharded matrices and how to multiply them (2025) | Hacker News Reader