I will give a survey of recent advances in algebraic cohomology that rely on the theory of prismatic cohomology with a special focus on work of my own with Achim Krause and Thomas Nikolaus on machine computations of K-groups of rings like Z/p^n.