Developer with wide ranging interests. I like math (proof/theory/application), formal languages, software dev patterns, old hardware, new hardware, embedded devices, and teaching.