abstract: I will explain how to prove Carlitz’s formula "\(\zeta(1) = log(1)\)" using trace formulas for vector bundles on the projective line, involving only finite-dimensional linear algebra and determinants (as opposed to the Dwork-style "functional analysis" in earlier work). The emphasis will not be on the result (which is one of the oldest in the subject), but rather on techniques that could be useful in much more general situations.