Stochastic Optimization of Floating-point Programs with Tunable Precision [pdf] | Heykuki News