Stories by matt_d

Transforming Recursion into Iteration for LLVM Loop Optimizations

Unweaving Warp Specialization

The grind tactic in Lean 4 [video]

10 Myths of Scalable Parallel Languages Part 6: Performance of High-Level Langs

Reflection – C++'s decade-defining rocket engine

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

1
2
3
4
5
6
7
8
9
10