Over the years, exploring the boundaries of G"odel's second incompleteness theorem has been a somewhat exotic topic in mathematical logic. Nevertheless, the interest towards these questions never died out. We will discuss some recent examples to this effect, that is, formal theories that are able to naturally express and prove their own consistency. These examples go in three essentially different directions: allowing a nonrecursive set of axioms, weakening the axioms of arithmetic, and weakening classical logic.