Applied, Theoretical Programming Language Design, with some neuroscience, complexity theory, and other influences. Sometimes other stuff.