Mastodon Feed
dysfun@treehouse.systems ("gaytabase") wrote:
consider for example that
a + b + c(unsigned) overflows and wraps. the result is wrong by MAX_INT, but it's still defined, it's just only unique modulo MAX_INT, breaking soundness, but probably being fine for practical purposes.