Stories by luu

Mercurial RFC of a new extension to directly operate on Git repositories

Rent Needs to Decrease

The Debate over Big Tech on the Democratic Debate Stage

Understanding Wealth Inequality in Canada [pdf]

Startup Equity (2017)

How not to ask questions at a conference

Saving lives for seven cents each (2013)

CloudFlare is ruining the internet for me (2016)

Single malt Scotch whisky targeted by United States tariffs

How Do Individual Contributors Get Stuck? A Primer (2017)

Stack Overflow Inc., Sinat Chinam, and the Goat for Azazel

Are functional programs easier to verify than imperative programs? (2018)

Shenanigans in the Microkitchen

Make money in 2008: The outlook (2007)

Stu Ungar

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