Dennis Hackethal’s avatar

Dennis Hackethal

@dennis.hackethal​·​Joined Jun 2024​·​Ideas
Log in or sign up to follow Dennis or post on their wall.

Founder Veritula.
Author. Software engineer. Ex Apple. Translator of The Beginning of Infinity.
dennishackethal.com

New Check out Dennis Hackethal’s adoptable and rejectable ideas.
  Dennis Hackethal funded a bounty.
  Dennis Hackethal criticized idea #5311.

Ah, I marked my agreement in #5292 a criticism to neutralize yours, since I corrected #5293. But I should have revised it to additionally have the existing criticism no longer apply. I'll make a new revision with that change.

#5311​·​Tyler MillsOP, 23 days ago

Since you agree that a revision was necessary, I’ve submitted a counter-criticism of #5292 so that this branch of the discussion tree is consistent (#5323). Ideas are immutable; opening a new branch won’t automatically fix broken branches.

The branch now reflects that your action was rational.

Generally speaking, when a revision addresses a criticism, we don’t submit a counter-criticism.

Let me stress ahead of time that this kind of housekeeping may not seem the most fun, but is indispensable in keeping consistent discussion trees. We can learn to enjoy it. We benefit from this kind of housekeeping by being able to look up which ideas we can rationally adopt.

  Dennis Hackethal addressed criticism #5292.

Well the device may deal with some noisy neighbors, but sure, a criticism overall. Edited.

#5292​·​Tyler MillsOP, 26 days ago

Revision done; criticism not needed.

  Dennis Hackethal commented on criticism #5183.

@edwin-de-wit recently asked Deutsch about this:

… hard to vary can also be a property that you don’t want. Sometimes they say that complicated systems are just so entangled that they’re no longer changeable. You could call that hard to vary but it’s not a property you pursue.

Deutsch’s reply:

Quite so. So hard to vary is about explanations, not about end products. So the end product should be easy to vary, if you want to. But it should be hard to vary in the sense that you don’t want to.

#5183​·​Dennis HackethalOP, about 1 month ago

Naval, who’s inspired by Deutsch, says good products are hard to vary, too: https://nav.al/good-products

Gives iPhone as example.

  Dennis Hackethal addressed criticism #5183.

@edwin-de-wit recently asked Deutsch about this:

… hard to vary can also be a property that you don’t want. Sometimes they say that complicated systems are just so entangled that they’re no longer changeable. You could call that hard to vary but it’s not a property you pursue.

Deutsch’s reply:

Quite so. So hard to vary is about explanations, not about end products. So the end product should be easy to vary, if you want to. But it should be hard to vary in the sense that you don’t want to.

#5183​·​Dennis HackethalOP, about 1 month ago

But HTV is also about art (BoI chapter 14).
A piece of art is a kind of end product. And we could write code to produce art.

  Dennis Hackethal revised criticism #5233. The revision addresses ideas #5306 and #5307.

What’s wrong with using melatonin indefinitely?

AFAIK it creates no physical dependence, you don’t build a tolerance, and it’s cheap. What’s not to love?

AFAIK it creates no physical dependence and you don’t build a tolerance.

  Dennis Hackethal addressed criticism #5233.

What’s wrong with using melatonin indefinitely?

AFAIK it creates no physical dependence, you don’t build a tolerance, and it’s cheap. What’s not to love?

#5233​·​Dennis Hackethal, about 1 month ago

I was wrong to submit this criticism in this form; it should be only about the lack of dependence. Otherwise the criticism chain is inverted for #5203.

  Dennis Hackethal addressed criticism #5233.

What’s wrong with using melatonin indefinitely?

AFAIK it creates no physical dependence, you don’t build a tolerance, and it’s cheap. What’s not to love?

#5233​·​Dennis Hackethal, about 1 month ago

What’s not to love?

#5203 already says: causes people to wake up early. (Can corroborate.)

  Dennis Hackethal posted idea #5304.

~All previous methods of preference formation focus too much on what the ideas say; on their content.

Nobody really knows just how simple an idea is (Occam’s razor) or how likely (Bayesianism), for example. In some cases it’s obvious how ideas compare, but in others not so much.

Adherents of those epistemologies are all fooling themselves into thinking they’re being rational when really they’re still acting on whim. Just fancier whim.

Focus instead on how the ideas relate, on the structure of the current state of the discussion, and preference formation gets much easier and simpler.

Then you can easily see which ideas you can adopt and which you can’t. You can even see exactly which criticisms you’d need to address to change someone’s mind, say.

Beautiful.

  Dennis Hackethal criticized idea #5288.

It strikes me that I may have some confusion around compromise. There's an idea (from who/where? Gemini says Brett Hall...) that a compromise can actually be bad, because it is a new theory that no one was advocating for. So if it fails, it's harder to learn from and hold anyone accountable for. Yet, to resolve our procrastination and other hangups (and many problems in life), it seems like finding a common preference is the thing to do (and it seems like it works). But isn't that the same as compromising?

#5288​·​Tyler MillsOP, 26 days ago

… it seems like finding a common preference is the thing to do …

It is.

… (and it seems like it works).

It usually does.

But isn't that the same as compromising?

No. A common preference is a new option everyone involved prefers to their respective original stance. A compromise is an option they do not prefer, but merely reluctantly agree to. And it’s usually not really new in content but resulted from mechanically mixing existing options. See the article linked in #5301.

  Dennis Hackethal criticized idea #5288.

It strikes me that I may have some confusion around compromise. There's an idea (from who/where? Gemini says Brett Hall...) that a compromise can actually be bad, because it is a new theory that no one was advocating for. So if it fails, it's harder to learn from and hold anyone accountable for. Yet, to resolve our procrastination and other hangups (and many problems in life), it seems like finding a common preference is the thing to do (and it seems like it works). But isn't that the same as compromising?

#5288​·​Tyler MillsOP, 26 days ago

… a compromise can actually be bad, because it is a new theory that no one was advocating for.

Compromise is always bad. It’s a form of irrationality.

  Dennis Hackethal criticized idea #5288.

It strikes me that I may have some confusion around compromise. There's an idea (from who/where? Gemini says Brett Hall...) that a compromise can actually be bad, because it is a new theory that no one was advocating for. So if it fails, it's harder to learn from and hold anyone accountable for. Yet, to resolve our procrastination and other hangups (and many problems in life), it seems like finding a common preference is the thing to do (and it seems like it works). But isn't that the same as compromising?

#5288​·​Tyler MillsOP, 26 days ago
  Dennis Hackethal revised idea #5204 and marked it as a criticism. The revision addresses idea #5232.

Time-release melatonin has solved the backfire problem for me. But I don't want to be dependent on it forever to get a good 8 hours.

Time-release melatonin has solved the backfire problem for me. But I don't want to be dependent on it forever to get a good 8 hours.

  Dennis Hackethal commented on criticism #5292.

Well the device may deal with some noisy neighbors, but sure, a criticism overall. Edited.

#5292​·​Tyler MillsOP, 26 days ago

Not to be nitpicky, especially since you ended up agreeing, but #5234 now has a pending criticism (yours), yet you acted on the idea. (Or rather, on the suggestion implied by it.) Acting on an idea with pending criticisms is technically the definition of irrationality on V.

I’m purposely not marking this a criticism so the flags don’t flip.

  Dennis Hackethal posted idea #5298.

Idea: rational discussion graph with recursive criticism evaluation, like Veritula does now. Except the ideas are programs, not natural-language text. And they execute when they have no pending criticisms.

  Dennis Hackethal addressed criticism #5212.

So just stay up 18 hours every day, and sleep in the next day by the extra two hours (assuming 8, which seems optimal for me).

#5212​·​Tyler MillsOP, about 1 month ago

I tried this for a few days recently. By day three or four I went to bed at around 6am and woke up at 2pm. Didn’t feel great the rest of the day. Went back to a more regular sleep schedule after that and feeling better now.

  Dennis Hackethal commented on idea #5276.

From #1497, emphasis mine:

Discussion title: problem
Top-level ideas in the discussion: proposed solutions
Nested ideas: criticisms, counter-criticisms, and further solutions

This is what I was going off. Did I misunderstand #1497?

#5276​·​Benjamin DaviesOP, 27 days ago

You can structure discussions any way you like as long as you make sure the structure won’t break criticism chains.

Comments are for commentary or criticism, not elaborations on the same idea. The same idea shouldn’t be spread over multiple posts. That breaks criticism chains.

Veritula threads don’t work like Twitter/X threads, where people post elaborations on the same idea in comments. They used to have to do that because Twitter enforced a character limit. Now they still do it by tradition. And I’m guessing it’s an adjustment coming to Veritula.

If you realize you need to add more info to an existing idea, put it in a revision, not a comment. Again, #5250 seems like a revision of #5249. The revision of #5249 would then be a combination of both.

  Dennis Hackethal criticized idea #5276.

From #1497, emphasis mine:

Discussion title: problem
Top-level ideas in the discussion: proposed solutions
Nested ideas: criticisms, counter-criticisms, and further solutions

This is what I was going off. Did I misunderstand #1497?

#5276​·​Benjamin DaviesOP, 27 days ago

Possibly yeah. It doesn’t look like you were going off that. #5246 isn’t a proposed solution. Neither is #5250. That’s an elaboration on #5249.

  Dennis Hackethal commented on idea #5274.

Would it be better to make them all root ideas?

#5274​·​Benjamin DaviesOP, 29 days ago
  Dennis Hackethal revised criticism #5269.

But the UI won’t reflect that automatically. Now you have to remember which threads have structure and which don’t. Will you remember that, say, six months from now?

But the UI won’t reflect that automatically. Now you have to remember which threads have this structure and which don’t. Will you remember that, say, six months from now?

  Dennis Hackethal addressed criticism #5267.

They are separate ideas, and the latter ideas depend on their formers. If there is a flaw in former ideas, they apply to latter ideas, but if there is a flaw in latter ideas, they don’t necessarily apply to the former. So arranging them like this was intentional, to respect that hierarchy.

#5267​·​Benjamin DaviesOP revised 30 days ago

This approach breaks search functions, where the system only goes off the ‘Criticized’ flag. Now the system shows some ideas as rationally adoptable even though they aren’t.

  Dennis Hackethal addressed criticism #5267.

They are separate ideas, and the latter ideas depend on their formers. If there is a flaw in former ideas, they apply to latter ideas, but if there is a flaw in latter ideas, they don’t necessarily apply to the former. So arranging them like this was intentional, to respect that hierarchy.

#5267​·​Benjamin DaviesOP revised 30 days ago

But the UI won’t reflect that automatically. Now you have to remember which threads have structure and which don’t. Will you remember that, say, six months from now?

  Dennis Hackethal criticized idea #5253.

Popper says to prefer ideas that are better corroborated, more truthlike. I wrote about this recently, pasting it here:


Corroboration was meant to help us form rational preferences between ideas. From The Logic of Scientific Discovery (pp. 281-282):

We can sometimes rationally justify the preference for a theory in the light of its corroboration, that is, of the present state of the critical discussion of the competing theories, which are critically discussed and compared from the point of view of assessing their nearness to the truth (verisimilitude). The current state of this discussion may, in principle, be reported in the form of their degrees of corroboration.

Specifically, corroboration helps you form a rational preference between two theories that have both been shown to be false while there are no known alternatives. From Conjectures and Refutations (p. 318):

… even after t2 has been refuted in its turn, we can still say that it is better than t1, for although both have been shown to be false, the fact that t2 has withstood tests which t1 did not pass may be a good indication that the falsity-content of t1 exceeds that of t2 while its truth-content does not. Thus we may still give preference to t2, even after its falsification, because we have reason to think that it agrees better with the facts than did t1.

That “t2 has withstood tests which t1 did not pass” means t2 is better corroborated than t1.

#5253​·​Dennis Hackethal, about 1 month ago

There’s no need to single out corroboration or verisimilitude as special kinds of criticism.

Preference formation using either can easily be reduced to the method of counting pending criticisms:

Idea A fails to survive two tests.
Idea B fails to survive only one of the two.
Idea C says: I have only A and B; I don’t have time to create another; although both are false, I have to act; so for now I prefer B since at least it passes a test A doesn’t.

If idea C has no pending criticisms, then we should adopt it. (And thus ‘transitively’ adopt B.)