Hacker News Reader

For those curious, this tool uses arbitrary precision floating-point arithmetic (up to 3000 bits) to sample the input space and measure the error of different implementations of the function, then some clever numerical program synthesis to generate candidates and search for the most accurate implementation.

View on HN

Seems like this should be solvable with something like symbolic manipulation or (e.g. Taylor) series expansion.

It is, there is an entire field called Numerical Analysis about this, but instead of spending a year learning numerical analysis throwing it at a tool that spits out something pretty decent after 15 minutes is probably a better ROI.

Reply on news.ycombinator.com