ParentFull threadpalerdot·Can someone correct the title with 'George Hotz'? Right now, the spelling is wrong and kind of misleading.View on HN