Spectral truncations in noncommutative geometry. Talk given at Corfu Summer Institute (21 September 2022) [slides]