TheOtherDave comments on Size of the smallest recursively self-improving AI?