Viewing profile — bhargavkk
bhargavkk
HN member- Joined
- Sun, Jan 25, 2026, 7:52 AM UTC
- HN karma
- 2
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About bhargavkk
No profile information was provided.
Recent public activity
-
comment
Comment #48750486
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.
-
comment
Comment #47643348
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 .