This blog will now have various comments, often technical, concerning the issues I face while working, mainly programming for Automated theorem proving.