Seol mar théacs é seo: Lecture notes on the discretization of the Boltzmann equation