I will give an overview of a string of recent papers which construct cohomology classes for GL_n(Z) (and other arithmetic groups) and the ideas which lie behind them. Depending on the audience's interests I will focus on: the theory of invariant differential forms, an algebraic version of the Borel-Serre compactification, de Rham/motivic theory for locally symmetric spaces, or graph complexes.