Stories by luu

Never Pay for Online Dating (2010)

The Milawa theorem prover is sound, down to the machine code that runs it (2015) [pdf]

Bit-Blasting ACL2 Theorems (2011)

Huawei Mate 30 Pro camera review

Graal Autovectorization

The Many Faces of the ‘Doctor’ During the Cultural Revolution

IBM z15 (8561) Technical Guide [pdf]

Graal Autovectorization

Explaining Why More Americans Have No Religious Preference [pdf]

How do managers get stuck? (2017)

Effectiveness of influenza vaccines in preventing severe influenza illness

Resilience and rewiring of the passenger airline networks in the United States

New Lawsuit Against Uber Is Set to Test Its Classification of Workers

Cities Where Job Growth Is Outpacing New Homes

It’s not just p=0.048 vs. p=0.052

GPT-2 is not as dangerous as OpenAI thought it might be

Building and Motivating Engineering Teams (2016)

Trying to Convince People to Change (2016)

Poverty in the United States

How Did a Nissan Leaf Beat a Tesla Model S in a Race?