The GDS for Matrix Convolution and for Matrix Multiplication can already reviewed here @jeffdi https://github.com/leviathanch/kicp/tree/main/gds