According to Perelman's work on Ricci flow with surgeries in dimension 3, we know that it is important to understand at least qualitative behaviors of singularity formation in order to perform surgeries. The situation in dimension 4 is much more complicated as some new types of singularity models may arise and the classification of the singularity models is far from complete. We expect that the singularity models should be solitons, self-similar solutions to the Ricci flow, and we expect that most of singularity models are shrinking gradient solitons with possible singularities by the recent work of Richard Bamler. Steady gradient Ricci solitons may also arise as singularity models and they are related to shrinking solitons with quadratic curvature growth. In a recent joint work with R. Bamler, B. Chow, Y. Deng, and Y. Zhang, we managed to classify tangent flows at infinity which can be viewed as a blow-down of 4 dimensional steady gradient Ricci soliton singularity models. When the tangent flow at infinity is 3-cylindrical, we can give very good qualitative characterization of such steady solitons. We will also mention the somewhat parallel work with Y. Zhang on the existence of asymptotic shrinkers on steady solitons with nonnegative Ricci curvature.