Stories by matt_d

In Search of a Compositional Theory of Self-Stabilization

Covert Caches: When Is a Cache, a Cache?

Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering

Typing Python, Gradually [video]

Egglog and Equality Saturation in a Production Tensor Compiler

Semantics for 2D Rasterization

waterfall: Induction Proofs in Lean

HarnessTax: How Much Does the Harness Matter for Coding Agents?

Breaking the 1.58-bit Barrier for Ternary LLMs

Accurate Models of AMD Matrix Cores

AI Compilers Are Not Just Compilers for AI

An Educational GEMM Ladder for Helios GPUs

Verification of a Generational Garbage Collector

Revisiting Soundness for Occurrence Typing, Semantically

Discovering Interpretable Algorithms by Decompiling Transformers to RASP [video]

Branch Divergence in SIMT Machines: From CFG to Compiler Divergence Analysis [pdf]

Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning

Into the CUDA Multiverse of Runtime Compilation: GPU DBMS Kernel Fusion [pdf]

Agents Have Favorite Tools

Duplex Cue: Does a voice agent adapt while speaking?

1 2 3 4 5 6 7 8 9 10