Stories by matt_d

Machine Scheduler in LLVM – Part II

The content-addressed storage (CAS) model of incremental build systems

Defeating the Training-Inference Mismatch via FP16

Opportunistically Parallel Lambda Calculus

Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing

Linear effects, exceptions, resources: Curry-Howard destructors correspondence

Making the Clang AST Leaner and Faster

Draw high dimensional tensors as a matrix of matrices

Wafer-Scale AI Compute: A System Software Perspective

Towards Automated GPU Kernel Generation

Scaling Laws Meet Model Architecture: Toward Inference-Efficient LLMs

Triton Developer Conference 2025 Talks [video]

OpenEstimate Evaluating LLMs on Reasoning Under Uncertainty with Real-World Data

torchcomms: A modern PyTorch communications API

Building an Open ABI and FFI for ML Systems

Instruction Set Migration at Warehouse Scale

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, COSE [pdf]

The Calculated Typer – Haskell Symposium (ICFP⧸SPLASH'25) [video]

PickleBall: Secure Deserialization of Pickle-Based Machine Learning Models

Clang Bytecode Interpreter Update

2
3
4
5
6
7
8
9
10
11