Stories by luu

How the Guardian uses GitHub to audit GitHub

Google's New Clothes (2011)

Concurrency is the New Memory Management

High performance asynchronous rack web server

Lambda Calculus Interpreter and Benefits of Ugliness

Rental home shortage is America's next housing crisis

The vanishing, underappreciated prank call

Why Take an Embedded Systems Course?

How to Make Chord Correct

Finding Great Developers (2006)

Hints for computer system design (1983)

Missing E-Mail Is the Least of the IRS's Problems

Ascend Project Kickoff

The Great Crime Wave and the Tragedy of Mass Incarceration

Lean Theorem Prover

Z3: a high-performance theorem prover being developed at Microsoft Research

Fun uses for an SMT solver

Strong suggestions for structurally combatting online harassment

Young workers hate their jobs

Verifying Multi-threaded Software with Spin