Stories by matt_d

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

A Clash Course in Solving Sudoku (Functional Pearl) [pdf]

Inter-APU Communication on AMD MI300A Systems via Infinity Fabric: A Deep Dive

"The Best New Programming Language is a Proof Assistant" by Harry Goldstein [video]

"When is a Function a Fold, or an Unfold?" – Jeremy Gibbons [video]

Cycle-Accurate 8088 Emulation [video]

13 14 15 16 17 18 19 20 21 22