Comment on Ask HN: What temperature do you keep your home office for maximum productivity?