Schanuel's Conjecture and the Semantics of Triton's FPSan
9 points by c1ccccc1
by jaen
0 subcomment
Wow, that's pretty cool. Translating (almost) arbitrary floating point programs into weird integer programs while also preserving equivalence under non-strict floating point semantics? Mathematics can be surprisingly wonderful.
Hacker News