Occasional posts on a variety of topics, intentionally scattered in themes