"quite bad programmer" was a big overstatement, what I meant is that he is just not 10x, but only average. Or maybe he is, the whole 10x programmer is a blurry term.

Sources: 1. you can watch him code on youtube, just search for "notch coding" 2. 0 research papers/new technologies 3. Minecraft is an average game from programmer's POV

I am not saying that he's so bad I would not hire him, I'm just saying that making Minecraft does not make him 10x programmer.