Sadly it appears that floating points do not satisfy even *strict weak ordering*. Took me and @pnkfelix some time to realize why, though.
-
@nikomatsakis@pnkfelix oh? How so?
-
-
@nikomatsakis@pnkfelix cool. Float is weird.. but its a reasonable weird given the scope of things it needs to handleThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@nikomatsakis@pnkfelix that said, Had I the time, I’d love to spend a month or so working out a parameterized dependently typed model of itThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.