Cachet language makes CPU optimizations explicit

The author introduces Cachet, a programming language designed to make compiler performance optimizations explicit by incorporating cache requirements, memory movement, and hardware instructions directly into the language. Using matrix multiplication as a running example, the post demonstrates how to derive and check optimized CPU kernels—including loop swapping, blocking, packing, and tiling—that match the speed of library implementations like OpenBLAS. Open article →