Stories by matt_d

Vectorization of Verilog Designs and its Effects on Verification and Synthesis

LATTE ’26: Workshop on Languages, Tools, and Techniques for Accelerator Design

Read Less, Steer More

The Data Structures of Roads

Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory

Real or Slop? – Programming Languages Papers Edition

Mamba-3

EvoX: Letting AI Evolve Its Own Evolution Process

Native DSLs Ops in PyTorch

Flash-KMeans: Fast and Memory-Efficient Exact K-Means

Gluon: Explicit Performance

Block Number Formats are (Still!) Direction Preservers

cuTile Rust: a safe, tile-based kernel programming DSL for Rust

KernelBlaster: A framework for in context learning for code optimization

Demystifying and Improving Lazy Promotion in Cache Eviction [pdf]

Journeying through Optimization with Heuristics [video]

To Sparsify or to Quantize: A Hardware Architecture View

Efficient sparse computations using linear algebra aware compilers (2025)

A Field Guide to Reward Hacking in AI Kernel Generation

AI and the Mixed-Consistency Future

13 14 15 16 17 18 19 20 21 22