San Jose: Boring Company proposal “likely infeasible” | Hacker News Reader