Tags Blog CUDA CuTe DSL GPU Kernels LaTeX Linear Algebra Math Optimization Rust SSG Type Theory Vector Spaces