Dennis Hackethal’s avatar

Dennis Hackethal

@dennis-hackethal·Member since June 2024

Activity

  Dennis Hackethal commented on idea #2334.

In your revision, you asked me to let you know if you are doing things incorrectly.

You can revise ideas the way you did, it’s not wrong per se, but revisions are better for incremental changes. They’re not really meant for taking back criticisms or indicating agreement. If a criticism of yours is successfully counter-criticized and you would like to abandon it, I would just leave it counter-criticized and not revise it further.

If you are looking for a way to indicate agreement (with a counter-criticism, say), it’s something Dirk and I have been discussing offline, see #2169. I hope to implement something to that effect soon.

#2334·Dennis Hackethal, about 1 month ago

#2325 serves as an example. I had submitted a criticism which is now outdated and remains counter-criticized. It’s actually better that way because it shows that an error has been corrected, and makes it less likely for others to submit a duplicate criticism.

  Dennis Hackethal commented on idea #2329.

Most people (except in Alzheimer's, etc.) don't run out of memory in the brain. The reason most people don’t (permanently) run out memory (of either kind) isn’t that memory isn’t scarce, but that there’s a pruning mechanism in the mind. And there’s competition.

#2329·Erik Orrje revised about 1 month ago

In your revision, you asked me to let you know if you are doing things incorrectly.

You can revise ideas the way you did, it’s not wrong per se, but revisions are better for incremental changes. They’re not really meant for taking back criticisms or indicating agreement. If a criticism of yours is successfully counter-criticized and you would like to abandon it, I would just leave it counter-criticized and not revise it further.

If you are looking for a way to indicate agreement (with a counter-criticism, say), it’s something Dirk and I have been discussing offline, see #2169. I hope to implement something to that effect soon.

  Dennis Hackethal commented on idea #2315.

I’m curious btw, how did you hear about Veritula?

I believe I came across it while exploring your blog. My ‘Popperian Wikipedia’ idea was particularly sharp in my mind in that moment, so I was very excited to see how you had set things up here. I think a tremendous amount of it is transferable.

#2315·Benjamin Davies, about 1 month ago

I’m happy to have you and for your contributions, but I have to ask: do you see yourself building a Veritula competitor at some point in the future?

  Dennis Hackethal addressed criticism #2325.

Typo in discussion title: “correspondance” should be ‘correspondence’.
@erik-orrje You (and only you) can update the title here.

#2325·Dennis Hackethal revised about 1 month ago

Erik has since fixed this typo.

  Dennis Hackethal revised criticism #2324.

Typo in discussion title: “correspondance” should be ‘correspondence’.
@erik-orrje You (and only you) can update the title here.

Typo in discussion title: “correspondance” should be ‘correspondence’.
@erik-orrje You (and only you) can update the title here.

  Dennis Hackethal submitted criticism #2324.

Typo in discussion title: “correspondance” should be ‘correspondence’.
@erik-orrje You (and only you) can update the title here.

  Dennis Hackethal commented on idea #2304.

Would it be possible / worth it to produce a competitor to Wikipedia based on Popperian epistemology? Larry Sanger (a founder of Wikipedia) has said that he now thinks Wikipedia should have competing articles on the same topic to allow for the fact that people disagree.

The idea of having a Wikipedia equivalent that presents high quality competing articles detailing different alternative explanations for things (with some sort of versioning and methods of criticism) excites me greatly.

I have thought of producing something like this myself, which was part of what drew me to Veritula.

#2304·Benjamin Davies, about 1 month ago

Would it be possible / worth it to produce a competitor to Wikipedia based on Popperian epistemology?

Yes, sure.

The idea of having a Wikipedia equivalent that presents high quality competing articles detailing different alternative explanations for things (with some sort of versioning and methods of criticism) excites me greatly.

Me, too. I think Veritula’s design allows for this pretty naturally since the topic of a discussion can be general enough for various competing ideas to be posted in the discussion.

We ‘just’ need to get more users. As I wrote in #628, posting a breaking news story could work. If users submit ideas on events as they unfold and then criticize those ideas, visitors see what’s happening at a glance. It could be easier for them to know which ideas they can adopt than on conventional news channels or even Wikipedia, IMO.

There are also ‘timeless’ debates that have been going on for decades where Veritula can offer clarity. Like on the abortion debate. People shouldn’t have to keep debating that over and over when it’s a matter where objective truth can be found and then acted on.

I have thought of producing something like this myself, which was part of what drew me to Veritula.

I’m curious btw, how did you hear about Veritula?

  Dennis Hackethal revised criticism #2283.

Fix typo


Wait, I've probably misunderstood but in #2228 it seemed like you thought pruning was needed for scarcity, which is needed for competition between ideas and their evolution.

And you equated pruning with the meta algorithm.

And now you say the meta algoritm/pruning is not needed for the evolution of ideas?

Wait, I've probably misunderstood but in #2228 it seemed like you thought pruning was needed for scarcity, which is needed for competition between ideas and their evolution.

And you equated pruning with the meta algorithm.

And now you say the meta algorithm/pruning is not needed for the evolution of ideas?

  Dennis Hackethal addressed criticism #2283.

Wait, I've probably misunderstood but in #2228 it seemed like you thought pruning was needed for scarcity, which is needed for competition between ideas and their evolution.

And you equated pruning with the meta algorithm.

And now you say the meta algoritm/pruning is not needed for the evolution of ideas?

#2283·Erik Orrje, about 1 month ago

And now you say the meta algoritm/pruning is not needed for the evolution of ideas?

Right. Pruning helps it along but isn’t strictly required. You may be misunderstanding natural selection. It is merely “the non-random differential reproduction of genes.” (From The Selfish Gene by Richard Dawkins.) More generally, it’s the non-random differential reproduction of replicators, including ideas.

In other words, selection in and of itself doesn’t even imply that any individual replicator dies (though in practice, they usually do). It just means there’s a difference in the rate of reproduction between different replicators. That difference arises without any pruning.

  Dennis Hackethal addressed criticism #2283.

Wait, I've probably misunderstood but in #2228 it seemed like you thought pruning was needed for scarcity, which is needed for competition between ideas and their evolution.

And you equated pruning with the meta algorithm.

And now you say the meta algoritm/pruning is not needed for the evolution of ideas?

#2283·Erik Orrje, about 1 month ago

And you equated pruning with the meta algorithm.

I did not equate them. I said in #2263 that the meta algorithm does the pruning: “When I say ‘pruning’, I’m referring to a specific mechanism of a meta algorithm in the mind.”

  Dennis Hackethal commented on idea #2305.

I started a discussion earlier, and what I wrote in the “about” section of the discussion was not written well. I would like to revise it. Is this possible? If not, is there an intention to make this possible eventually?

#2305·Benjamin Davies, about 1 month ago

I went ahead and implemented this feature since it was a good suggestion.

You can edit your discussion here.

  Dennis Hackethal updated discussion ‘Veritula – Meta - test’.

The title changed from ‘Veritula – Meta - test’ to ‘Veritula – Meta’.

The ‘About’ section changed as follows:

Discuss Veritula itself. For feedback and suggestions. - test

Discuss Veritula itself. For feedback and suggestions.

  Dennis Hackethal updated discussion ‘Veritula – Meta’.

The title changed from ‘Veritula – Meta’ to ‘Veritula – Meta - test’.

The ‘About’ section changed as follows:

Discuss Veritula itself. For feedback and suggestions.

Discuss Veritula itself. For feedback and suggestions. - test

  Dennis Hackethal commented on idea #2286.

Will the criterion for “battle tested” change as the site grows? If the purpose of this feature is to enable users to quickly see the best ideas on the site, I would imagine the number of addressed criticisms needed to count as “battle tested” would need to grow with the site. @dennis-hackethal

#2286·Benjamin Davies revised about 1 month ago

Welcome to Veritula, Benjamin. Yes, the number may need to go up in the future.

  Dennis Hackethal commented on idea #2292.

I live in places that are mostly sunny, most of the time. This is for health reasons.

#2292·Benjamin DaviesOP, about 1 month ago

Are you thinking of sun exposure to get enough vitamin D?

To be sure, I’m not a doctor, but because I have very fair skin, every dermatologist I’ve ever talked to has advised me to avoid the sun and instead take vitamin D supplements.

  Dennis Hackethal commented on idea #2291.

I want access to good quality food, particularly good quality meat, dairy, and fruit. Ideally the place I live has a growing culture of eating well (for example, in Austin, many restaurants are now making it a point not to use any seed oils in their cooking.)

#2291·Benjamin DaviesOP, about 1 month ago

You may want to check out Instagram account jacbfoods. He used to be opposed to seed oils, but when he got his master’s degree in dietetics, he changed his mind.

  Dennis Hackethal revised idea #2279.

Rational Decision-Making

Expanding on #2112

If an idea has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it (ie, criticisms) have been suggested or 2) all suggested reasons have been addressed already.

If an idea does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

Rational Decision-Making

Expanding on #2112

If an idea, as written, has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it (ie, criticisms) have been suggested or 2) all suggested reasons have been addressed already.

If an idea, as written, does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

  Dennis Hackethal revised idea #2140. The revision addresses ideas #2234, #2248, and #2236.

Decision-Making on Veritula

Expanding on #2112

If an idea has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it (ie, criticisms) have been suggested or 2) all suggested reasons have been addressed already.

If an idea does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

Rational Decision-Making

Expanding on #2112

If an idea has no pending criticisms, it’s rational to adopt it and irrational to reject it. What reason could you have to reject it? If it has no pending criticisms, then either 1) no reasons to reject it (ie, criticisms) have been suggested or 2) all suggested reasons have been addressed already.

If an idea does have pending criticisms, it’s irrational to adopt it and rational to reject it – by reference to those criticisms. What reason could you have to ignore the pending criticisms and adopt it anyway?

  Dennis Hackethal addressed criticism #2269.

Alright, I remember the meta algorithm from your book but can't recall if you adress this criticism: If there's no need for a meta algorithm in biological evolution, why must there be one for the evolution of ideas?

#2269·Erik Orrje, about 1 month ago

I don’t think the meta algorithm is necessary for the evolution of ideas. After all, there is no meta algorithm across minds, yet ideas (memes) evolve across minds. Inside a single mind, the meta algorithm is inherited from our non-creative ancestors, where (among other things) it acted as a fail safe against erroneous behaviors.

  Dennis Hackethal revised criticism #2262.

One of my previous comments notwithstanding, don’t be shy to mark ideas as criticisms whenever you point out a shortcoming. In the context of Alzheimer’s, this sounds like a criticism.

One of my previous comments notwithstanding, don’t be shy to mark ideas as criticisms whenever you point out a shortcoming. Otherwise, you won’t know later on which ideas you can adopt. In the context of Alzheimer’s, this sounds like a criticism.

  Dennis Hackethal criticized idea #2253.

Wait, do you view the pruning as separate from the mere competition of ideas, or simply its hardware consequences? In Darwinian evolution, competition and pruning are the same phenomena. Would expect the same for the mind.

#2253·Erik Orrje, about 1 month ago

In Darwinian evolution, competition and pruning are the same phenomena.

That doesn’t sound right. Not all competition is necessarily deleterious.

  Dennis Hackethal commented on idea #2253.

Wait, do you view the pruning as separate from the mere competition of ideas, or simply its hardware consequences? In Darwinian evolution, competition and pruning are the same phenomena. Would expect the same for the mind.

#2253·Erik Orrje, about 1 month ago

Wait, do you view the pruning as separate from the mere competition of ideas…?

Yes. When I say ‘pruning’, I’m referring to a specific mechanism of a meta algorithm in the mind. For more details, see my book A Window on Intelligence, I think chapter 5. There is no such meta algorithm in biological evolution.

  Dennis Hackethal criticized idea #2254.

Yeah that's definitely a possible medical condition, e.g. in psychosis or after having ECT. Don't think it's the best explanation for Alzheimer's though, where the loss of brain volume is so apparent.

#2254·Erik Orrje, about 1 month ago

One of my previous comments notwithstanding, don’t be shy to mark ideas as criticisms whenever you point out a shortcoming. In the context of Alzheimer’s, this sounds like a criticism.

  Dennis Hackethal addressed criticism #2248.

It might be worth stating that the underlying philosophy of Veritula, in conjunction with fallibilism, says that progress is both possible and desirable, and that rational means are the only way to make progress. This means an end to mysticism and the supernatural.

#2248·Dennis HackethalOP revised about 1 month ago

That’s a valid point but doesn’t belong here. I have instead edited a related idea.

  Dennis Hackethal revised idea #2136.

How Does Veritula Work?

Veritula (Latin for ‘a bit of truth’) can help you live a life guided exclusively by reason.

To reason, within any epistemology, means to follow and apply that epistemology. Unreason, or whim, is an undue departure from it. Epistemology is the study of knowledge – basically, the study of what helps knowledge grow, what hinders its growth, and related questions.

Veritula follows, and helps you apply, Karl Popper’s epistemology, Critical Rationalism. It’s the only known epistemology without major flaws.1

Critical Rationalism says that ideas are assumed true until refuted. This approach leaves us free to make bold guesses and use the full arsenal at our disposal to criticize these guesses in order to solve problems, correct errors, and seek truth. It’s a creative and critical approach.

Veritula is a programmatic implementation of Popper’s epistemology.

It provides an objective, partly automated way to tentatively determine whether a given idea is problematic. It does not tell you what to think – it teaches you how to think.

Consider an idea I:

              I

Since it has no criticisms, we tentatively consider I unproblematic. It is rational to adopt it and act in accordance with it. Conversely, it would generally be irrational to reject it, consider it problematic, or act counter to it.

Next, someone submits a criticism C1:

              I
              |
              C1

The idea I is now considered problematic so long as criticism C1 is not addressed. How do you address it? You can revise I so that C1 doesn’t apply anymore, which restores the previous state with just the standalone I (now called I2 to indicate the revision):

                   Revise
              I ------------> I2
              |
              C1

To track changes, Veritula offers beautiful diffing and version control for ideas.

If you cannot think of a way to revise I, you can counter-criticize C1, thereby neutralizing it with a new criticism, C2:

              I
              |
              C1
              |
              C2

Now, I is considered unproblematic again, since C1 is problematic and thus can’t be a decisive criticism anymore.

If you can think of neither a revision of I nor counter-criticism to C1, your only option is to accept that I has been (tentatively) defeated. You should therefore abandon it, which means: stop acting in accordance with it, considering it to be unproblematic, etc.

Since there can be many criticisms (which are also just ideas) and deeply nested counter-criticisms, the result is a tree structure. For example, as a discussion progresses, one of its trees might look like this:

              I
           /  |  \
         C11 C12 C13
         / \       \
       C21 C22     C23
                   / \
                 C31 C32

In this tree, I is considered problematic. Although C11 has been neutralized by C21 and C22, C12 still needs to be addressed. In addition, C23 would have neutralized C13, but C31 and C32 make C23 problematic, so C13 makes I problematic as well.

You don’t need to keep track of these relationships manually. Veritula marks ideas accordingly, automatically.

Because decision-making is a special case of, ie follows the same logic as, truth-seeking, such trees can be used for decision-making, too. When you’re planning your next move but can’t decide on a city, say, Veritula helps you criticize your ideas and make a rational decision – meaning a decision you’ll be happy with. Again, it’s rational to act in accordance with ideas that have no pending criticisms.

All ideas, including criticisms, should be formulated as concisely as possible, and separate ideas should be submitted separately, even if they’re related. Otherwise, you run the risk of receiving ‘bulk’ criticisms, where a single criticism seems to apply to more content than it actually does.

Again, criticisms are also just ideas, so the same is true for criticisms. Submitting each criticism separately has the benefit of requiring the proponent of an idea to address each criticism individually, not in bulk. If he fails to address even a single criticism, the idea remains problematic and should be rejected.

The more you discuss a given topic, the deeper and wider the tree grows. Some criticisms can apply to multiple ideas in the tree, but that needs to be made explicit by submitting them repeatedly.

Comments that aren’t criticisms – eg follow-up questions or otherwise neutral comments – are considered ancillary ideas. Unlike criticisms, ancillary ideas do not invert their respective parents’ statuses. They are neutral.

One of the main benefits of Veritula is that the status of any idea in a discussion can be seen at a glance. If you are new to a much-discussed topic, adopt the displayed status of the ideas involved: if they are marked problematic, reject them; if they are not, adopt them.

Therefore, Veritula acts as a dictionary for ideas.

One of the problems of our age is that people have same discussions over and over again. Part of the reason is widespread irrationality, expressed in the unwillingness to change one’s mind; another is that it’s simply difficult to remember or know what’s true and what isn’t. Discussion trees can get complex, so people shouldn’t blindly trust their judgment of whether some idea is true or problematic, whether nested criticisms have been neutralized or not. Going off of memory is too error prone.

Veritula solves this problem: it makes discussion trees explicit so you don’t have to remember each idea and its relation to other ideas. Veritula therefore also enables you to hold irrational people accountable: if an idea has pending criticisms, the rational approach is to either abandon it or to save it by revising it or addressing all pending criticisms.

Many people don’t like to concede an argument. But with Veritula, no concessions are necessary. The site just shows you who’s right.

Using Veritula, we may discover a bit of truth.


  1. Popperian epistemology has some flaws, like verisimilitude, but Veritula doesn’t implement those.

How Does Veritula Work?

Veritula (Latin for ‘a bit of truth’) can help you live a life guided exclusively by reason.

To reason, within any epistemology, means to follow and apply that epistemology. Unreason, or whim, is an undue departure from it. Epistemology is the study of knowledge – basically, the study of what helps knowledge grow, what hinders its growth, and related questions.

Veritula follows, and helps you apply, Karl Popper’s epistemology, Critical Rationalism. It’s a continuation of the Athenian tradition of criticism and the only known epistemology without major flaws.1

Critical Rationalism says that ideas are assumed true until refuted. This approach leaves us free to make bold guesses and use the full arsenal at our disposal to criticize these guesses in order to solve problems, correct errors, and seek truth. It’s a creative and critical approach. Critical Rationalism is a fallibilist philosophy: it states that there is no criterion of truth to determine with certainty whether some idea is true or false. We all make mistakes, and by an effort, we can correct them to get a little closer to the truth. Rejecting all forms of mysticism and the supernatural, Veritula recognizes that progress is both possible and desirable, and that rational means are the only way to make progress.

Veritula is a programmatic implementation of Popper’s epistemology.

Veritula provides an objective, partly automated way to tentatively determine whether a given idea is problematic. It does not tell you what to think – it teaches you how to think.

Consider an idea I:

              I

Since it has no criticisms, we tentatively consider I unproblematic. It is rational to adopt it and act in accordance with it. Conversely, it would generally be irrational to reject it, consider it problematic, or act counter to it.

Next, someone submits a criticism C1:

              I
              |
              C1

The idea I is now considered problematic so long as criticism C1 is not addressed. How do you address it? You can revise I so that C1 doesn’t apply anymore, which restores the previous state with just the standalone I (now called I2 to indicate the revision):

                   Revise
              I ------------> I2
              |
              C1

To track changes, Veritula offers beautiful diffing and version control for ideas.

If you cannot think of a way to revise I, you can counter-criticize C1, thereby neutralizing it with a new criticism, C2:

              I
              |
              C1
              |
              C2

Now, I is considered unproblematic again, since C1 is problematic and thus can’t be a decisive criticism anymore.

If you can think of neither a revision of I nor counter-criticism to C1, your only option is to accept that I has been (tentatively) defeated. You should therefore abandon it, which means: stop acting in accordance with it, considering it to be unproblematic, etc.

Since there can be many criticisms (which are also just ideas) and deeply nested counter-criticisms, the result is a tree structure. For example, as a discussion progresses, one of its trees might look like this:

              I
           /  |  \
         C11 C12 C13
         / \       \
       C21 C22     C23
                   / \
                 C31 C32

In this tree, I is considered problematic. Although C11 has been neutralized by C21 and C22, C12 still needs to be addressed. In addition, C23 would have neutralized C13, but C31 and C32 make C23 problematic, so C13 makes I problematic as well.

You don’t need to keep track of these relationships manually. Veritula marks ideas accordingly, automatically.

Because decision-making is a special case of, ie follows the same logic as, truth-seeking, such trees can be used for decision-making, too. When you’re planning your next move but can’t decide on a city, say, Veritula helps you criticize your ideas and make a rational decision – meaning a decision you’ll be happy with. Again, it’s rational to act in accordance with ideas that have no pending criticisms.

All ideas, including criticisms, should be formulated as concisely as possible, and separate ideas should be submitted separately, even if they’re related. Otherwise, you run the risk of receiving ‘bulk’ criticisms, where a single criticism seems to apply to more content than it actually does.

Again, criticisms are also just ideas, so the same is true for criticisms. Submitting each criticism separately has the benefit of requiring the proponent of an idea to address each criticism individually, not in bulk. If he fails to address even a single criticism, the idea remains problematic and should be rejected.

The more you discuss a given topic, the deeper and wider the tree grows. Some criticisms can apply to multiple ideas in the tree, but that needs to be made explicit by submitting them repeatedly.

Comments that aren’t criticisms – eg follow-up questions or otherwise neutral comments – are considered ancillary ideas. Unlike criticisms, ancillary ideas do not invert their respective parents’ statuses. They are neutral.

One of the main benefits of Veritula is that the status of any idea in a discussion can be seen at a glance. If you are new to a much-discussed topic, adopt the displayed status of the ideas involved: if they are marked problematic, reject them; if they are not, adopt them.

Therefore, Veritula acts as a dictionary for ideas.

One of the problems of our age is that people have same discussions over and over again. Part of the reason is widespread irrationality, expressed in the unwillingness to change one’s mind; another is that it’s simply difficult to remember or know what’s true and what isn’t. Discussion trees can get complex, so people shouldn’t blindly trust their judgment of whether some idea is true or problematic, whether nested criticisms have been neutralized or not. Going off of memory is too error prone.

Veritula solves this problem: it makes discussion trees explicit so you don’t have to remember each idea and its relation to other ideas. Veritula therefore also enables you to hold irrational people accountable: if an idea has pending criticisms, the rational approach is to either abandon it or to save it by revising it or addressing all pending criticisms.

Many people don’t like to concede an argument. But with Veritula, no concessions are necessary. The site just shows you who’s right.

Using Veritula, we may discover a bit of truth.


  1. Popperian epistemology has some flaws, like verisimilitude, but Veritula doesn’t implement those.