Spectral truncations in noncommutative geometry Talk in Quantum Gravity Lunch Seminar, Radboud University Nijmegen (13 May 2020) [slides]