The zeta function of an algebraic variety over a finite field is a fundamental invariant which reflects many geometric properties. In the special case of K3 surfaces, we survey some of these connections; discuss techniques for computing zeta functions, both individually at scale; and indicate some open questions which we may see some progress on during the semester.