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