This document summarizes a lecture on linear support vector machines (SVMs) in the dual formulation. It begins with an overview of linear SVMs and their optimization as a quadratic program with inequality constraints. It then derives the dual formulation of the linear SVM problem, which involves maximizing an objective function over Lagrange multipliers while satisfying constraints. The Karush-Kuhn-Tucker conditions, which are necessary for optimality, are presented for the dual problem. Finally, the document expresses the dual problem and KKT conditions in matrix form to solve for the optimal weights and bias of the linear SVM classifier.