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.
 User
Registered their account.
 Initiator
Started their first discussion.
 Engager
Participates in three or more discussions.
 Novice
Posted their first idea.
 Beginner
Posted their 10th idea.
 Intermediate
Posted their 50th idea.
 Advanced
Posted their 100th idea.
 Critic
Criticized their first idea.
 Private
Criticized their 10th idea.
 Lieutenant
Criticized their 50th idea.
 Captain
Criticized their 100th idea.
 Defender
Addressed their first criticism.
 Shield
Addressed their 10th criticism.
 Watchman
Addressed their 50th criticism.
 Copy editor
Created their first revision.
 Assistant editor
Created their 10th revision.
 Associate editor
Created their 50th revision.
 Professional
Posted their 500th idea.
 Deputy editor
Created their 100th revision.
 Colonel
Criticized their 500th idea.
 Master
Posted their 1000th idea.
 Bulwark
Addressed their 500th criticism.
 General
Criticized their 1000th idea.
 Editor
Created their 500th revision.
 Fortress
Addressed their 1000th criticism.
  Dennis Hackethal addressed criticism #5653.

Okay but if I go tomorrow and I do lose strength, I won’t know if it’s because I waited too long.

#5653​·​Dennis Hackethal, about 11 hours ago

A single additional day won’t cause much strength loss, if any.

  Dennis Hackethal addressed criticism #5650.

I’m running an experiment to see if I can keep my strength while on an aggressive cut. If I go to the gym today and get weaker numbers, I won’t know whether to attribute that to the cut or to poor sleep.

#5650​·​Dennis Hackethal, about 11 hours ago

I may still know depending on the numbers. If my strength dips a lot, then it’s not plausibly due to poor sleep (I didn’t sleep that poorly) and I should ease up on the cut anyway.

  Dennis Hackethal addressed criticism #5660.

I’ll be on the cut for another week at least, so there’ll be one more workout to compare with. Not everything hinges on today or tomorrow.

#5660​·​Dennis Hackethal, about 11 hours ago

But knowing I’m losing muscle would inform my decision about stopping the cut sooner.

  Dennis Hackethal addressed criticism #5650.

I’m running an experiment to see if I can keep my strength while on an aggressive cut. If I go to the gym today and get weaker numbers, I won’t know whether to attribute that to the cut or to poor sleep.

#5650​·​Dennis Hackethal, about 11 hours ago

I’ll be on the cut for another week at least, so there’ll be one more workout to compare with. Not everything hinges on today or tomorrow.

  Dennis Hackethal addressed criticism #5646.

If I didn’t sleep well, I might not perform well.

#5646​·​Dennis Hackethal, about 11 hours ago

I’ve been sleeping poorly in general lately. Who’s to say tonight’s sleep will be better? It may even get better because I work out today.

  Dennis Hackethal addressed criticism #5655.

I’ve been sleeping poorly in general lately. Who’s to say tonight’s sleep will be better? It may even get better because I work out today.

#5655​·​Dennis Hackethal revised about 11 hours ago

Wrong parent.

  Dennis Hackethal addressed criticism #5650.

I’m running an experiment to see if I can keep my strength while on an aggressive cut. If I go to the gym today and get weaker numbers, I won’t know whether to attribute that to the cut or to poor sleep.

#5650​·​Dennis Hackethal, about 11 hours ago

But if I still hit PRs while on aggressive cut and having slept poorly, that data point would be all the more meaningful for it.

  Dennis Hackethal revised criticism #5654.

I’ve been sleeping poorly in general lately. Who’s to say tonight’s sleep will be better?

I’ve been sleeping poorly in general lately. Who’s to say tonight’s sleep will be better? It may even get better because I work out today.

  Dennis Hackethal criticized idea #5645.

I want to go to the gym today but I didn’t sleep well last night.

#5645​·​Dennis Hackethal, about 11 hours ago

I’ve been sleeping poorly in general lately. Who’s to say tonight’s sleep will be better?

  Dennis Hackethal addressed criticism #5652.

But this is the first time I’m doing a cut this aggressive for more than just a week. I’m approaching the two-week mark. I know eventually I won’t be able to maintain strength, but it would still be good to know where the cut-off point is, roughly.

#5652​·​Dennis Hackethal, about 11 hours ago

Okay but if I go tomorrow and I do lose strength, I won’t know if it’s because I waited too long.

  Dennis Hackethal addressed criticism #5651.

I’ve gone to the gym twice already during this cut and kept my strength each time, even hit PRs on some exercises. And last time I did this cut I also hit PRs.

#5651​·​Dennis Hackethal, about 11 hours ago

But this is the first time I’m doing a cut this aggressive for more than just a week. I’m approaching the two-week mark. I know eventually I won’t be able to maintain strength, but it would still be good to know where the cut-off point is, roughly.

  Dennis Hackethal addressed criticism #5650.

I’m running an experiment to see if I can keep my strength while on an aggressive cut. If I go to the gym today and get weaker numbers, I won’t know whether to attribute that to the cut or to poor sleep.

#5650​·​Dennis Hackethal, about 11 hours ago

I’ve gone to the gym twice already during this cut and kept my strength each time, even hit PRs on some exercises. And last time I did this cut I also hit PRs.

  Dennis Hackethal criticized idea #5645.

I want to go to the gym today but I didn’t sleep well last night.

#5645​·​Dennis Hackethal, about 11 hours ago

I’m running an experiment to see if I can keep my strength while on an aggressive cut. If I go to the gym today and get weaker numbers, I won’t know whether to attribute that to the cut or to poor sleep.

  Dennis Hackethal addressed criticism #5648.

That’s fine. It’s been 15 days since the last time I hit this muscle group. I’ve gone a month and still hit PRs.

#5648​·​Dennis Hackethal, about 11 hours ago

That was at maintenance/slight surplus. Now I’m doing an aggressive cut at 1600 cals/day and the body has more reason to keep fat and shed muscle. So time may be of the essence.

  Dennis Hackethal addressed criticism #5647.

True but it’s already been 5 days since my last workout.

#5647​·​Dennis Hackethal, about 11 hours ago

That’s fine. It’s been 15 days since the last time I hit this muscle group. I’ve gone a month and still hit PRs.

  Dennis Hackethal addressed criticism #5646.

If I didn’t sleep well, I might not perform well.

#5646​·​Dennis Hackethal, about 11 hours ago

True but it’s already been 5 days since my last workout.

  Dennis Hackethal criticized idea #5645.

I want to go to the gym today but I didn’t sleep well last night.

#5645​·​Dennis Hackethal, about 11 hours ago

If I didn’t sleep well, I might not perform well.

  Dennis Hackethal posted idea #5645.

I want to go to the gym today but I didn’t sleep well last night.

  Dennis Hackethal addressed criticism #5116.

should_adopt? and pending_criticisms are implemented in terms of each other. Doesn’t that cause an infinite regress?

#5116​·​Dennis HackethalOP, about 2 months ago

No because the discussion graph is acyclic.

  Dennis Hackethal revised criticism #5117. The revision addresses idea #5642.

No because 1) there’s always a finite amount of deeply nested criticisms, and 2) the discussion graph is acyclic.

No because there’s always a finite amount of deeply nested criticisms.

  Dennis Hackethal addressed criticism #5117.

No because 1) there’s always a finite amount of deeply nested criticisms, and 2) the discussion graph is acyclic.

#5117​·​Dennis HackethalOP, about 2 months ago

Bulk

  Dennis Hackethal revised idea #5511. The revision addresses idea #5639.

Forum Rules

Veritula welcomes a wide range of discussion topics. Generally speaking, people have free speech here. Unpopular topics will not automatically get people banned. The goal of moderation is to preserve productive, truth-seeking discussion.

Behavior that is intended, or likely, to sabotage debate or prevent progress is a bannable offense. Such behavior includes, but is not limited to, harassment, brigading, rage baiting, public shaming, and persistent bad-faith argumentation or refusal to engage substantively.

Veritula takes intellectual property seriously and reserves the right to take down content that infringes on others’ intellectual property.

Veritula also reserves the right to take down obscene content such as pornography.

Serious instances of off-platform behavior that clearly would have violated these rules on-platform may result in removal.

Depending on the severity of an infraction, moderators may issue a warning, temporarily lock an account, or permanently ban the account.

Looking for loopholes in these rules, or abusing the letter to violate the spirit of these rules, is a bannable offense.

Moderation decisions are at the discretion of Veritula.

Users may appeal moderation decisions by contacting the moderators within a reasonable time after a decision. Appeals should explain why the decision was wrong. Appeals are reviewed at the moderators’ discretion. The same decision may be appealed only once.

Talks with moderators should remain respectful and constructive. Changes to these rules should be proposed by criticizing this idea before issues arise. Changes are generally not retroactive unless specified otherwise.

Site-wide terms apply as well.

Forum Rules

Veritula welcomes a wide range of discussion topics. Generally speaking, people have free speech here. Unpopular topics will not automatically get people banned. The goal of moderation is to preserve productive, truth-seeking discussion.

Behavior that is intended, or likely, to sabotage debate or prevent progress is a bannable offense. Such behavior includes, but is not limited to, harassment, brigading, rage baiting, public shaming, and persistent bad-faith argumentation or refusal to engage substantively.

Veritula takes intellectual property seriously and reserves the right to take down content that infringes on others’ intellectual property.

Veritula also reserves the right to take down obscene content such as pornography.

AI-generated content may be submitted, but only if disclosed prominently enough so a reasonable person can tell right away. Veritula is a place for genuine discussion and truth-seeking, so we’d prefer to avoid talking to meat proxies without realizing it. AI content is notoriously verbose – don’t flood discussions with it. In addition, it’s your responsibility to ensure that AI detectors give negative results for your content. Repeat submission of AI-generated content that is not disclosed and/or overly verbose is a bannable offense.

Serious instances of off-platform behavior that clearly would have violated these rules on-platform may result in removal.

Depending on the severity of an infraction, moderators may issue a warning, temporarily lock an account, or permanently ban the account.

Looking for loopholes in these rules, or abusing the letter to violate the spirit of these rules, is a bannable offense.

Moderation decisions are at the discretion of Veritula.

Users may appeal moderation decisions by contacting the moderators within a reasonable time after a decision. Appeals should explain why the decision was wrong. Appeals are reviewed at the moderators’ discretion. The same decision may be appealed only once.

Talks with moderators should remain respectful and constructive. Changes to these rules should be proposed by criticizing this idea before issues arise. Changes are generally not retroactive unless specified otherwise.

Site-wide terms apply as well.

  Dennis Hackethal criticized idea #5511.

Forum Rules

Veritula welcomes a wide range of discussion topics. Generally speaking, people have free speech here. Unpopular topics will not automatically get people banned. The goal of moderation is to preserve productive, truth-seeking discussion.

Behavior that is intended, or likely, to sabotage debate or prevent progress is a bannable offense. Such behavior includes, but is not limited to, harassment, brigading, rage baiting, public shaming, and persistent bad-faith argumentation or refusal to engage substantively.

Veritula takes intellectual property seriously and reserves the right to take down content that infringes on others’ intellectual property.

Veritula also reserves the right to take down obscene content such as pornography.

Serious instances of off-platform behavior that clearly would have violated these rules on-platform may result in removal.

Depending on the severity of an infraction, moderators may issue a warning, temporarily lock an account, or permanently ban the account.

Looking for loopholes in these rules, or abusing the letter to violate the spirit of these rules, is a bannable offense.

Moderation decisions are at the discretion of Veritula.

Users may appeal moderation decisions by contacting the moderators within a reasonable time after a decision. Appeals should explain why the decision was wrong. Appeals are reviewed at the moderators’ discretion. The same decision may be appealed only once.

Talks with moderators should remain respectful and constructive. Changes to these rules should be proposed by criticizing this idea before issues arise. Changes are generally not retroactive unless specified otherwise.

Site-wide terms apply as well.

#5511​·​Dennis HackethalOP revised 13 days ago

The rules should say whether AI-generated content is okay to submit or not.

  Dennis Hackethal commented on idea #3069.

My critique of David Deutsch’s The Beginning of Infinity as a programmer. In short, his ‘hard to vary’ criterion at the core of his epistemology is fatally underspecified and impossible to apply.

Deutsch says that one should adopt explanations based on how hard they are to change without impacting their ability to explain what they claim to explain. The hardest-to-change explanation is the best and should be adopted. But he doesn’t say how to figure out which is hardest to change.

A decision-making method is a computational task. He says you haven’t understood a computational task if you can’t program it. He can’t program the steps for finding out how ‘hard to vary’ an explanation is, if only because those steps are underspecified. There are too many open questions.

So by his own yardstick, he hasn’t understood his epistemology.

You will find that and many more criticisms here: https://blog.dennishackethal.com/posts/hard-to-vary-or-hardly-usable

#3069​·​Dennis HackethalOP revised 10 months ago

For posterity regarding the most recent bounty on this idea, ChatGPT made me this awesome illustration a while back for my post about the bounty on X:

Bounty illustration