This is only sound if you have a boolean type that guarantees that the bits are ...

		layer8 on Nov 4, 2023 \| parent \| context \| favorite \| on: As I retire, my goal now is to release 40+ years o... This is only sound if you have a boolean type that guarantees that the bits are either all zero or all one. Once a mix of bit values is possible, you have to define whether it mean true or false, and then you can’t use the bitwise operators anymore.