181

Equality (ro-che.info)

submitted 10 months ago* (last edited 10 months ago) by barsoap@lemm.ee to c/science_memes@mander.xyz

21 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] barsoap@lemm.ee 17 points 10 months ago

Fun fact: C doesn't even guarantee a + b == a + b

[-] lowleveldata@programming.dev 14 points 10 months ago

*If a and b are float

[-] barsoap@lemm.ee 6 points 10 months ago* (last edited 10 months ago)

Or signed integers because overflow is undefined. It could do the left-hand computation in two's complement and the right hand in sign-magnitude, leading to different results. Or, as it's undefined, it could brew you some coffee and serve it with an aspirin.

[-] Viking_Hippie@lemmy.world 2 points 10 months ago

That's decidedly unfun and headhurty for those of us less mathemstically inclined. Also so deep into the theoretical weeds that I'm not sure that "fact" applies..

[-] barsoap@lemm.ee 6 points 10 months ago* (last edited 10 months ago)

One night I dreamt about the new C standard. It was a tome of ten thousand pages, in dense, tiny, font, three columns of text on each page, and it was all headings and sub-headings interspersed with nothing but either "undefined" or "implementation-defined".