Stories by matt_d

Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens

Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)

What's Better Than Binary? – Advent of Computing Episode 187

Speeding Up the Plush Garbage Collector

[pre-RFC] Alloy formalization of LLVM IR's concurrent memory model

Outperforming cuBLAS on NVFP4: Blackwell

AutoDesign: Meta-Harness Optimization for Long-Horizon Agentic Design

Instruction Scheduling in LLVM

A Barrier-Free Synchronization Algorithm for Multi-Engine AI Accelerators

Nested Functions with GCC and Clang

z486: A 486-Class Pipelined FPGA CPU with Integrated Floating-Point

CAKE: Compiler-Agent Co-Design for Frontier Kernel Evolution

Structured Decoding with XGrammar

TTT-Discover: Learning to Discover at Test Time

Spaghettifying DRAM

Specula: Scaling formal specs for autonomous model checking of system code

Principia Mathematica is modern and insightful

Estimating Branch Probabilities

A SAT Attack on Tarski's High School Algebra Problem

What Evolves When We Talk About Harness Evolution?

2 3 4 5 6 7 8 9 10 11