davisourus

3 ms·

1. 1.▲
   by davisourus 11y ago

   Some would call it an enjoyable read. Definitely not the typical stodgy format of papers, but addressing the reader and throwing a few jokes in doesn't hurt the technical validity. He wrote it so it could be accessible and defends it a
2. 2.▲
   by davisourus 11y ago

   And you could set the environmental variables to be as precise as you need. If you need 29 digits of precision, you can quickly show that you know 1.4142135623730950488016887242 and nothing more. A reasonable metaphor would be that you cann
3. 3.▲
   by davisourus 11y ago

   If you have 4 GHz of processing IEEE but getting a wrong answer at the end, how do you compare that to a smaller number of FLOPS with a rigorously-bounded answer? I'm not saying they're apples to oranges, I'm saying that you
4. 4.▲
   by davisourus 11y ago

   integer:floatingpoint::floatingpoint:unum The same way as you store some "meta data" by adding x10^23 to a value of 6.022 ... here you are adding meta data of precision (certainty) and resolving a ton of "NaN" and error
5. 5.▲
   by davisourus 11y ago

   This is exactly right - there's an environmental configuration. Think of the way it's ridiculous to play angrybirds with 32 or 64bit precision on your phone, you could set the precision appropriately. Or on the other side, think o
6. 6.▲
   by davisourus 14y ago

   Really cool idea. I look forward to using it.