Ocean heat records broken as hottest July temperature recorded | Hacker News Reader