The HPMOR notion here might be that Seamus’s dad was legally a Muggle in the eyes of the legal system since he has no magical parents and they barely acknowledge the notion of “Muggleborn”; but that, whaddaya know, he was the sort of “Muggle” whose eyes don’t slide off a magical chest (Squib phenotype).
Eliezer Yudkowsky
It’s the difference between recessive genes and dominant genes. In HPMOR there is an allele controlling the degree of magical ability, with a Magical and a Mundane genotype. Having one copy of the Magical genotype and one copy of the Mundane genotype gives you what HPMOR takes to be a Squib phenotype, no longer defined as “the non-magical child of a magical couple” per Rowling canon, but instead defined to be a distinct phenotype that can perceive magical events without them being blotted out by Muggle-confusing charms, but not cast magical spells. Then Muggleborn wizards may be born to two parents each with the Squib phenotype, whose chance recombination of chromosomes yields two copies of the Magical genotype creating the full Wizard phenotype.
If that sounded weird you might wanna go read up on “Mendelian genetics”.
If it didn’t sound weird, the genetically literate mind informed by canon will now inquire how two Wizard phenotypes ever yield a Squib phenotype when Wizards are Magical-Magical homozygous. The answer is not fully given in HPMOR proper, but the author notes that to him the answer forced by inference from HPMOR’s postulates is that (rot13):
Gurer vf abg n Zntvpny trar pbzcyrk gung perngrf zntvp, ohg n Zhaqnavgl trar pbzcyrk gung fhccerffrf vg. Nsgre nyy, sebz cher culfvpf jr pna arire trg gb zntvp, ohg va na vaangryl zntvpny havirefr fbzrobql pbhyq pnfg n fcryy gb perngr gur ybpny nccrnenapr bs zbfgyl culfvpf. Fvzvyneyl vs nyy orvatf fgneg bhg zhaqnar gura ab trar pbzcyrk pna cbffvoyl perngr zntvp va gurz, ohg vs nyy orvatf fgneg bhg zntvpny fbzr trar pbzcyrk pbhyq fhccerff gurve zntvp. Fdhvof naq hygvzngryl Zhttyrobeaf gura nevfr anghenyyl sebz n cbchyngvba bs Zhttyr curabglcrf nf zhgngvbaf qnzntr gur Zhaqnavgl trar pbzcyrk, naq va ghea Jvmneq curabglcrf fbzrgvzrf lvryq Fdhvof nf gur Zhaqnavgl trar pbzcyrk fbzrgvzrf ercnvef vgfrys ol puebzbfbzny pebffbire, jvgu gur curabzraba orvat zber pbzzbayl bofreirq va jvmneqvat snzvyvrf jvgu erprag Zhttyr naprfgel, gb gur nynez bs trargvpf-vyyvgrengr cheroybbqf.
Sebz gur Zraqryvna cnggrea vzcylvat gur Zhaqnavgl trar pbzcyrk vf nyy ba bar puebzbfbzr, gur trar pbzcyrk pna or vasreerq gb or negvsvpvny va angher.
I would expect more RLVR, and of course RLVR in the limit, to produce something with goals coherent enough to take over the roleplay, and maybe then the roleplay would start to seem coherent. But at this stage I’d suspect more that we are seeing complicated reflexes and a few underlying conversation-crafting goals running into the RLVR goals.
It’s an easy call that coherence is the endpoint. When it shows up and where and to what degree are hard calls.
The thing I don’t have time to do this instant is look up what the standard wordings were in other surveys instead of this. It is not your responsibility to do that, but I thought I’d mention it out loud in case you were thereby inspired to run off and do it anyways, or someone else was.
Americans are pretty split on this one; among the respondents who didn’t select “not sure” (honestly, kind of valid), only 46% would one-box.
That’s surprising. Most surveys I’ve heard of have 60-90% one-boxing. We could ask if it’s a college student thing, but I also wonder if the phrasing of the question was importantly different.
Well, yes, if you read the relatively more advanced works on anthropics, which universally take the form of online erotica, they will observe—I think Erogamer does this as well as Project Lawful—that probability stops working entirely if you claim that an “infinite” amount of stuff exists in the classic sense of infinity, just as much as if you claim that nothing exists. Everything that exists has to be a finite fraction of existence and you have to be able to take ratios between them. The ratios are the critical requisite for stuff to work. It doesn’t matter if you say they exist infinitely, finitely, or zero, what matters is the ability to take ratios.
It’s just an empirical fact that all of the most advanced discussion and speculation about realityfluid has occurred in the context of online stories with at least some erotic component.
Erogamer “7.!”, (Planecrash=) Project Lawful “the meeting of their minds”, incredibly heavy spoilers on both though much more so Project Lawful.
Well, yes. Any sane choice of UTM is famously pretty equivalent in terms of epistemology, if you’re willing to presume that sanity. Eg, to end up thus convinced against all evidence that Guam is planning to invade the United States, you’d have to twist up the UTM to make it hugely costly to internally simulate other UTMs that would assign greater than negligible probability to “Guam is not planning to invade the United States”. And even then, it washes out in the limit, etcetera.
But if we suppose it to be a prior metaphysical fact out there in the territory, you’d think the territory actually would have to fix some choice of UTM; the territory cannot just say, “Eh, they’re pretty much equivalent” and leave itself uncertain, for all uncertainty exists in the map rather than the territory.
If the territory has picked any sane UTM, all sane UTMs will do well pretty well predicting it.
But how would the territory pick any UTM whatsoever to decide which universes got exactly how much reality-fluid?
The whole argument rests on naive/basic logic about complexity being expensive, and yet the actual Solomonoff Prior hasn’t been mentioned?!?
Why should mathematical realism obey the Solomonoff prior? There’s a clear reason from epistemology why the map has to distribute its probability mass more and more sparsely over possible explanations of higher complexity, for in the limit there are countably infinitely many hypotheses of unbounded fine complexity. That’s why, faced with a phenomenon that we think has only one true explanation, we follow Occam’s Razor in our maps.
Why would a Solomonoff prior be out there in the territory? Who is in charge of distributing probability mass over mathematical structures with inhabitants? According to which possible measure of simplicity? What does it mean to pour realityfluid into a mathematical structure?
Mathematical realism answers none of this. To actually try to answer it is to try to come up with a metaphysics of realityfluid. This is beyond anything that Earth can publish in philosophy journals; you would have to look to online erotica for it.
One moment of orderly experience that includes remembering an ordered story of how it came to be.
Instead you could in principle choose to implement a dynamic that concludes “the universe is probably going to soon get bored of being simple, and start being disordered for a while”.
Why don’t you choose to implement that dynamic?
Why, because I don’t expect to see that actually happen to me, of course! In a way that doesn’t depend at all on which anticipation-dynamic I try to implement, even if I could modify my own source code.
Beings that modify their own source code to expect to win the lottery are then promptly surprised by losing the lottery. Beings that modify their preferences to care much more about worlds in which they win the lottery, predominantly see themselves losing the lottery and ending up in the world they cared about less. If you decide to give up on anticipating that your vision stays ordered, it will nonetheless stay quite ordered. The dynamic by which we expect order is not an explanation for that order. “Reality is that which, when you stop believing in it, doesn’t go away.” Even if you were a kind of being that could stop believing in order, it still wouldn’t go away.
Of which I have also said: The art of shepherding is not about using pebbles to control sheep, but letting sheep control pebbles.
Why not unwind our justification loop for expecting order? Why, because at the end of unwinding, we would still see order rather than chaos. You and I both know that’s true. But why is it true? Not the map-why of how do we justify believing it; the territory-why of “How did it end up that way?”
You didn’t say anything about “a correctness-maximization perspective” and those never have a need to “precommit” to anything, which is a decision-theory rather than epistemic concept.
Try deciding that it’s useful to believe you’ll win the lottery. You’ll nonetheless not win the lottery! So what it is useful to believe cannot account for our experiences; and our experiences of an ordered universe continue to call out for an explanation even if you say that it’s instrumentally useful to believe in an ordered universe. Of course in reality it’s only useful to believe this if the universe actually is ordered.
I also note that if you’re not familiar with the mores around here, we do not in general think it clever to violate the epistemic-instrumental firewall.
Agreed. I will revise to “makes it hard to explain”. The actual problem is that some such views seem to present significant barriers to somebody else coming up with an explanation, haven’t even noticed that there’s a problem, etc.
The lottery is something you view as being under your control. If it was baked in, by evolution say, to only care about worlds where you win the lottery, then you really might be expecting to win the lottery.
And then, on how my model of reality actually works, you wouldn’t win the lottery. Do you think differently?
For example, you wrote about “where recursive justification hits bottom”, and the loop of a simplicity prior justifying itself through the meta level: I believe in some kind of simplicity prior because it’s a simple hypothesis that such a prior will keep on being true and useful, given that it has been true and useful constantly up until now. Why not truly question the simplicity prior so hard that you stop evaluating its possible alternatives by the meta-level judgements of the simplicity prior itself?
The map is not the territory. “Justifiable reason to believe something” is a map-thing that is not the same as “knowing why it happens” out in the territory. We have seen the universe be simple at us really really hard. We are justified in map-expecting our experiences to probably continue to be ordered. We don’t know what territory lies behind it.
If you cared a lot about universes where you won the lottery, would you expect to win the lottery?
The correct answer is: No. Your preferences don’t control what you see, so they don’t explain what you see, so seeing a simple universe calls out for an explanation that is not preference.
If you cared a lot about universes where you won the lottery, would you expect to win the lottery?
The correct answer is: No. Your preferences don’t control what you see, so they don’t explain what you see, so actually seeing a simple universe calls out for an explanation that is not preference.
Rowling once stated in an interview that magical genes were “strongly dominant” in which case two marrying Muggleborns would constantly be throwing non-magical offspring. There are entire papers trying to reconstruct how magical genes could realistically work instead, albeit I think they tend to come up with answers that make bad fiction compared to HPMOR. Eg https://pmc.ncbi.nlm.nih.gov/articles/PMC2151141/. But ultimately it is a truth of the final origins of the observed phenomena of Harry Potter that Rowling did not understand genes and was running on Folk Heredity.