Ask HN: When would be a good time to start looking for summer internships?