Heat records on land, heat records in oceans: when will the records end? | Hacker News Reader