The Langlands program is a vast, loosely connected, collection of theorems and conjectures. At quite different ends, there is the geometric Langlands program, which deals with perverse sheaves on the stack of $G$-bundles ...