They just described a common superscalar optimization thats been done since the 90s.
With that context, this page is explaining `and` short circuits and `&` does not. The `a < b < c is equivalent to (a < b) & (b < c)` is just showing how that logically works, not how to utilize it to parallelize that particular comparison.
This exists to allow you to control whether parallel computation should happen or if it should resolve the first condition before wasting parallel compute to resolve the nth condition(s). E.g. imagine something like `isEven(x) & len(factor(x) > 2` vs `isEven(x) and len(factor(x) > 2`.
It depends on the scale of the computation. An Out Of Order CPU can allready exploit some parallelism at the instruction level. Multicore is parallelism at the procedure level.
"Instead of starting from a sequential design, we’re building our processor to have thousands of cores operating in parallel. This requires moving beyond the notion of shared mutable memory and linear instruction sequences. To make this possible, we’re working in tandem on the open-source language Vine, which has been designed from the beginning to target a new wave of parallel-first architectures."
I wish them well but from their Vine language docs:
"For example, a < b < c is equivalent to (a < b) & (b < c)"
So how do you parallelize that? You can run the first part on 2 cores in parallel, but there is still a single check, a single cache, a single CPU for this to go through to complete the operation, right?