Hot Chips 2020 - Highlights of day 1