Comment by gunfighthacksaw

I’m sure there are 10y SWEs (and 1 yr) that use it every day.

Obviously it’s going to be irrelevant to compilers or something, but not to heuristic approaches or anything with some quantifiable (and actively quantified) nondeterminism.