Stories by matt_d

A CIRCT (Circuit IR Compilers and Tools) Project Tutorial

Lifting Terms: Making Well Scoped Syntax Dumber

Sheaves in Haskell

Writing static checks to an unsuspecting library with Liquid Haskell

Harvesting Sub-Microsecond CXL Memory Stalls with LiteSwitch

Formally Verifying AI-Generated GPU Kernels

Occupancy Math on the AMD MI355X GPU (CDNA4): A From-First-Principles Guide

Intelligence Is Free, Now What? Data Systems For, Of, and by Agents

Binvariants: Register-Level Invaraint-Guided Fuzzing for Binaries

PuzzleMoE: Efficient Compression of Large Mixture-of-Experts Models

Ekka: Automated Diagnosis of Silent Errors in LLM Inference

Architecture 2.0: Designing AI-Assisted Loops for Computing Systems

Beyond Prediction: Tail-Aware Scheduling for LLM Inference

SOLAR: AI-Powered Speed-of-Light Performance Analysis

The Verification Horizon: No Silver Bullet for Coding Agent Rewards

Binary Coverage the Wrong Way

Stealing 50 Years of Database Ideas for AI Agents

Empirical Computation: Prompting versus Programming [pdf]

Programming Language Design and Implementation in the Era of Machine Learning [video]

Senior SWE-Bench: open-source benchmark that assesses agents as senior engineers

8 9 10 11 12 13 14 15 16 17