In a very large monograph of he 70s Almgren provided a deep analysis of the singular set of area minimizing surfaces in codimension higher than 1. I will explain how a more modern approach reduces the proof to a manageable size and allows to go beyond his groundbreaking theorem.