logoalt Hacker News

perching_aix • today at 12:08 PM • 0 replies • view on HN

what were some categories of such assumptions, can you name some examples?

a fun one that immediately comes to mind is asserting something holds for reals, but not evaluating whether it holds for IEEE floats, though maybe that's not really a thing in finance due to rounding related rules anyways