What is this site?

This website is probably easiest to classify as a “blog”, but I don’t want to attach a label to it nor narrow its subject matter to some pre-defined topics. Having said that, it will likely be dominated by material from the domains of math, logic, programming language theory, and linguistics.