bubblyworld

34 ms·

571.
by bubblyworld 3y ago
To be honest, I don't really understand what you mean by Hilbert spaces being computable, and what that has to do with the linearity of QM, determinism of classical mechanics, universe being geometrical and not computational etc. I&#x2
572.
by bubblyworld 3y ago
Relax, friend, I understand your question =) I'm just pointing out that it's not as random as you think. Mechanics in NetHack are quite predictable for the most part, but they are difficult to _discover_ without dying. Given that
573.
by bubblyworld 3y ago
I'm not sure. I've beaten it a number of times, but only using tons of spoilers as you say. That said, there are players who consistently win almost every game, which is crazy (there's an online nethack server somewhere, can&
574.
by bubblyworld 3y ago
No need, physicists already do this all the time - any computer simulation of quantum mechanical systems has to come to terms with the same problems (namely quantising the state space and representing the dynamics deterministically).
575.
by bubblyworld 3y ago
Abstraction is a property of a description of a thing, not the thing itself. In reality, what we call "GPT" is the highly organised behaviour of many electrons, probably distributed across many computers, each with extremely compl
576.
by bubblyworld 3y ago
People really are just stacks of molecules that can be broken down into their causal properties - moreover, we know those causal properties to a high degree of accuracy these days. I'm suggesting that for any given human/environme
577.
by bubblyworld 3y ago
I strongly disagree with your last statement - physics explicitly _is_ formulated in terms that can be made into a lookup table (see phase spaces in classical mechanics, for instance). My point is that there's a finite light cone of po
578.
by bubblyworld 3y ago
This is an old argument against determinism - I think a serious challenge is that: 1. Modern physics suggests you can implement such a lookup table for any subset of our universe. 2. We are a subset of the universe. 3. Therefore we are repr
579.
by bubblyworld 3y ago
The authors get LLMs to perform pretty well in a variety of IF-style text based games. Which is pretty cool, these kinds of games are played and read in natural language, which makes them pretty hard to write AIs for normally. Something I&#
580.
by bubblyworld 3y ago
I think it's fine to leave some kinds of dead code elimination to the compiler if it's useful - naming magic constants comes to mind. Technically a no-op, but very useful.
581.
by bubblyworld 3y ago
I've only skimmed the paper so far, but apart from both using the word "emergence" I think you and the paper are talking about very different things. The paper means something along the lines of "behaviours at different
582.
by bubblyworld 3y ago
Probably not - in applications, heuristics/approximations and "probably true" are king. And in this case the relevant approximations have been known for decades at least. That's a very different beast to the game mathema
583.
by bubblyworld 3y ago
That's true but I think it's implicit here we're working with the algebraic extension generated by the number itself (which always contains the Galois conjugates).
584.
by bubblyworld 3y ago
Do you have any examples of type two code you could link to? I want to see how bad it can get!
585.
by bubblyworld 3y ago
I highly recommend reading the article, you might be pleasantly surprised =)
586.
by bubblyworld 3y ago
Yeah, you've got it right, the Quanta article covered this accurately. For instance, 'i' is algebraic but not totally real (it isn't a real number!), since it satisfies 'x^2 + 1'.
587.
by bubblyworld 3y ago
Thanks for contacting him! I'll do some diving into his work, that's super cool =)
588.
by bubblyworld 3y ago
Right, but that's not what they're actually plotting - the quanta bagel is algebraic numbers with colour given by the entropy of their corresponding dynamics! Whereas the one I posted is roots of integer polynomials by density. Th
589.
by bubblyworld 3y ago
Awesome! You can get another beautiful bagel by plotting the roots of polynomials with integer coefficients: https://math.ucr.edu/home/baez/roots/ (edit: hang on, am I crazy or do these bagels look remarkably
590.
by bubblyworld 3y ago
I think Wolfram's work is quite different in flavour - he focuses on discrete dynamical systems (graphs/cellular automata, stuff like that) whereas OP is about continuous iterated systems like the Mandelbrot set (which afaik have
591.
by bubblyworld 3y ago
Yeah, there are lots of examples of species in the same niche evolving ways to avoid competition rather than wiping each other out - see "resource partitioning" in ecology.
592.
by bubblyworld 3y ago
Yeah, it's a good time =) highly recommend the app! I've learned tons about the natural world in my hometown from snapping pics while I'm walking around. The community is really friendly.
593.
by bubblyworld 3y ago
A link to the inaturalist observation and commentary from working mycologists: https://www.inaturalist.org/observations/168461910?fbclid=Iw... (tl;dr image analysis seems to suggest the images haven't been doctore
594.
by bubblyworld 5y ago
I think a source of bitrot the author doesn't mention comes from a combination of two things: 1. People modifying a large codebase generally don't have a complete understanding of the codebase (and this becomes more common the lar
595.
by bubblyworld 6y ago
Ah, I see. That's interesting, I'll see if I can find a bootleg copy and have a read =). Logic is a beautiful, deep subject - all the best with your studies!
596.
by bubblyworld 6y ago
As a mathematician, I find this surprising - formal logic and probability theory don't usually have much to do with each other. Is the issue that you have trouble with formal mathematical notation?