Boring company tunnel should be 17 miles long in a year | Hacker News Reader