Stories by luu

Republishing Third Party Ratings in Might Be Copyright/Trademark Infringement

Dependent Type Systems as Macros [pdf]

Short Term Rental (2018)

More Giving vs. Doing

Do we need a Decode Congestion hackathon?

Let People Move to Jobs

Fedex: Three Months and Counting

Testing Dataflow Analyses for Precision and Soundness

Is NYC Building Much Housing?

Proposed Rust community norm for unsafe code

Real World Crypto Talks

An earthquake will destroy a sizable portion of the coastal Northwest (2015)

Working from Home: More Americans Are Telecommuting (2019)

A Typology of Organisational Cultures

Bao: A verified streaming tool based on BLAKE3

Income Share Agreements and Transparency of Outcomes

2019 Spending

On Footnotes

Why is a PhD thesis often better to read than a paper?

Multipath Routing in Linux