LAUSR

We revisit the computation, due to Hesselholt and Madsen, of the K-theory of truncated polynomial algebras for perfect fields of positive characteristic. The resulting K-groups are expressed in terms of big Witt vectors of the field. The original proof relied on an understanding of cyclic polytopes in order to determine the genuine equivariant homotopy type of the cyclic bar construction for a suitable monoid. Using the Nikolaus-Scholze framework for topological cyclic homology we achieve the same result using only the homology of said cyclic bar construction, as well as the action of Connes' operator.