Herbie detects inaccurate expressions and finds more accurate replacements

https://herbie.uwplse.org/

78•bwidlar•6mo ago

Comments

4gotunameagain•6mo ago

This tool is amazing. I've used it many times when I want to run simulations with symplectic integrators over large time horizons in an effort to reduce the total accumulated error !

permalaise•6mo ago

This looks like really interesting and valuable work.

tialaramex•6mo ago

Herbie - the tool which exists today - is excellent, but the perhaps more significant insight is that this could and should in principle be baked into compilers.

That is, a future language should let you say here's a real expression, and I want you to give me an approximation in my 64-bit floating point representation, and here's the parameters for accuracy and performance. What do those parameters look like? Herbie's existing UI might help us somewhat but it's definitely up for experimentation.

Compare regular expression handling - you are not expected in any popular language today to manually translate the expression into an FSM and then run the FSM, that's all done for you, you just write down the expression, real arithmetic could be the same.

ashirviskas•6mo ago

I wonder whether this could help optimize AI inference and training engines or are they already squeezed to the max. llama.cpp could potentially be a great target.

TheFuzzball•6mo ago

Just hope that Herbie doesn't go bananas again

RossBencina•6mo ago

Definitely an interesting idea. It has been discussed here a bunch of times before. Usually someone points out cases where it doesn't do so well. Has it been updated lately?

https://news.ycombinator.com/item?id=38451680 (159 points)

https://news.ycombinator.com/item?id=24069465 (152 points)

https://news.ycombinator.com/item?id=10964617 (117 points)

russfink•6mo ago

Can someone explain why sqrt(x+1) - sqrt(x) is “inaccurate” for all x>1? Inaccurate how, and why, and why is 1/(…) any better? Thanks.

Piezoid•6mo ago

Close floating-point subtraction loses precision: when x >> 1, sqrt(x+1) ≈ sqrt(x), so their difference suffers cancellation and end up rounding to zero. In contrast, sqrt(x+1) + sqrt(x) approaches 2*sqrt(x) smoothly.

Al Lowe on model trains, funny deaths and working with Disney

Hoot: Scheme on WebAssembly

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

Stories from 25 Years of Software Development

The AI boom is causing shortages everywhere else

Reinforcement Learning from Human Feedback

The Waymo World Model

Start all of your commands with a comma (2009)

U.S. Jobs Disappear at Fastest January Pace Since Great Recession

Vocal Guide – belt sing without killing yourself

Selection Rather Than Prediction

Speed up responses with fast mode

France's homegrown open source online office suite

Coding agents have replaced every framework I used

A Fresh Look at IBM 3270 Information Display System

72M Points of Interest

Unseen Footage of Atari Battlezone Arcade Cabinet Production

Software factories and the agentic moment

Where did all the starships go?

Show HN: Kappal – CLI to Run Docker Compose YML on Kubernetes for Local Dev

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

Learning from context is harder than we thought

Monty: A minimal, secure Python interpreter written in Rust for use by AI

Making geo joins faster with H3 indexes

Hackers (1995) Animated Experience

Sheldon Brown's Bicycle Technical Info

Ga68, a GNU Algol 68 Compiler

Show HN: If you lose your memory, how to regain access to your computer?

An Update on Heroku

Show HN: I spent 4 years building a UI design tool with only the features I use