A personal blog about mathematics and computer science