Here we list a few examples of possible types of self-improvements, Gödel machine applicability to various tasks defined by various utility functions and environments, probabilistic hardware, relations to previous work, and fundamental limitations of Gödel machines.