Lambda the Ultimate

Chief Architect at Crunch.io. Lead developer of the CherryPy project.

API design and its relationship to PLT; human limitations to the design and scale of formal systems; history of computation and software anthropolacy; semasiology and onomasiology. Lots of others ;)