The singularity category via the stabilization

We give a detailed proof of the following fundamental result: the singularity category of a ring is triangle equivalent to the stabilization of its stable module category. The result yields singular equivalences between rings of different nature. We use Leavitt rings to describe singularity categories of artinian rings.