We survey some recent observations and ongoing work motivated by a hope to better understand p-adic K-theory. More specifically, we discuss arithmetic problems—and potential approaches—related to syntomic cohomology in positive and mixed characteristics. At the level of the structure sheaf, syntomic cohomology is an 'intelligent version' of p-adic étale Tate twists at the characteristic and (among other things) provides a motivic filtration on p-adic étale K-theory via the theory of trace invariants.