Restart?

It has been 12 years since I last posted anything here. I think the time has come (probably long overdue) for me to restart this blog in some useful way. However, I’m not sure I want to follow the original vision I had for this blog when I started it. Much has happened since then in my life, and my goals and perspectives have changed. Or have they? My first task needs to be re-imagining this blog in light of my current personal and professional situation.

In recent times I have been working extensively with Ada and SPARK, so that is an obvious direction to take this space. However, it is also true that my retirement approaches (a few more years, admittedly), so creating something that I can continue when I retire, such as talking about my various software projects, is another possibility. Of course these ideas are not mutually exclusive, nor do they exclude still other ideas. In any case, the blog has been “dead” for years. Consider it restarted, and watch this space over the coming months to see what develops.