I will present recent results on microlocal sheaves of spectra supported on a smooth Lagrangian in a cotangent bundle, and some of the applications. I will discuss the ideas and techniques of the proofs, including the use of an $(\infty,2)$-category of correspondences, and results from sheaf quantizations.