It would appear all that tech-industry money isn’t going to infrastructure.