> 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

> 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