Oh hey, one of my projects is relevant to an article: <a href="https://github.com/timschmidt/hyperreal" rel="nofollow">https://github.com/timschmidt/hyperreal
It's an infinite precision exact constructive real with excellent performance characteristics and approximation only at explicitly named lossy export functions.
Some recent benchmarks: <a href="https://github.com/timschmidt/hyperlattice/blob/805d092d1d96f09c7b166ff06fb1493d55c5e8ac/benchmarks.md" rel="nofollow">https://github.com/timschmidt/hyperlattice/blob/805d092d1d96...
timschmidt · · focus · HN ↗
It's an infinite precision exact constructive real with excellent performance characteristics and approximation only at explicitly named lossy export functions.
Some recent benchmarks: <a href="https://github.com/timschmidt/hyperlattice/blob/805d092d1d96f09c7b166ff06fb1493d55c5e8ac/benchmarks.md" rel="nofollow">https://github.com/timschmidt/hyperlattice/blob/805d092d1d96...