Stories by matt_d

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

vLLM with torch.compile: Efficient LLM inference on PyTorch

DaCe AD: Unifying High-Performance Automatic Differentiation for ML and SciComp

Still Asking: How Good Are Query Optimizers, Really? [pdf]

Sphinx: A Succinct Perfect Hash Index for x86 [pdf]

DialEgg: Dialect-Agnostic MLIR Optimizer Using Equality Saturation with Egglog [video]

Dependent Types: Universes, or types of types

Translation Validation for LLVM's AArch64 Back End [pdf]

What on Earth Does Pointer Provenance Have to Do with RCU?

Adventures in Type Theory 1 – Locally Nameless STLC (Part 1)

Extending the C/C++ Memory Model with Inline Assembly [video]

Powerful GPUs or Fast Interconnects: Analyzing Relational Workloads

How to Optimize SQL Queries? A Comparison [pdf]

Which Programming Language Should I Teach First: the least productive question

10 Myths of Scalable Parallel Languages Part 5: Productivity and Magic Compilers

Simplifying&Isolating Failure-Inducing Input: A Retrospective on Delta Debugging

1
2
3
4
5
6
7
8
9
10