Stories by luu

Differential Forms and Integration (2008) [pdf]

A Framework for Asynchronous Circuit Modeling and Verification in ACL2 [pdf]

Calculus Made Easy (1914) [pdf]

Kingfig Solves the Worst Parts of Managing Settings Pages

Libinput's bus factor is 1 (2019)

Fuzzing: On the Exponential Cost of Vulnerability Discovery [pdf]

Scala's “optimization” for small maps is a good example of harmful benchmarking

Why libinput doesn't have a lot of config options

Hemispherical Combustion Chamber

The effects on cognition of sleeping 4 hours per night for 12-14 days

A Proposed Method to Assess the Mechanical Properties of Treadmill Surfaces

So much of academia is about connections and reputation laundering

What Do Atomic:LazySet/AtomicFieldUpdater:LazySet/Unsafe:PutOrdered* Mean?

Uncertainty and Variation as Distinct Concepts

Almost 30% of YouTube’s popular coronavirus videos are misleading, study finds

Fonts extracted from BIOSes and VGA ROMs

Volatiles Are Miscompiled, and What to Do about It (2008) [pdf]

The Little C Function from Hell

Finding secrets by decompiling Python bytecode in public repositories

A non-moral dilemma about cheating, but it brings up some points (2019)