[Dokmelody scratchpad notes]
[Main website]
tech/herbie-fix-math-precision-problems
https://herbie.uwplse.org/
Inspect code and fix math precision problems.