Abstract: Recently Positselski proved that an unbounded derived category of quasi-coherent D-modules on a smooth algebraic variety X is equivalent to a so-called coderived category of quasi-coherent DG-modules over the de Rham algebra of X. I will explain how to work with this coderived category.