Climate change has reduced ocean mixing far more than expected | Hacker News Reader