Was john carmack the elon musk of that time (minus the political baggage Era)?