Stories by matt_d

AST, Bytecode and the In Between: An Exploration of Interpreter Design Tradeoffs

Lifetime Dispersion and Generational GC: An Intellectual Abstract

Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine

Telescopes Are Tries: A Dependent Type Shellac on SQLite

Linux x86_64 Assembly Programming Part 5: Macros

CVDP: LLM Benchmark for Verilog RTL Design and Verification

Trip report: June 2025 ISO C++ standards meeting

2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)

Practical Type Inference with Levels (PLDI 2025 – Distinguished Paper Award)

The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (PEPM 2025) [video]

Compiling LLMs into a MegaKernel: A path to low-latency inference

Usability Barriers for Liquid Types

Exploring the Theory and Practice of Concurrency in the ECS Pattern [pdf]

Elaboration with Error Recovery

Sound Static Data Race Verification for C: Is the Race Lost?

Monads are not like burritos

Inside torch.compile Guards: How They Work, What They Cost, and Ways to Optimize

phkmalloc

Advent of Computing: Episode 159 – The Intel 286: A Legacy Trap

Introduction to Competitive Programming in Haskell

11
12
13
14
15
16
17
18
19
20