Algebraic $K$-theory has seen a fruitful development during the last three years. Part of this recent progress was driven by the use of $\infty$-categories and related techniques originally developed in algebraic ...