Sum-Check as an Algebraic Tensor Reduction: Part I | Hacker News Reader