Stories by matt_d

TuxBot: Semantic-Aware Online OS Tuning with Large Language Models

The internet discovers TLA+. Now what?

What Happens When Formalization Becomes Cheap?

A Lean Proof Printing Python Union Find

Exploding variance of means of exponentials: least-squares to the rescue

How Do You Make a Incremental Compiler? (with Julien Verlaguet) [video]

VeriTile: Formal Verification for Triton Kernels

ServingStudio: Simulating, Analyzing, and Optimizing LLM Serving Systems

SWE-Serve: Benchmarking Agentic Engineering for Production Inference Serving

Building an Ultra-High Throughput AI-SQL Engine

A perfect join algorithm? Answering queries in optimal time – Michael Arntzenius [video]

Hardware-Agnostic Models in vLLM

CIC + EM ⊢ Con(ZF)

International Conference on Functional Programming (ICFP) 2026 talks released

What are KV caches really?

XGrammar-2: Fast, Customizable Structured Generation for Tool Calling and Agents

Lean Verified Transformers

FloatLib: Verified Floating-Point Arithmetic in Lean

Covert Caches: TLB Edition

Future-Proof Data Systems [pdf]

1 2 3 4 5 6 7 8 9 10