This might be interesting: Structuring Arrays with Algebraic Shapes https://dl.acm.org/doi/abs/10.1145/3736112.3736141 https://dl.acm.org/doi/abs/10.1145/3736

This might be interesting: Structuring Arrays with Algebraic Shapes https://dl.acm.org/doi/abs/10.1145/3736112.3736141 https://dl.acm.org/doi/abs/10.1145/3736112.3736141 https://news.ycombinator.com/item?id=44399757 https://news.ycombinator.com/item?id=44399757