What Freeman Dyson actually proposed in 1960, why a solid shell is physically impossible, and how SETI hunts Dyson swarms — including the KIC 8462852 mystery.
