Posts

Maximize in a limited domain. Hope for the future. 2022-03-17T14:05:47.960Z
Dallas SSC Meetup #11 2021-05-26T22:19:00.959Z
Dallas SSC Meetup #10 2020-01-04T16:50:35.595Z
Dallas SSC Meetup #9 (New Time+Location) 2019-11-27T18:15:16.017Z
Dallas SSC Meetup #8 2019-10-29T16:35:27.727Z
Dallas SSC Meetup #7 2019-10-03T03:53:24.515Z
Conceptual problems with utility functions, second attempt at explaining 2018-07-21T02:08:44.598Z
Conceptual problems with utility functions 2018-07-11T01:29:42.585Z
Are long-term investments a good way to help the future? 2018-04-30T14:41:56.640Z

Comments

Comment by Dacyn on Set Theory Multiverse vs Mathematical Truth - Philosophical Discussion · 2024-11-02T13:39:49.884Z · LW · GW

What makes certain axioms “true” beyond mere consistency?

Axioms are only "true" or "false" relative to a model. In some cases the model is obvious, e.g. the intended model of Peano arithmetic is the natural numbers. The intended model of ZFC is a bit harder to get your head around. Usually it is taken to be defined as the union of the von Neumann hierarchy over all "ordinals", but this definition depends on taking the concept of an ordinal as pretheoretic rather than defined in the usual way as a well-founded totally ordered set.

Is there a meaningful distinction between mathematical existence and consistency?

An axiom system is consistent if and only if it has some model, which may not be the intended model. So there is a meaningful distinction, but the only way you can interact with that distinction is by finding some way of distinguishing the intended model from other models. This is difficult.

Can we maintain mathematical realism while acknowledging the practical utility of the multiverse approach?

The models that appear in the multiverse approach are indeed models of your axiom system, so it makes perfect sense to talk about them. I don't see why this would generate any contradiction with also being able to talk about a canonical model.

How do we reconcile Platonism with independence results?

Independence results are only about what you can prove (or equivalently what is true in non-canonical models), not about what is true in a canonical model. So I don't see any difficulty to be reconciled.

Comment by Dacyn on Pronouns are Annoying · 2024-09-21T11:51:51.666Z · LW · GW

I don't agree that I am making unwarranted assumptions; I think what you call "assumptions" are merely observations about the meanings of words. I agree that it is hard to program an AI to determine who the "he"s refer to, but I think as a matter of fact the meanings of those words don't allow for any other possible interpretation. It's just hard to explain to an AI what the meanings of words are. Anyway I'm not sure if it is productive to argue this any further as we seem to be repeating ourselves.

Comment by Dacyn on Pronouns are Annoying · 2024-09-20T16:43:39.152Z · LW · GW

No, because John could be speaking about himself administering the medication.

If it's about John administering the medication then you'd have to say "... he refused to let him".

It’s also possible to refuse to do something you’ve already acknowledged you should do, so the 3rd he could still be John regardless of who is being told what.

But the sentence did not claim John merely acknowledged that he should administer the medication, it claimed John was the originator of that statement. Is John supposed to be refusing his own requests?

Comment by Dacyn on Pronouns are Annoying · 2024-09-19T17:29:47.181Z · LW · GW

John told Mark that he should administer the medication immediately because he was in critical condition, but he refused.

Wait, who is in critical condition? Which one refused? Who’s supposed to be administering the meds? And administer to whom? Impossible to answer without additional context.

I don't think the sentence is actually as ambiguous as you're saying. The first and third "he"s both have to refer to Mark, because you can only refuse to do something after being told you should do it. Only the second "he" could be either John or Mark.

Comment by Dacyn on Pay Risk Evaluators in Cash, Not Equity · 2024-09-08T18:36:06.377Z · LW · GW

Early discussion of AI risk often focused on debating the viability of various elaborate safety schemes humanity might someday devise—designing AI systems to be more like “tools” than “agents,” for example, or as purely question-answering oracles locked within some kryptonite-style box. These debates feel a bit quaint now, as AI companies race to release agentic models they barely understand directly onto the internet.

Why do you call current AI models "agentic"? It seems to me they are more like tool AI or oracle AI...

Comment by Dacyn on Decision Theory in Space · 2024-08-19T19:00:53.259Z · LW · GW

I am still seeing "succomb".

Comment by Dacyn on Mistakes people make when thinking about units · 2024-06-26T12:42:06.411Z · LW · GW

In the long scale a trillion is 10^18, not 10^24.

Comment by Dacyn on Sev, Sevteen, Sevty, Sevth · 2024-06-09T15:15:12.636Z · LW · GW

I say "zero" when reciting phone numbers. Harder to miss that way.

Comment by Dacyn on Question about Lewis' counterfactual theory of causation · 2024-06-09T15:08:11.871Z · LW · GW

I think you want to define to be true if is true when we restrict to some neighbourhood such that is nonempty. Otherwise your later example doesn't make sense.

Comment by Dacyn on Real Life Sort by Controversial · 2024-05-28T13:30:19.845Z · LW · GW

I noticed all the political ones were phrased to support the left-wing position.

Comment by Dacyn on Explaining a Math Magic Trick · 2024-05-06T21:11:35.471Z · LW · GW

This doesn't completely explain the trick, though. In the step where you write f=(1-I)^{-1} 0, if you interpret I as an operator then you get f=0 as the result. To get f=Ce^x you need to have f=(1-I)^{-1} C in that step instead. You can get this by replacing \int f by If+C at the beginning.

Comment by Dacyn on Should we maximize the Geometric Expectation of Utility? · 2024-04-17T21:10:55.689Z · LW · GW

If you find yourself thinking about the differences between geometric expected utility and expected utility in terms of utility functions, remind yourself that, for any utility function, one can choose* either* averaging method.

No, you can only use the geometric expected utility for nonnegative utility functions.

Comment by Dacyn on Claude wants to be conscious · 2024-04-15T22:51:19.602Z · LW · GW

It's obvious to us that the prompts are lying; how do you know it isn't also obvious to the AI? (To the degree it even makes sense to talk about the AI having "revealed preferences")

Comment by Dacyn on Protestants Trading Acausally · 2024-04-01T22:44:29.612Z · LW · GW

Calvinists believe in predestination, not Protestants in general.

Comment by Dacyn on The Worst Form Of Government (Except For Everything Else We've Tried) · 2024-03-18T18:15:03.901Z · LW · GW

Wouldn't that mean every sub-faction recursively gets a veto? Or do the sub-faction vetos only allow the sub-faction to veto the faction veto, rather than the original legislation? The former seems unwieldy, while the latter seems to contradict the original purpose of DVF...

Comment by Dacyn on Simulation arguments · 2024-02-20T18:23:01.230Z · LW · GW

(But then: aren’t there zillions of Boltzmann brains with these memories of coherence, who are making this sort of move too?)

According to standard cosmology, there are also zillions of actually coherent copies of you, and the ratio is heavily tilted towards the actually coherent copies under any reasonable way of measuring. So I don't think this is a good objection.

Comment by Dacyn on Abs-E (or, speak only in the positive) · 2024-02-20T13:11:28.108Z · LW · GW

“Only food that can be easily digested will provide calories”

That statement would seem to also be obviously wrong. Plenty of things are ‘easily digested’ in any reasonable meaning of that phrase, while providing ~0 calories.

I think you've interpreted this backwards; the claim isn't that "easily digested" implies "provides calories", but rather that "provides calories" implies "easily digested".

Comment by Dacyn on Abs-E (or, speak only in the positive) · 2024-02-20T13:06:12.690Z · LW · GW

In constructivist logic, proof by contradiction must construct an example of the mathematical object which contradicts the negated theorem.

This isn't true. In constructivist logic, if you are trying to disprove a statement of the form "for all x, P(x)", you do not actually have to find an x such that P(x) is false -- it is enough to assume that P(x) holds for various values of x and then derive a contradiction. By contrast, if you are trying to prove a statement of the form "there exists x such that P(x) holds", then you do actually need to construct an example of x such that P(x) holds (in constructivist logic at least).

Comment by Dacyn on Anthropics and the Universal Distribution · 2024-02-15T15:38:18.904Z · LW · GW

Just a technical point, but it is not true that most of the probability mass of a hypothesis has to come from "the shortest claw". You can have lots of longer claws which together have more probability mass than a shorter one. This is relevant to situations like quantum mechanics, where the claw first needs to extract you from an individual universe of the multiverse, and that costs a lot of bits (more than just describing your full sensory data would cost), but from an epistemological point of view there are many possible such universes that you might be a part of.

Comment by Dacyn on Ten Modes of Culture War Discourse · 2024-02-05T13:34:07.593Z · LW · GW

As I understood it, the whole point is that the buyer is proposing C as an alternative to A and B. Otherwise, there is no advantage to him downplaying how much he prefers A to B / pretending to prefer B to A.

Comment by Dacyn on Ten Modes of Culture War Discourse · 2024-02-02T21:59:39.046Z · LW · GW

Hmm, the fact that C and D are even on the table makes it seem less collaborative to me, even if you are only explicitly comparing A and B. But I guess it is kind of subjective.

Comment by Dacyn on Ten Modes of Culture War Discourse · 2024-02-02T13:41:07.777Z · LW · GW

It seems weird to me to call a buyer and seller's values aligned just because they both prefer outcome A to outcome B, when the buyer prefers C > A > B > D and the seller prefers D > A > B > C, which are almost exactly misaligned. (Here A = sell at current price, B = don't sell, C = sell at lower price, D = sell at higher price.)

Comment by Dacyn on Ten Modes of Culture War Discourse · 2024-02-01T16:39:35.310Z · LW · GW

Isn't the fact that the buyer wants a lower price proof that the seller and buyer's values aren't aligned?

Comment by Dacyn on [deleted post] 2024-01-28T13:03:01.749Z

You're right that "Experiencing is intrinsically valuable to humans". But why does this mean humans are irrational? It just means that experience is a terminal value. But any set of terminal values is consistent with rationality.

Comment by Dacyn on What makes teaching math special · 2023-12-18T13:34:21.865Z · LW · GW

Of course, from a pedagogical point of view it may be hard to explain why the "empty function" is actually a function.

Comment by Dacyn on ChatGPT 4 solved all the gotcha problems I posed that tripped ChatGPT 3.5 · 2023-11-30T17:04:04.687Z · LW · GW

When you multiply two prime numbers, the product will have at least two distinct prime factors: the two prime numbers being multiplied.

Technically, it is not true that the prime numbers being multiplied need to be distinct. For example, 2*2=4 is the product of two prime numbers, but it is not the product of two distinct prime numbers.

As a result, it is impossible to determine the sum of the largest and second largest prime numbers, since neither of these can be definitively identified.

This seems wrong: "neither can be definitively identified" makes it sound like they exist but just can't be identified...

Safe primes area subset of Sophie Germain primes

Not true, e.g. 7 is safe but not Sophie Germain.

Comment by Dacyn on If a little is good, is more better? · 2023-11-09T15:01:25.306Z · LW · GW

OK, that makes sense.

Comment by Dacyn on If a little is good, is more better? · 2023-11-07T18:21:29.984Z · LW · GW

OK, that's fair, I should have written down the precise formula rather than an approximation. My point though is that your statement

the expected value of X happening can be high when it happens a little (because you probably get the good effects and not the bad effects Y)

is wrong because a low probability of large bad effects can swamp a high probability of small good effects in expected value calculations.

Comment by Dacyn on If a little is good, is more better? · 2023-11-05T15:29:20.301Z · LW · GW

Yeah, but the expected value would still be .

Comment by Dacyn on Multi-Winner 3-2-1 Voting · 2023-10-31T16:14:15.167Z · LW · GW

I don't see why you say Sequential Proportional Approval Voting gives little incentive for strategic voting. If I am confident a candidate I support is going to be elected in the first round, it's in my interest not to vote for them so that my votes for other candidates I support will count for more. Of course, if a lot of people think like this then a popular candidate could actually lose, so there is a bit of a brinksmanship dynamic going on here. I don't think that is a good thing.

Comment by Dacyn on Hyperreals in a Nutshell · 2023-10-16T14:51:42.288Z · LW · GW

The definition of a derivative seems wrong. For example, suppose that for rational but for irrational . Then is not differentiable anywhere, but according to your definition it would have a derivative of 0 everywhere (since could be an infinitesimal consisting of a sequence of only rational numbers).

Comment by Dacyn on Think Like Reality · 2023-09-25T14:58:42.694Z · LW · GW
Comment by Dacyn on Think Like Reality · 2023-09-25T14:58:31.805Z · LW · GW

But if they are linearly independent, then they evolve independently, which means that any one of them, alone, could have been the whole thing—so why would we need to postulate the other worlds? And anyway, aren’t the worlds supposed to be interacting?

Can't this be answered by an appeal to the fact that the initial state of the universe is supposed to be low-entropy? The wavefunction corresponding to one of the worlds, run back in time to the start of the universe, would have higher entropy than the wavefunction corresponding to all of them together, so it's not as good a candidate for the starting wavefunction of the universe.

Comment by Dacyn on The Dick Kick'em Paradox · 2023-09-25T10:43:48.348Z · LW · GW

No, the whole premise of the face-reading scenario is that the agent can tell that his face is being read, and that's why he pays the money. If the agent can't tell whether his face is being read, then his correct action (under FDT) is to pay the money if and only if (probability of being read) times (utility of returning to civilization) is greater than (utility of the money). Now, if this condition holds but in fact the driver can't read faces, then FDT does pay the $50, but this is just because it got unlucky, and we shouldn't hold that against it.

Comment by Dacyn on The Dick Kick'em Paradox · 2023-09-24T15:32:11.689Z · LW · GW

In your new dilemma, FDT does not say to pay the $50. It only says to pay when the driver's decision of whether or not to take you to the city depends on what you are planning to do when you get to the city. Which isn't true in your setup, since you assume the driver can't read faces.

Comment by Dacyn on One Minute Every Moment · 2023-09-03T15:50:16.029Z · LW · GW

a random letter contains about 7.8 (bits of information)

This is wrong, a random letter contains log(26)/log(2) = 4.7 bits of information.

Comment by Dacyn on Newcomb Variant · 2023-08-30T18:15:42.105Z · LW · GW

This only works if Omega is willing to simulate the Yankees game for you.

Comment by Dacyn on Ten variations on red-pill-blue-pill · 2023-08-19T23:21:24.698Z · LW · GW
Comment by Dacyn on Having a headache and not having a headache · 2023-06-21T17:36:12.986Z · LW · GW

I have tinnitus every time I think about the question of whether I have tinnitus. So do I have tinnitus all the time, or only the times when I notice?

Comment by Dacyn on Deontological Norms are Unimportant · 2023-05-19T17:27:23.608Z · LW · GW

I was confused at first what you meant by "1 is true" because when you copied the post from your blog you didn't copy the numbering of the claims. You should probably fix that.

Comment by Dacyn on Explaining “Hell is Game Theory Folk Theorems” · 2023-05-07T16:51:18.680Z · LW · GW

The number 99 isn’t unique—this works with any payoff between 30 and 100.

Actually, it only works with payoffs below 99.3 -- this is the payoff you get by setting the dial to 30 every round while everyone else sets their dials to 100, so any Nash equilibrium must beat that. This was mentioned in jessicata's original post.

Incidentally, this feature prevents the example from being a subgame perfect Nash equilibrium -- once someone defects by setting the dial to 30, there's no incentive to "punish" them for it, and any attempt to create such an incentive via a "punish non-punishers" rule would run into the trouble that punishment is only effective up to the 99.3 limit.

Comment by Dacyn on [deleted post] 2023-05-05T17:00:37.326Z

It's part of the "frontpage comment guidelines" that show up every time you make a comment. They don't appear on GreaterWrong though, which is why I guess you can't see them...

Comment by Dacyn on Votes-per-Dollar · 2023-04-12T14:03:24.767Z · LW · GW

I explained the problem with the votes-per-dollar formula in my first post. 45% of the vote / $1 >> 55% of the vote / $2, so it is not worth it for a candidate to spend money even if they can buy 10% of the vote for $1 (which is absurdly unrealistically high).

When I said maybe a formula would help, I meant a formula to explain what you mean by "coefficient" or "effective exchange rate". The formula "votes / dollars spent" doesn't have a coefficient in it.

If one candidate gets 200 votes and spends 200 dollars, and candidate 2 gets 201 votes and spends two MILLION dollars, who has the strongest mandate, in the sense that the representative actually represents the will of the people when wealth differences are ignored?

Sure, and my proposal of Votes / (10X + Y) would imply that the first candidate wins.

Comment by Dacyn on Votes-per-Dollar · 2023-04-11T15:40:38.101Z · LW · GW

I don't think the data dependency is a serious problem, all we need is a very loose estimate. I don't know what you mean by a "spending barrier" or by "effective exchange rate", and I still don't know what coefficient you are talking about. Maybe it would help if you wrote down some formulas to explain what you mean.

Comment by Dacyn on Votes-per-Dollar · 2023-04-10T20:17:05.560Z · LW · GW

I don't understand what you mean; multiplying the numerator by a coefficient wouldn't change the analysis. I think if you wanted to have a formula that was somewhat sensitive to campaign spending but didn't rule out campaign spending completely as a strategy, Votes/(10X+Y) might work, where Y is the amount spent of campaign spending, and X is an estimate of average campaign spending. (The factor of 10 is because campaign spending just isn't that large a factor to how many votes you get in absolute terms; it's easy to get maybe 45% of the vote with no campaign spending at all, just by having (D) or (R) in front of your name.)

Comment by Dacyn on Votes-per-Dollar · 2023-04-10T15:22:14.895Z · LW · GW

The result of this will be that no one will spend more than the $1 minimum. It's just not worth it. So your proposal is basically equivalent to illegalizing campaign spending.

Comment by Dacyn on Don't take bad options away from people · 2023-03-27T19:43:07.481Z · LW · GW

I wonder whether this one is true (and can be easily proved): For a normal form game G and actions ai for a player i, removing a set of actions a−i from the game yields a game G− in which the Nash equilibria are worse on average for i (or alternatively the pareto-best/pareto-worst Nash equilibrium is worse for G− than for G).

It's false: consider the normal form game

(0,0) (2,1)

(1,1) (3,0)

For the first player the first option is dominated by the second, but once the second player knows the first player is going to choose the second option, he's motivated to take the first option. Removing the first player's second option means the second player is motivated to take the second option, yielding a higher payoff for the first player.

Comment by Dacyn on [deleted post] 2023-03-05T23:23:19.240Z

Not eating meat is not a Pascal's mugging because there is a solid theoretical argument for why the expected value is positive even if the payoff distribution is somewhat unbalanced: if a large number of people decide not to eat meat, then this will necessarily have the effect of shifting production, for supply to meet demand. Since you have no way of knowing where you are in that large ensemble, the expected value of you not eating meat is equal to the size of the effect divided by the number of people in the ensemble, which is presumably what we would expect the value of not eating meat to be under a naive calculation. There's really nothing mysterious about this, unlike the importance of the choice of a Solomonoff prior in a Pascal's mugger argument.

Comment by Dacyn on Speedrunning 4 mistakes you make when your alignment strategy is based on formal proof · 2023-02-17T18:23:17.478Z · LW · GW

A proof you don’t understand does not obligate you to believe anything; it is Bayesian evidence like anything else. If an alien sends a 1GB Coq file Riemann.v, running it on your computer does not obligate you to believe that the Riemann hypothesis is true. If you’re ever in that situation, do not let anyone tell you that Coq is so awesome that you don’t roll to disbelieve. 1GB of plaintext is too much, you’ll get exhausted before you understand anything. Do not ask the LLM to summarize the proof.

I'm not sure what you are trying to say here. Even with 1GB I imagine the odds of a transistor failure during the computation would still be astronomically low (thought I'm not sure how to search for good data on this). What other kinds of failure modes are you imagining? The alien file actually contains a virus to corrupt your hardware and/or operating system? The file is a proof not of RH but of some other statement? (The latter should be checked, of course.)

Comment by Dacyn on Why should ethical anti-realists do ethics? · 2023-02-17T17:27:53.214Z · LW · GW

Thus, for example, intransitivity requires giving up on an especially plausible Stochastic Dominance principle, namely: if, for every outcome o and probability of that outcome p in Lottery A, Lottery B gives a better outcome with at least p probability, then Lottery B is better (this is very similar to “If Lottery B is better than Lottery A no matter what happens, choose Lottery B” – except it doesn’t care about what outcomes get paired with heads, and which with tails).

This principle is phrased incorrectly. Taken literally, it would imply that the mixed outcome "utility 0 with probability 0.5, utility 1 with probability 0.5" is dominated by "utility 2 with probability 0.5, utility -100 with probability 0.5". What you probably want to do is to add the condition that the function f mapping each outcome to a better outcome is injective (or equivalently, bijective). But in that case, it is impossible for to occur with probability strictly greater than , since