Trying to finish a blog post about how different program state spaces are easier or harder to understand. Also working through Concrete Semantics and thinking about building a programming language with some kind of integrated testing / verification.