When the new Daft Punk record came out recently ... when a segment of a popular morning show declared one of the tunes, “Get Lucky,” to be the official song of the summer.