There are two categorical realizations of the affine Hecke algebra: constructible sheaves on the affine flag variety and coherent sheaves on the Langlands dual Steinberg variety. A fundamental problem in geometric representation theory is to relate these two categories by a category equivalence. This was achieved by Bezrukavnikov in characteristic 0 about a decade ago. In this talk, I will discuss a first step toward solving this problem in the modular case joint with R. Bezrukavnikov and S. Riche.