I like birds, learning programming languages, and computers from type theory down to digital circuitry. Graduate of 1583 (University of Edinburgh).