Stories by luu

Power Factor In The Digital Age

ACL2 Sidekick: a graphical aid for the ACL2 theorem prover

Falsehoods programmers believe about build systems

Compromised customer databases

Charities, Direct Marketing and Your Privacy

Coordination and the Art of Scaling

One woman can’t have a baby in nine months (2007)

Redundancy vs. dependencies: which is worse? (2008)

Julia Performance Tips

Non-Transparent Memory Safety

Analysis of Boolean Functions

Scalariform: A code formatter for Scala

Gurps' labour lost (1998)

Judge rejects Apple and Google wage-fixing settlement, suggests $380M as minimum

A faster Python sort

Steve Jackson Games v. Secret Service (1991)

Flexible particle system – how to start with software optimization

Yann LeCun on the IBM neural net chip

Correlation does not even imply correlation

The Wyvern Programming Language