A Blog to explain some computer science theory