5 ms·
Just a lot of standardization and years of intuiting what these mean. In this case, you definitely need some intuition of elliptic curves and "special points"
by ljhsiung 5y ago
Just a lot of standardization and years of intuiting what these mean.
In this case, you definitely need some intuition of elliptic curves and "special points" that is hard to explain, but Quanta does it decently.
Here's an example from the ARM Architecture Reference Manual (B.2.3.6) that often throws people for a loop--
> For a read or a write RW1 from an Observer that is Ordered-before a read or a write RW2 from a different Observer,
the External visibility requirement requires that RW2 is not Observed-by RW1. This means that an Architecturally
well-formed execution must not exhibit a cycle in the Ordered-before relation.
- _0ffh 5y agoI'm not sure I understand the ARM manual example. It seems obvious that an operation should not be able to see what is supposed to happen "after" it executes, and that a time-like construct should not contain loops (outside of SF literature). I'm sure I'm missing a lot of detail here, but I really can't say that I feel confused by it. Ed. Oh wait, so maybe I'm just sufficiently similar to the intended audience. But wouldn't everyone who reads such a manual be?