hi i'm david.

i like to write programs and eat burritos. i'm particularly
interested in operating systems, distributed systems, and
infrastructure.

this is my github