Post Aw1ftGLtcSVwk0WXoW by harold@mastodon.gamedev.place
 (DIR) More posts by harold@mastodon.gamedev.place
 (DIR) Post #Aw1fODwWWj0mI9r79E by harold@mastodon.gamedev.place
       2025-07-11T11:53:17Z
       
       0 likes, 0 repeats
       
       The "x leading bits are equal" abstract domain is mostly ignored I think mostly because it is subsumed by clockwise ranges. Fair enough. But it's simple and actually a lattice, and a lattice with only a reasonable height. Clockwise ranges are none of those things.
       
 (DIR) Post #Aw1fOFBntOpQ9q0pbU by wolf480pl@mstdn.io
       2025-07-11T14:03:02Z
       
       0 likes, 0 repeats
       
       @harold what are clockwise ranges?
       
 (DIR) Post #Aw1ftGLtcSVwk0WXoW by harold@mastodon.gamedev.place
       2025-07-11T14:08:41Z
       
       0 likes, 0 repeats
       
       @wolf480pl uh apparently they were called clockwise intervals, but whatever. Roughly they're intervals/ranges with a convention that if the lower bound is higher than the upper bound, it means the range spans across the highest integer and wraps back around
       
 (DIR) Post #Aw1fysna6TR3Qe9ZHU by wolf480pl@mstdn.io
       2025-07-11T14:09:44Z
       
       0 likes, 0 repeats
       
       @harold hmm ok, and what's the lattice operation? smallest interval that contains both arguments?
       
 (DIR) Post #Aw1gophEsnDwrixU5A by harold@mastodon.gamedev.place
       2025-07-11T14:19:06Z
       
       0 likes, 0 repeats
       
       @wolf480pl something like that but it's not properly a lattice operation, here's some example from "Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code"
       
 (DIR) Post #Aw1hZYh3utQfk69kVk by wolf480pl@mstdn.io
       2025-07-11T14:27:34Z
       
       0 likes, 0 repeats
       
       @harold > are not associativeso I can't use them for CRDTs? :(