Stories by matt_d

Reducing HBM Bottlenecks in JAX-Based LLM Training with Host Offloading

Compiler Testing – Part 2: Metamorphic Testing with Verified Identities

What Every Python Developer Should Know About the CPython ABI

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

1 2 3 4 5 6 7 8 9 10