I like to not delete the default Hello world post, just to be silly.

So this is my official hello world. Gradually I’ll transfer all the private postings that I’ve been maintaining elsewhere now that I have a semi-permanent home for them.