4 从大坝到半导体——数字社会的基础设施