This is my personal blog. Most of it is old, and very little has any significant value for anyone.