XelaP

Karma: 975

Came for the Harry Potter fanfic, a positive vision of what do with atheism, and the anti-death ethos. Stayed for the good thinking.

I really like math and physics. I can program but am not a programmer—I’d have to learn how to make a website and struggle to handle more than a couple hundred LOC. Learning a little Haskell made me enjoy coding again, I’d like to get better at it.

I’m currently very bad at following through on commitments. I hope to fix this by tomorrow. I’ll probably fail, but I shoot for getting it down before my fifty thousandth tomorrow.

XelaP 17 Jun 2026 20:01 UTC
2 points
0
in reply to: Mateusz Bagiński’s comment on: Mateusz Bagiński’s Shortform
The way I imagine the days is tied directly to the calendar: there’s Sunday Monday … Saturday in a row, then the next row starts at Sunday again. If I think about what day it is, I will tend to start at the location nearest day I remember well, situated in a row that’s in the “middle”. Then I’ll seek forward/backward until I get to the current date. Likewise if you ask me what day is 4 days from now, the thing I automatically do is seek forwards until I’ve moved 4 spaces.
What’s time within a day like for you? I think of that just via the numbers, and was surprised the first time I heard someone tell me that obviously analog clocks were easier because you add the angles on a circle in your head. (This is probably a generational thing: I grew up with digital clocks, and had to be taught in school how to read an analog clock like an extra skill, and would only have a reason to need that skill if I was in class and wanted to surreptitiously check how long it’d be until it was over).

XelaP 15 Jun 2026 21:37 UTC
3 points
0
in reply to: johnswentworth’s comment on: johnswentworth’s Shortform
I find the miscalibrated intuition that fun things won’t be fun the second most insidious part that cluster of feelings, as it impairs my ability to recover. (The most insidious part is how it becomes harder to notice that my mental state is unusual).
Another factor is that I’ll also find that fun things will take longer to start being fun. So I’ll start doing something that’s usually fun, notice how I’m still not feeling anything, and then feel less motivated to keep at it until it feels fun again.
A mitigating factor is that I usually feel apathetic when this happens, and so I can just keep going through the motions without being made sadder. This is easiest when no active effort is required on my part, which is why I find listening to music usually effective.
The hardest part, then, is getting over the hump of starting (as with everything else in my life). Music only requires me to put in the earbuds from my pocket and play from a playlist on my phone, which makes it really low effort.

XelaP 15 Jun 2026 21:14 UTC
2 points
0
on: Game Recognizes Game
An example of a conspirator failing to escalate edginess properly, and a ‘secret police’ misdirecting the cause of his reaction to hide his disapproval: https://hpmor.com/chapter/7
It was at this point that Harry came to the sudden realisation that (a) the sounds coming from the rest of the train platform had turned into more of a blurred white noise at around the same time Draco had reached inside his robes, and (b) when he had discussed committing murder as a bonding method, there had been exactly one person in the conversation who’d thought they were joking.
...
“Yes, well,” Harry coughed, oh god how was he going to get out of this conversational wedge, “I was just surprised at how you were willing to discuss it so openly, you didn’t seem worried about getting caught or anything.”

XelaP 14 Jun 2026 19:32 UTC
1 point
0
on: A Sketch of Good Communication
I had similar thoughts in the context of Aumann’s agreement theorem.
Aumann’s agreement theorem is like mining as much information as you can out of only the final probability estimates (and common knowledge of being honest and prefert Bayesians). Given such sparse info, all you can do is meta-update on how your partner disagrees with you, then meta-meta update on how they still disagree after meta-updating, etc.
Whereas in real conversations, people at best do one or two steps, and instead spend the time talking about their evidence and their reasoning (in your frame, their models). I think this is because:
1. You share a lot more new info.
2. You can think via conversation, and thus learn about your model and their model, spot flaws in the two, etc.
3. Humans aren’t ideal agents (duh), and so you have to model the ways in which you think your partner reasons wrongly.
4. Humans aren’t good at those meta-meta-meta updates. This is because you’d have to model what someone else thinks about what you think that they think to go beyond two steps. I have occasionally thought “ah, they haven’t updated after I said X/they’ve already heard about X, and in this case that would imply they are probably right”, but never further than that.

XelaP 10 Jun 2026 20:40 UTC
2 points
0
in reply to: jelly’s comment on: Jemist’s Shortform
Huh, I guess that was more worth my time writing than I thought! Hope someone finds it useful.

XelaP 10 Jun 2026 5:42 UTC
2 points
0
in reply to: Linch’s comment on: Linch’s Shortform
Cannibalism: Kevin Simler has a book review of Why Do People Sing?: Music in Human Evolution by Joseph Jordania that theorizes that predators eating dead humans was seen as uniquely bad due to how it could ‘teach’ them that humans (or the ‘superorganism’ of the tribe dancing and loudly chanting in sync while banging their weapons (rocks)) loudly are not so hard to kill after all.
An enemy eating the dead is then a desecration of their person or of your tribe, so the dead must be retrieved from combat and the corpse disposed of properly (possibly by cannibalism, but only by the ingroup). Sky burials feature scavenging eating the corpse, but not lions.
The ancient practice of mutulating or desecrating the dead, and especially eating them, is a way to show utter dominance, that taps in to fundamental human instincts.

(I am skeptical of this theory, mostly because of it having multiple steps without solid backing. I most buy the part about music as aposematism and coordination enhancer; but am more skeptical of the corpse destroying parts).

XelaP 9 Jun 2026 0:20 UTC
1 point
0
in reply to: Screwtape’s comment on: Screwtape’s Shortform
Alternatively you can think of the possessive as really being a “property of” indicator. The country with the property of having me in it; the person with the property of being married to me; the hat with the property of being owned by me. You can then have a special case for ownership in particular.

XelaP 8 Jun 2026 23:52 UTC
3 points
0
in reply to: mako yass’s comment on: Examples of Examples
I’m a curious person who finds pure math interesting, but I still care a lot about application. You can definitely estimate the usefulness of math, in a way like how people estimate the importance of pure math.
However, my understanding is that basically none of the famous conjectures are important because the statement itself is useful. Rather, we expect that if we can answer the question we should also have a better developed theory that will then have various applications (or on the pure end, let us understand various things).
There’s a whole bunch of unknown containments in complexity theory, and (reportedly) the theory currently just doesn’t seem to have good approaches to tackle the problems. This suggests that if we can resolve whether P=NP, we should also have some much better tools that can resolve a whole lot more and allow us to build up more theory.
I put like 80% on P ≠ NP since the experts think it’s likely true. Extra weight is given to people like Scott Aaronson, who also believe similarly I think. This is how I deal with fields I don’t know enough to have my own opinions on.
Empirical mathematics is fine, but once you get to famous outstanding conjectures the track record isn’t so good. For most random statements I cook up, empirics will vastly narrow down the possibilities and agree with proofs. But there are famous examples of this failing for famous conjectures in number theory, which a priori seems more amenable to empirics than computational complexity or, say, algebraic geometry. This suggests that once you’ve weeded out the easy stuff, empirics are less useful for what’s left.
But what’s the empirical (as in, similar to checking a number theory conjecture on all the integers up to however much you can compute) evidence for P ≠ NP, besides humans not finding the necessary algorithms? It’s not like someone has an algorithm that seems to have asymptotics of O(f(n)) and where proving it does would resolve the conjecture (Levin’s universal search doesn’t count on account of being too ridiculously slow to get empirical evidence about).

XelaP 8 Jun 2026 19:58 UTC
14 points
2
in reply to: Niki Dupuis’s comment on: NicholasKees’s Shortform
Admittedly, this was at a time where it was more plausible. Many scientists believed in ESP type stuff, and you saw recent miracles wielding the power of electromagnetism.
The question I have: when could people have first gotten estimates of the fields produced by the brain to within a few OOMs? e.g. when were the first roughly accurate measurements of the amperage of an action potential? It seems like it’d be roughly before Turing’s time, but I’m not sure when the actual number was produced.
As an example of plausibility: if you use machines you can have brain to brain stimulation, via magnetoencephalography and TMS.

XelaP 8 Jun 2026 14:06 UTC
1 point
0
in reply to: gwern’s comment on: My Weirdest Experience
This is personal variation—my dreams regularly include texting and web browsing.
For all I know, my hippocampus encodes digital ‘locations’.

XelaP 8 Jun 2026 8:57 UTC
1 point
0
in reply to: lukeprog’s comment on: Shut Up and Divide?
I think I happen to also have a second-order want to not want to help strangers. I don’t act on it (beyond wanting to roughly keep my meta selfishness-altruism allocation the same, or otherwise not want to increase my altruism too much), and have already made my decision basically final; but I’ve definitely considered it before.
There are also some actively sadistic desires paired with second order desires, though those are about the experience I feel instead of a terminal desire for harming others or for reallocating resources towards selfish gain. These I have never seriously entertained acting upon.
I sometimes fantasize that I’ll live to see humanity get the good ending and get to revel in simulated torture of non-sentient simulacra (or actors that feel no pain and take no real damage but are expertly pretending to).

XelaP 8 Jun 2026 8:48 UTC
1 point
0
on: Shut Up and Divide?
These do not seem contradictory. One can divide at the low end, and multiply at the high end. I don’t think I’ve multiplied as much as Eliezer, but I may have divided as much as you—though I suspect other unknown factors make me generally less empathetic, and so unaffected by random murders or school shootings or individual car crashes far from myself. A large enough harm, if novel, will lead me to double-take and feel real horror.

XelaP 8 Jun 2026 8:32 UTC
6 points
3
on: How do people stop spiraling about Roko’s Basilisk & acausal extortion?
I never really spiralled, but the counterarguments came readily to me. Hopefully, you can be reasoned away from a position that you’ve been reasoned to. If you deeply understand why it’s silly, then you are less likely to spiral! After all, you had to think through a convoluted argument to even know what to spiral about in the first place!
Here’s the version my grown-up self comes up with:
The most fatal flaw: Don’t negotiate with terrorists! Come on, man, how did you end up getting this far into acausal decision theory without realizing that it recommends that you don’t succumb to threats made only because the counterparty believes you’ll react? A basilisk would straightforwardly be making the sort of threat that decision theory seems to say you should ignore, for the same reason you should ignore a smart enough predictor that takes hostages to ransom you with or a dictator that threatens to nuke the world unless he’s given an ivory castle.
Now, the second most fatal flaw: you cannot actually predict what superintelligent AIs will do in enough detail to do acausal stuff with them. Two humans can barely do this with each other, let alone with aliens that’re waaaaaay smarter and possibly literally using algorithmically near perfect simulations to predict you. You certainly aren’t going to get almost anywhere by thinking about what the distribution of AIs will acausally agree upon amongst themselves. They are, again, superintelligent aliens! First, why don’t you predict what promises (if any) I’ve made with my past romantic partners. And note that I leak way more info about myself than merely the fact that I am a human, which is the closest level of info analogous to what you know about a generic superintelligent alien mind.

As a similar example that may illustrate the absurdity of a specific prediction: I have no hope of figuring out what sorts of universal turing machines make our universe have a lot of weight in the simplicity prior and then reasoning about what sorts of universes and what sorts of minds would be using the simplicity prior, and then trying to manipulate it via the most likely output channels to gain power in the real universe. I’m certainly not going around sorting rocks into shapes resembling the konami code in the hope that a mind considering our world as a hypothesis reads the shape of the rocks and reads the konami code as a prediction that not building me in the real world will lead to horrible outcomes. How would I know what good manipulation strategies would be, given all that computational difficulty?
This example is, if anything, easier to reason about than acausal decision theory with superintelligences—at least we have math formalizing AIXI! The reason I bring it up is that the (relative—in absolute terms it’s abstract as hell) concreteness provided by our mathematical understanding makes it clear how impossible of a task this is for a human. As in, literally impossible—if you manage it without going full transhuman or offloading it to something at least that powerful, I will literally eat a hat.

XelaP 8 Jun 2026 8:16 UTC
1 point
−3
in reply to: JBlack’s comment on: How do people stop spiraling about Roko’s Basilisk & acausal extortion?
The whole point of the basilisk is that it has large stakes and that you can affect those stakes (acausally). Whether unlikely or not, you have (acausal) control over large outcomes, and so in expectation it matters. While I think humans, with our current foolishness, should have inertia to taking significant mainline-damaging actions for unlikely possibilities (especially if the argument is some weird abstract thing with many steps that’s endorsed by few and that you don’t fully understand well enough to reason about and that is widely acknowledged in the field to have fundamental unsolved confusions (like logical counterfactuals, or just how AIs work, like, at all)), ultimately I endorse acting on low probability high stakes outcomes once you’ve crossed certain reliability-in-reasoning vs cost thresholds.
The real way that the basilisk privileges the hypothesis is by picking a basilisk in particular. There should be very many different AIs that would all want you to build them but not the other.
Perhaps some large fraction of them could acausally agree to incentivize creating any AI, or any AI within certain bounds, or with stepped incentives for various AIs depending on how much power they had in the acausal negation. There is, of course, no way in hell for you to actually figure out what they’d bargain—so you don’t know what AI you’re supposed to build!

XelaP 8 Jun 2026 7:54 UTC
4 points
0
in reply to: mako yass’s comment on: Examples of Examples
...why not just take Goodstein’s theorem, which can be expressed in Peano Arithmetic but not proven in it—yet it can be proven in ZF. I assume we both agree that the continuum hypothesis isn’t clearly true or false, but if you happen to have an opinion there you could take that. Or, for that matter, if you believe that Peano Arithmetic or ZFC or whatever your favorite formal theory is true with high probability, then a consistency statement in that theory is an unprovable statement that you believe! You can write down a statement that is a translation of “Will this turing machine that searches until it finds a contradiction halt?”
Secondly, you say
any other field would have accepted that the evidence was overwhelming and moved on long ago. A physicist would simply declare it a law of reality.
...but both math and physics have solved centuries old conjectures, even close to the modern day. The parallel postulate was generally thought to be necessary for consistent geometry for 2 millenia; Fermat’s last theorem took 3 centuries; The 36 officers problem took 2 centuries (and the general case took another 50); Catalan’s conjecture took 1.5; The Poincaré conjecture and the four color theorem, took 1 century. Quantum mechanics and relativity overturned major bodies of work that had been around for centuries. Gravitational waves took a century to discover from when they were proposed; the estimates of the age of the universe had issues that took like 75 years to work out; and the Higgs boson and pentaquarks took like 50 years to discover.
The mathematical examples are especially impressive because of how old and developed core fields like number fucking theory are. Whereas the entire concept of turing machines has only been around since the 30s (1 century ago) and P vs NP is from 1970 (60 years ago).
When the entire field is only a century old, and the subfield (complexity theory) and problem in question is only around 50 years old, you really shouldn’t update that much on the problem being unprovable.
The only examples of unprovable statements that were found ‘in the wild’ I’ve heard of are consistency statements and the continuum hypothesis (mathematical logic probably has plenty but I consider that cheating, in the same way that undecidable problems in computer science are cheating). So the base rate of unprovable statements in non-logic fields is quite low, even if we go ahead and count every 50 year old famous important open problem as unprovable.
Get back to me in another century (if we’re still alive) and I’ll consider it plausible. But to think there’s more than a small chance of unprovability is to forget history.

XelaP 8 Jun 2026 7:15 UTC
1 point
0
in reply to: Gurkenglas’s comment on: Autopilot Thinking
I seem to basically have one verbal ‘stream’, so that I mostly cannot think in words while talking or think in words about two different things. If talking about something that I know werl and have talked about before, I will sometimes find myself doing a little bit of accessory planning (sometimes even in words!) while my mouth moves in coherent ways, but I sorta feel like if I focused on it that the spell would break. It’s an interesting question, though, so I’ll try to notice next time.
I can walk and talk, or drive and talk, easily. The only examples that come to mind of me talking and visualizing were times where I was describing what I was visualizing or reporting a conclusion from my visual thinking, as opposed to talking about something else.
I think my autopilot thinking is more like if Claude only had a context window spanning a dozen tokens.

XelaP 8 Jun 2026 6:22 UTC
1 point
0
in reply to: Gurkenglas’s comment on: Autopilot Thinking
My memory is generally worse, though I’ll still remember broadstrokes.
I’m unsure what multitasking would look like outside of certain time-pressured jobs. I think I do not usually multitask, regardless of mental state. But it also looks like other people are like this, too?
I’d suspect that multitasking should not be made much worse by going on autopilot (beyond the way that individual tasks are), as task-switching is already going to require dumping my working memory. I’d be slower at each step, though, and so if the reason why I’m multitasking is because I need to attend to multiple types of events that need to be processed quickly, then I’d expect to be much worse.

XelaP 8 Jun 2026 2:44 UTC
8 points
5
in reply to: leogao’s comment on: leogao’s Shortform
For empirical questions, one litmus test is whether most of the populace doesn’t know some true (like stats reported by large institutions with no disagreement from other reputable institutions) and clearly relevant fact, or repeatedly overestimates the observed risk of something.
AI water usage is an example. Others are the deaths per TWh of nuclear power, that extreme poverty (≤$3/day) went down by 3 times in the last 20 years (along with what percent are below that line), observed prediction market accuracy, the annual revenue of the US federal government as compared to e.g. the total net worth of billionaires (it’s about ¹⁄₃ of it), and that the labor share of GDP over time hasn’t dropped much.
I sometimes wonder if political beliefs would be very different if every child knew a certain set of basic stats—and also what political beliefs you could get if you adversarially optimized that set (while still keeping the stats reliably true and ‘basic’) to lead them to some specific conclusion.

XelaP 7 Jun 2026 22:08 UTC
9 points
0
in reply to: habryka’s comment on: Some Dating Stories
Hmm, when reading “fuck”, my first reaction was to feel the vibes of a kind of ~sleazy man that ranges from actively harmful to merely having different tastes than me. Then I thought “Ah, it’s John, he probably didn’t mean that”.
I’d say I then implicitly got like a fourth of the intended meaning. The main other meaning I got was “casualness”. I tend to use “fuck” a lot as a generic intensifier in casual conversation, though I (ironically) don’t tend to use it to talk about sex, seemingly mostly due to a flinch about coming off as sleazy (I do not feel the same flinch when I imagine saying “Alice fucked me”). I think this is why I thought that that’s most of what was meant.

XelaP 7 Jun 2026 21:54 UTC
2 points
0
in reply to: habryka’s comment on: xpostah’s Shortform
Did you also disable samuel’s ability to receive (and send?) DMs on here, as you did with the case mentioned in that linked comment?