Stories by luu

Rule-Based Programming in Interactive Fiction

Anton: A Specialized ASIC for Molecular Dynamics

The Burroughs 5700/6700

A Seymour Cray Perspective

Cruncher: An implementation of Bret Victor's Scrubbing Calculator

Operational Semantics and Inductive Assertions

Pyli: Python to Lisp Compiler

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