4 ms·Okay, but if his startup isn't named Sisyphus Energy, I don't know what he's doing with his life.by paledot 4y agoOkay, but if his startup isn't named Sisyphus Energy, I don't know what he's doing with his life.