Monthly Archives: October 2015

Hello world!

by | October 1, 2015

Well, the new site is finally up and running.   We started today by migrating one of the old postings;  eventually more of the earlier postings will be migrated here.  If a posting was migrated without significant changes, we have tried to preserve the original timestamp. As always, comments and feedback are always welcome.