The Vectorization-Planner (VPlan) in LLVM

A tour of the LLVM backend

An introduction to auto-vectorization with LLVM

An Opinionated Comparison of Cities

Low-hanging fruit

What machines can and can't do

An opinionated history of programming languages

2043 — a short story

Equality in Mechanized Mathematics

An inquiry into the Foundations of Mathematics

Lean versus Coq: The Cultural Chasm

reMarkable: the perfect tablet for academics

Inside a register allocator