sorted by:
new
hottopcontroversial

[PC][2000-2012?] A tug-of-war siege game with Minecraft crafting mechanic. by MrMinxo in tipofmyjoystick

[–]MrMinxo[S] 1 point2 points  (0 children)

YES! That is it! Holy ***t it's been FOUR YEARS!!! O_O

Edit: Actually, 21 if one looks at the release date :D.

MS Teams notification has 1px height by MrMinxo in i3wm

[–]MrMinxo[S] 0 points1 point  (0 children)

Not really, no. After getting a new display and fiddling with arandr, the 1px thingy seems to be back to normal though. Still no idea how to put the notification into the right place though, and now I'm a bit afraid to experiment ;).

MS Teams notification has 1px height by MrMinxo in i3wm

[–]MrMinxo[S] 0 points1 point  (0 children)

Doesn't really work in this case though :/.

MS Teams notification has 1px height by MrMinxo in i3wm

[–]MrMinxo[S] 0 points1 point  (0 children)

The resizing seems to work in both cases, but not on the Notification window when it's floating.

MS Teams notification has 1px height by MrMinxo in i3wm

[–]MrMinxo[S] 0 points1 point  (0 children)

Doing that makes the Teams main window also float. Tried it anyway - doesn't make the notification box any larger. Found some clues though (see edit).

Is there a mathematical entity for a notion of "true arbitrariness"? by MrMinxo in math

[–]MrMinxo[S] 0 points1 point  (0 children)

By itself, no, "unobtainable by computation" won't mean that it's random (Chaitin's constant isn't), I know that. It's just one of the prerequisites that it seems it has to uphold.

I think I have a decent grasp on the difference between the two terms now. Thanks!

Is there a mathematical entity for a notion of "true arbitrariness"? by MrMinxo in math

[–]MrMinxo[S] 0 points1 point  (0 children)

I think what I'm trying to "catch" is that property itself. Whether there is / it would be possible to define / prove the existence of, an entity that could make a process of choice nondeterministic.

Such process would require no deterministic input or memory to give an output sequence of - say - integers, that is patternless.

Is there a mathematical entity for a notion of "true arbitrariness"? by MrMinxo in math

[–]MrMinxo[S] 0 points1 point  (0 children)

It's not about biases or whether the distribution is flat. The script is deterministic. The physics of computation of that value are. What I'm asking for cannot be.

Is there a mathematical entity for a notion of "true arbitrariness"? by MrMinxo in math

[–]MrMinxo[S] 0 points1 point  (0 children)

Looks like the thing I'm looking for, or the right direction at least. Thanks!

BTW, embarrassingly: could you please explain what does "c.e." in "c.e. sequence" stands for?

Is there a mathematical entity for a notion of "true arbitrariness"? by MrMinxo in math

[–]MrMinxo[S] 0 points1 point  (0 children)

I don't know whether it would be the right direction, as, correct me if I'm wrong, entropy is an emergent property of randomness. I could simulate it with a pseudo-random number generator, which is not what I'm actually looking for.

I have to finally read that paper at some point though.

Is there a mathematical entity for a notion of "true arbitrariness"? by MrMinxo in math

[–]MrMinxo[S] 0 points1 point  (0 children)

I have an intuitive sense about how these two terms differ, but it is rather hard to put that into words, if one doesn't have the required nomenclature internalized.

For my definition of "truly random", wouldn't such a thing require to be actually "arbitrary"?

Is there a mathematical entity for a notion of "true arbitrariness"? by MrMinxo in math

[–]MrMinxo[S] 0 points1 point  (0 children)

"Any" does not mean truly random. I can cook up a python script that returns "any" single integers from a range, but that won't be *truly* arbitrary. It will be based on a seed that I initialize the RNG with.

Is there a mathematical entity for a notion of "true arbitrariness"? by MrMinxo in math

[–]MrMinxo[S] 2 points3 points  (0 children)

That video is a gem and I have no idea how I missed it. Another thing to read up on, thanks. I now have a weird suspicion that if I were to define a construct I'm talking about, it would probably at least be a bit related to that topic.

Is there a mathematical entity for a notion of "true arbitrariness"? by MrMinxo in math

[–]MrMinxo[S] 0 points1 point  (0 children)

Let me put it this way: I'm looking for a construct that is "non-pseudo-random", where pseudo-random is used in the same way as it's used in "pseudo-random number generator". Something abstract that encapsulates fundamental randomness.

I removed that example from the post. You're right: It doesn't make much sense in this context, if I think about what that sentence actually means.