juan_gandhi | Entries tagged with universe

You're viewing

juan_gandhi's journal
Create a Dreamwidth Account Learn More

Reload page in style: light

http://dreamsongs.com/Files/worse-is-worse.pdf

Those were the days when I was debugging into the microcode of a stupid machine from Severodonetsk, which was losing interrupt stack trace from time to time, and so we were out of luck: I did lose some significant money on trying to fix this, but figure it was theoretically impossible.

Anyway, the source of inspiration is this: http://pchiusano.github.io/2014-10-13/worseisworse

Just observed a curious thing. I'm using 2.9.2 on my linux.
And what I see: I println a set of two elements; and on different runs the order is different.
I was totally confused, but then noticed Parallelizable is being used (somehow I do not have source code installed; not the best time today).

So what I think I see is this: the nondeterminism in listing set elements. Just a two-element set.

I think this is beautiful. I believe we just beat the axiom of choice, like in the old article by A.Scedrov, where he demonstrated that even for the choice of two AC does not always hold (in his case, though, there was a circular "time" involved).

The future is now.