The Boring Company’s first tunnel is all dug up | Hacker News Reader