Stories by luu

Intel has screwed up their DC S3500 SSDs

Given that we aren’t going to put effort into it, what’s the best way to test?

Testing from the ground up

Consistency and availability in Amazon's Dynamo (2008)

Hello Mesos

Real Time

Regular Expressions in OCaml

Exactly-Once Delivery May Not Be What You Want

Nah Lock: A Lock-Free Memory Allocator

Circumventing the D Garbage Collector

Scalable memory allocation using jemalloc (2011)

Garbage Collection (1998)

Efficiency is fundamentally at odds with elegance (2013)

The Poor Workman

Traces vs. Snapshots: Print Statements and Debuggers (2012)

Automated Reasoning About LLVM Optimizations and Undefined Behavior

Virtual Memory: What and Why

The empirical evidence that types affect productivity and correctness

What is Gradual Typing

Stateless but state-aware types for transducers, using what seems to be magic