Stories by luu

Sound Static Data Race Verification for C [pdf]

Ecovacs robot vacuums get hacked

Optimizing SFI Performance and Scalability on Modern Architectures [pdf]

Grid-Free Approach to Partial Differential Equations on Volumetric Domains [pdf]

Ontario judge approves $500M settlement in Loblaw bread-fixing case

Google shared my phone number

ARM PAN

Enzyme Automatic Differentiation Framework

The Napkin Project

"Copilot" bot user exempted from GitHub blocks

Writing into Uninitialized Buffers in Rust

Poireau: A Sampling Allocation Debugger

Community Access to Ventilation Information

Heart rate and body temperature during a PhD defense, an informal look

LLVM IR – Past, Present and Future [video]

List of Animals by Number of Legs

Refactoring Clojure

Beyond the Wrist: Debugging RSI

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

Mipmap selection in too much detail

1
2
3
4
5
6
7
8
9
10