Stories by luu

Some of the more interesting air conditioners I have met

Qqqr: QR Code Music Player

The Importance of the Medium

Honk Preview

Thread-Twitter: read a Twitter thread as an indented Markdown file

Make Buses Dangerous

Spring Outlook: Historic, widespread flooding to continue through May

Beeps and melodies in two-way radio

Banner Ads Considered Harmful

Applied Topology and Dante (2010)

HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics

Work at RC

Tickling (2018)

Apprenticeship for engineers starting careers in public interest technology

Not Acquiring Yahoo (2008)

A tradition that deserves to die

Whitman Senior Assessment

Present Timing for Kids (2018)

Toward Domain-Specific Solvers for Distributed Consistency (2012) [pdf]

What it’s like to have a popular post on Tumblr