Stories by luu

Traces vs. Snapshots: Print Statements and Debuggers (2012)

Automated Reasoning About LLVM Optimizations and Undefined Behavior

Virtual Memory: What and Why

The empirical evidence that types affect productivity and correctness

What is Gradual Typing

Stateless but state-aware types for transducers, using what seems to be magic

GS Collections by Example

Fast immutable vectors in C#

What are the odds the build actually works?

Fitting the modular Mirage TCP/IP stack together

Snapshots from My OPW Internship with Mozilla QA

Perfect forwarding and universal references in C++

Real-Time Garbage Collection Is Real

How tcmalloc Works

A shallow survey of formal methods for C code

Reproducible SBCL builds – a month ahead of schedule

How I did Hacker School: ignoring things I understand and doing the impossible

Stack Free Recursion (1995)

A Better Software Engineering Course

Debian GR vs. Consensus