Stories by luu

TTTM: a formally verified text adventure game

Soap / shampoo that doesn’t stink

Thoughts on Java 8 Functional Programming

Visualizing Statistical Mix Effects and Simpson’s Paradox [pdf]

Toward Reproducible Baselines: The Open-Source IR Reproducibility Challenge [pdf]

Partitioned Elias-Fano indexes [pdf]

Dealing with void* parameters in cgo

A Case for Underhand Free Throws

Performance experiments with CLJS React libraries and techniques

Empirical Study of the Anatomy of Modern SAT Solvers (2011) [pdf]

Failed attempts to explain Developer Advocacy

Blockchain and the CAP Theorem

Deletion Without Rebalancing in Balanced Binary Trees [pdf]

An FPGA-Based In-Line Accelerator for Memcached (2014) [pdf]

Some Notes on the “Who Wrote Linux” Kerfuffle (2004)

Going off chain for storage

White mortality rates: the blogs vs. Case-Deaton

Including women in CS at Whitman

Recurse Center

Formal verification of really-complex systems