I will describe the main ideas that go into the proof of the (unramified, global) geometric Langlands conjecture. All of this work is joint with Gaitsgory and some parts are joint with Arinkin, Beraldo, Chen, Faergeman, Lin, and Rozenblyum. I will also describe recent work on understanding the structure of Hecke eigensheaves (where the attributions are varied and too complicated for an abstract).