This is a contributed talk at the second day of the Logic Colloquium 2018, which was hosted by the University of Udine in Italy. I talked about work in progress with Arthur Apter on the problem of controlling the continuum function in the presence of strongly compact cardinals.