News for hackers. Stuff that matters.
Re:Code is run more than read by ska on Friday December 01, 2023 @03:09PM (#38491605)
This is just imposing an chosen (and in this case, pretty natural) order on a set without total order. But as you note, you have to give something up. In this case the order identifies each number on a circle in the complex plane with a single value, their magnitude.

I've never really seen this notation used, but it could have some use in partially-ordered sets.

Re:Code is run more than read by omeid2 on Saturday December 02, 2023 @12:59AM (#38496324)
It is formalisms all the way down.