How thick is sea ice and how do we know? | Hacker News Reader