In this talk I first want to present recent joint work with Lucas Mann and Arthur-César Le Bras on the construction of a six functor formalism which takes values in quasi-coherent sheaves on the Fargues-Fontaine curve and which calculates pro-etale cohomology. In the second part I want to shortly explain how decompleting this formalism motivates natural expectations about analytic prismatization.