An explicit description of (log) de Rham cohomology over the Witt vector

Motivated by applications to computing zeta functions, we will discuss the log de Rham and de Rham cohomologies of smooth schemes (together with 'nice' divisors) over the Witt vectors. For the former, we will give an explicit description that eventually might lead to improvements to point counting algorithms. Regarding the latter, we will measure "how far" the de Rham cohomology of a curve is from being finitely generated in terms of the Hasse-Witt invariant of its special fibre.