Mostly programming language semantics with a dash of armchair philosophy. The views expressed here are personal and in no way reflect those of my employers.