I'm a Seattle area software engineer with some math background. My interests are all over the place but include cooking, cryptography, compression, some type theory, and CRDTs.