Communications engineer and mathematician. Longtime functional programming and Haskell enthusiast, occasional Schemer. Inventor of corecursive queues, postgresql-simple, an aggregate theory of concrete mathematics, and self-documenting cryptography. Currently aspiring to become an Epistemic Frame Engineer.