Stories by luu

BIT: a programming language that represents all data like C strings

The Boyer-Moore Theorem Prover (NQTHM)

Trustworthy Online Controlled Experiments: Five Puzzling Outcomes Explained

Cargo-cult debugging

Program understanding: Challenge for the 1990s (1989)

Bogo-bogosort

Advanced Computer Architecture Reading List

Edutainment vs. Lessons on YouTube

Some books with crunchy code

TeXsearch: search index specialize for LaTeX equations

The CDC 6600 Architecture

The Two Cultures of Computing

Logic and Lattices for Distributed Programming

Quantitative System Performance: System Analysis Using Queueing Network Models

Spatial-game-theory: conduct experiments involving spatial game theory

Curses-like wrapper with a display based on composing 2d arrays of text

Archery: an immutable R-Tree for Scala

Unicorn Jobs

Indirect left-recursion in packrat parsers

The Relationship between Vectorized and Devectorized Code