bhargavkk

3 ms·

1. 1.▲
   by bhargavkk 6d ago

   Hey, first author here. You are correct when you say that GPU programs do not have the right amount of information to do compiler style optimizations, which is why its important to find the right abstraction level. Even compilers do not dir
2. 2.▲
   by bhargavkk 7d ago

   Hey, first author here. I do think we could apply a similar formal analysis to games, but this is complicated with the inclusion of depth and perception. This is not a concern in 2D rasterization for web browsers. The target for this sort o
3. 3.▲
   by bhargavkk 7d ago

   Hey, first author here, and you are right to think that there are a lot of computational processes that can be "cast" into tiny programming languages. This is more apparent with DB queries (and I think there is a long list of pape
4. 4.▲
   by bhargavkk 7d ago

   Hey, I am the first author of the paper, and thank you so much for the kind words. I am very grateful to you and all the other Skia contributors who've made the Skia codebase so easy to build and develop. I learnt so much about perform
5. 5.▲
   by bhargavkk 3mo ago

   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.
6. 6.▲
   by bhargavkk 6mo ago

   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 .