Stories by matt_d

A Generalized Algebraic Theory of Directed Equality

Cppless: Single-Source and High-Performance Serverless Programming in C++

Gluon: a GPU programming language based on the same compiler stack as Triton

Machine Scheduler in LLVM – Part I

Safepoints and Fil-C

Simon Peyton Jones: Pursuing a Trick a Long Way, Just to See Where It Goes [video]

Faux Type Theory: three minimalist OCaml simple proof checker implementations

Inside vLLM: Anatomy of a High-Throughput LLM Inference System

simdjson Version 4.0.0 Released

Introducing BackendBench: how well LLMs and humans can write PyTorch backends

Rethinking Analytical Processing in the GPU Era

EUV: Lithography: History, Latest Results, Technology Roadmap [video]

Disaggregation: A New Architecture for Cloud Databases

GSoC 2025 – Byte Type: Supporting Raw Data Copies in the LLVM IR

The Future of Memory: Limits and Opportunities

Interposing on clone() system calls in-process, from Linux userspace

So you want to control flow in PyTorch 2

IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing

Evolving the OCaml Programming Language (2025) [pdf]

Why ML Needs a New Programming Language – Chris Lattner – Signals and Threads

12 13 14 15 16 17 18 19 20 21