> things that have a chance to be quantum leaps for a software project get shot down

Just genuinely cuorius, what examples do you have in mind ?

Personally i have hope that in 50years homotopy type theory (ane generally formal methods) will find real applications in the industry