A mile-long lava tube where humans sheltered for thousands of years | Hacker News Reader