Recent Posts A Case for Tracing Based DSL Kernel Languages Finding deadlocks in CuTe kernels with SPIN Attention From First Principles