George Hotz (@geohot) casts and replies on Farcaster