Search Ideas

That would make idea URLs more meaningful, but there’s something simple and beautiful about the shorter URLs that only have the numeric ID.

The way IG solves this is by rendering the form in a fixed position. It’s still on the bottom but always remains visible.

Use friendly IDs for ideas? A ‘mixture’ where URLs say '/ideas/123-first-30-or-so-chars-of-idea-here'.

Done as of e6a90e5.

Friendly IDs for discussions would be nice. With automatic redirects for numeric ID from legacy links.

All emails have unsubscribe links, but people shouldn’t be able to unsubscribe from system emails like password resets.

Done as of 9c14b22.

Fixed as of 985430e.

Newly added comments keep animating when hidden and then unhidden.

Duplicate of #453.

I should revisit this now that I have email infrastructure in place.

See #595. The form for new ideas is pushed to the very bottom of the discussion page. For long discussion, that means users won’t know where to submit new ideas.

Done as of 7ef69da.

Each activity should have a distinct HTML title. The browser history and search results in search engines all look the same…

Each activity should have an HTML title. The browser history and search results in search engines all look the same…

Fixed as of b555677.

Sure, philosophers and pedants do. But typically people use the word "know" in situations well short of being absolutely sure.

If we use the correspondence theory of truth, then truth consists of explanations that correspond "perfectly" to reality. In that sense all our statements are false: we don't have those explanations that perfectly correspond, all our actual statements are approximations, or deductions from approximations (1+1=2 is a deduction from a set of explanations, but that set is not entirely true - since the set is inconsistent and incomplete)

correspondance

typo

I think it does imply a conflict. I think every emotional sensation — including urges — arises from problems in the Popperian sense: two or more incompatible theories in conflict.

For example, consider hunger. One theory (Drive A) is that we don’t want to be hungry, while another signals that we are hungry (from ephemeral sense data (which could itself be viewed as a Drive, though that’s not important here)). The conflict between these theories produces the urge — in this case, the sensation of hunger.

I explain these conflicts in more detail, with further examples of Drives, Intuitions, and Statements, in this video:

https://www.youtube.com/watch?v=uEcR_0GbzRE

Addition 01-09-2025:
In the case of hunger, the sensation was signaling an unaddressed problem, but as you correctly pointed out, not all emotions signal unaddressed problems. Emotions are a feedback mechanism that can reflect different stages of problem solving. For instance, joy may signal a resolved problem, and impatience might signal frustration with an ongoing one. Likewise, anxiety can serve as an early warning of potential obstacles ahead, while relief marks the successful removal of a previously pressing issue.

It's a fair point. I agree it's not a perfect word. I tried many labels and variations, but I ended up with Drives because in my view it contrasted well with Intuition:

Unlike Intuitions, Drives carry the sense of a deep urge whose underlying theory is largely unconscious. You’re aware of the feelings they produce as you say, but not of the reasoning behind them. For example, you might know you’re sexually attracted to someone or suddenly feel sad, yet have no idea why — then that’s a Drive.

If you do have some sense of why you’re feeling a certain way and can roughly express it in words, it’s an Intuition. If you can fully articulate it in words, it’s a Statement. Statements can also produce feelings. For example, if one of your core values is non‑coercion, you might feel angry when someone disciplines their child in an immoral way — here, the Statement (often paired with Intuitions or Drives) is producing the feeling of anger.

I agree the main shortcoming of Drive is that it’s often taken to mean innate or hardwired knowledge. I haven’t found a better alternative, so I make it clear when explaining the concept that Drives can also arise from habitualized knowledge. Deutsch (in this podcast: https://www.youtube.com/watch?v=5e2LWxaqQUQ) seems to also support this way of defining new terminology

If you want to say something new the terminology you use is going to be unsuited for it because the terminology is going to be adapted to previous ways of thinking um what you can do is just invent your own terminology that's a terrible idea because no one will understand what you're saying and secondly it is subject to the same problem that it will only represent accurately fairly accurately your thoughts at a particular time when you're addressing a new criticism it will no longer be suitable so I think what people usually do and what is done in physics and what's done in philosophy what Popper did is to use the nearest existing term and be very careful to explain that one means something new by it.

If you have alternate suggestions, I'm of course eager to hear them!

I don’t take this personally, and I understand your intention isn’t to attack or belittle. To keep our exchange enjoyable and productive, I’ll make an effort to be more attentive to spelling, terminology, and precision. That said, I’m generally less concerned with exact spelling or perfect terminology, since my focus is usually on parsing the meaning or reasoning behind a theory or criticism. I try to be as charitable as possible in interpreting what someone is trying to say, focusing on the intended idea rather than the precise wording. Still, I recognize that clarity of wording may matter more to others—especially in discussions—so I’ll do my best to be more precise.

https://blog.dennishackethal.com/posts/error-prevention-error-correction-s-forgotten-b

Veritula implements a recursive epistemology. For a criticism to be outstanding, it can’t have any outstanding criticisms itself, and so on, in a deeply nested fashion.

def criticized? idea
  outstanding_criticisms(idea).any?
end

def outstanding_criticisms idea
  criticisms(idea).filter { |c| outstanding_criticisms(c).none? }
end

def criticisms idea
  children(idea).filter(&:criticism?)
end

This approach is different from non-recursive epistemologies, which handle criticisms differently. For example, they might not consider deeply nested criticisms when determining whether an idea is currently criticized.

https://blog.dennishackethal.com/posts/physical-vs-moral-explanations