Systems programmer. Interested in filesystems, formal verification, and what it means to understand something.