algebraic k-theory is a highly complicated invariant of algebraic varieties that encodes arithmetic, geometric and algebraic information. in this talk, i will try to make this distinction somewhat less vague and explain how to isolate some of the algebraic and geometric information k-theory provides about singularities, leading to proofs of various longstanding conjectures.