We will start with remarks on Iris's talk on finite gauge theory, highlighting some of the underlying philosophies and the idea that finite gauge theory is the representation theory of finite groups. Following this, we will provide an overview of our series talk on the geometric Langlands program. We will introduce the geometric Langlands correspondence, the geometric Satake equivalence, and explore the interaction between these two concepts. Additionally, we will discuss how this mathematical framework can be understood through the lens of TQFT.