San Jose Plans $13B BART Subway Extension. How About <$1B? | Hacker News Reader