Hello, world

A first post — and a quick tour of what this blog is all about.