Hard incompatibilism is defended by Derk Pereboom, who identifies a variety of positions where free will is seen irrelevant to indeterminism/determinism, among them the following:
Determinism (D) is true, D does not imply we lack free will (F), but in fact we do lack F.
D is true, D does not imply we lack F, but in fact we don't know if we have F.
D is true, and we do have F.
D is true, we have F, and F implies D.
D is unproven, but we have F.
D isn't true, we do have F, and would have F even if D were true.
D isn't true, we don't have F, but F is compatible with D.
Derk Pereboom, Living without Free Will,[13] p. xvi.
Pereboom calls positions 3 and 4 soft determinism, position 1 a form of hard determinism, position 6 a form of classical libertarianism, and any position that includes having F as compatibilism. He largely ignores position 2