Stories by luu

Support Library for type-driven code generators

Intel SGX for Linux

Pragmatic Unicode

Building Fizzbuzz in Fractran from the Bottom Up

Out-group homogeneity

Bandwidth-Efficient BVH Layout for Incremental Hardware Traversal

Schengen Routing

Whole program dead code elimination for Ocaml

Technologies for Testing Distributed Systems

Network Timing and the 2015 Leap Second [pdf]

Applied Mathematical Programming (1977)

When to write setters

Hylogen: Haskell EDSL for live-coding fragment shaders

Sild is a Lisp dialect

Hellcat: netcat that takes unfair advantage of traffic shaping systems

How Factual Uses Persistent Storage for Its Real-Time Services (2014)

The proof is trivial

Hardware Graph Prefetchers

Things you could do with the Rust AST

BPF hardware offload via cls_bpf