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…
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 headings and sub-headings interspersed with nothing but either “undefined” or “implementation-defined”.
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…
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 headings and sub-headings interspersed with nothing but either “undefined” or “implementation-defined”.