Hacker News: bhargavkkhttps://news.ycombinator.com/user?id=bhargavkkHacker News RSShttps://hnrss.org/hnrss v2.1.1Wed, 08 Jul 2026 06:59:36 +0000<![CDATA[New comment by bhargavkk in "Compiler-Assisted Floating-Point Error Analysis and Profiling with FPChecker"]]>I'm someone who has worked on Herbie. AFAIK we work(ed) with the LLNL guys and they are aware of Herbie! Floating Point research is a very small world.

]]>Wed, 01 Jul 2026 17:38:00 +0000https://news.ycombinator.com/item?id=48750486bhargavkkhttps://news.ycombinator.com/item?id=48750486https://news.ycombinator.com/item?id=48750486<![CDATA[New comment by bhargavkk in "Herbie: Automatically improve imprecise floating point formulas"]]>Herbie uses interval arithmetic a lot! The team has a in-house developed interval arithmetic library you can use at: https://crates.io/crates/rival3.

]]>Sat, 04 Apr 2026 21:03:58 +0000https://news.ycombinator.com/item?id=47643348bhargavkkhttps://news.ycombinator.com/item?id=47643348https://news.ycombinator.com/item?id=47643348