Dennis Hackethal
@dennis-hackethal·Member since June 2024
Activity
Idea: voice spaces, like Twitter spaces, except an AI generates a transcript and automatically turns it into a discussion tree, with criticism chains and all.
#3417·Erik Orrje, 7 days agoNo worries :-). Yeah, this is the part that confuses me about correspondence:
Which fields (apart from science) have "facts", and which consist merely of useful/adapted knowledge?
For instance, are there musical facts, economic facts, aesthetic facts, etc?
I think of it in terms of error correction: all fields where progress is possible allow us to identify and correct errors.
Empirical fields use facts. In empirical fields, error identification involves finding a discrepancy between theories and observation.
I’d consider aesthetics and economics at least partly empirical since you can make testable predictions. You can test an economic policy, for example, and see whether its predictions match (correspond to) outcomes. In music, things can sound unpleasant.
#3409·Dennis HackethalOP, 10 days agoBenjamin suggests making it clearer that you can use Veritula by yourself.
Done, see #3413.
I don’t know anyone on Veritula. Can I still join?
Yes! Start by chiming in on one of the existing discussions or creating a new discussion. People will likely contribute.
If you have a topic you’d rather discuss in private, with a select few, make your discussion private. No one except the people you invite and admins will see it.
You can even have productive discussions by yourself. Not sure what to make for dinner? Want to move but not sure where? Start a discussion, submit some ideas, criticisms, and counter-criticisms, and see which ideas remain without any pending criticisms.
You’ll gain clarity to make rational decisions.
Benjamin suggests making it clearer that you can use Veritula by yourself.
#2421·Erik Orrje revised 2 months agoThanks. Do you think the aim in abstract fields (such as mathematics) is correspondence as well? (As Deutsch seems to argue with the idea of perfect propositions https://www.youtube.com/watch?v=DZ-opI-jghs).
Sorry for the late reply. I don’t know. I don’t think the aim of math is correspondence to physical facts like in science. But maybe it’s correspondence to mathematical facts.
#3227·Benjamin DaviesOP, 26 days agoWhile Nevada offers 0% State Income Tax, residents still pay Federal Income Tax. The United States enforces Citizenship-Based Taxation (CBT). You are subject to federal tax on worldwide income and invasive reporting (FATCA), regardless of residency.
Since this criticism (having to pay federal income tax) is true of any US state, I wouldn’t hold it against Nevada specifically unless you wish to rule out the US as a whole.
#3185·Benjamin DaviesOP revised 26 days agoI would like to have kids one day. I should find places that allow kids to pursue their interests with minimal or no legally required education standards infringing on that.
I’ve heard good things about New Hampshire in this regard. I think they have no compulsory schooling.
#3360·Zelalem Mekonnen, 20 days agoI disagree. In case of mass starvation, GMOs and the like make sense. But besides that, I am for eating food that grows without human intervention.
… I am for eating food that grows without human intervention.
I don’t think that’s possible unless you go deep into a forest somewhere and eat some wild berries you find (which is dangerous anyway). You’d die trying.
GMOs are a marvel of food engineering. But ‘GMO’ as a concept isn’t coherent anyway since people have been genetically modifying foods through selective breeding for millennia. There’s virtually no food that isn’t genetically modified. That’s a good thing. For example, ‘natural’ bananas are a pain in the ass because they have seeds you need to remove before eating. Those bananas are also tiny. https://youtu.be/VRbITN4qlRs?t=121
You seem to think that whatever’s ‘natural’ is good. That’s not the case. I think you’d do well to avoid organic foods and specifically seek out GMO foods:
https://news.immunologic.org/p/gmos-and-genetic-engineering-are
#3360·Zelalem Mekonnen, 20 days agoI disagree. In case of mass starvation, GMOs and the like make sense. But besides that, I am for eating food that grows without human intervention.
GMOs are great outside of mass starvation, too. If we can genetically modify foods to be better for us, why wouldn’t we?
#3372·Dennis HackethalOP revised 13 days agoI’ve asked Gemini to explain it:
1. Auto-Closure (Insertion State)
When the user inputs an opening delimiter, the system immediately injects the corresponding closing delimiter and places the caret (cursor) between them.
Input: (
Buffer State: (|)
Logic: insert(opening_char) + insert(closing_char) + move_caret(-1)
2. Type-Through (Escape State)
If the caret is positioned immediately before a closing delimiter that was autopaired, and the user types that specific closing delimiter, the system suppresses the character insertion and instead advances the caret.
Context: [text|]
Input: ]
Buffer State: [text]| (Not [text]])
Logic: if (next_char == input_char) { move_caret(+1); prevent_default(); }
3. Atomic Deletion (Regression State)
If the caret is between an empty pair of delimiters, a backspace event deletes both the opening and closing characters simultaneously, returning the buffer to the pre-insertion state.
Context: (|)
Input: Backspace
Buffer State: |
Logic: if (prev_char == open && next_char == close) { delete_range(caret-1, caret+1); }
4. Selection Wrapping (Transformation State)
If a text range is selected (highlighted) and an opening delimiter is typed, the system wraps the selection rather than replacing it.
Context: |selected_text|
Input: [[
Buffer State: [[selected_text]]
Logic: surround_selection(input_pair)
5. Markdown-Specific Heuristics
Obsidian applies context-aware logic for Markdown syntax (e.g., * or _). It often checks word boundaries to determine if the user intends to bold/italicize or use a bullet point.
Context (Start of line): | + * + Space -> Bullet list (autopair disabled/consumed by formatting).
Context (Middle of line): word | + * -> word *|* (autopair enabled for italics).
I have implemented 1-4. Give it a try. I think 5 is out of scope for now but I may revisit it at some point. If auto-closing asterisks are a problem at the start of a line (when making lists), use a hyphen instead.
#3397·Dennis HackethalOP revised 13 days agoI can take this opportunity to replace manual markdown with a proper text editor. Then there’s no need for autopaired brackets.
The editor will need to support:
- Automatic links to ideas like #123
- Links to @mentions like @dennis-hackethal
- Safe link formatting
- Disabling of turbo links
- Namespaced footnotes
- Custom blockquote format
- Protection against XSS
- Retention of formatting when pasting
On second thought, implementing a proper text editor would take more work than I initially realized, and is far beyond the scope of what Benjamin is requesting anyway. I can revisit this idea later.
I can take this opportunity to replace manual markdown with a proper text editor. Then there’s no need for autopaired brackets.
The editor will need to support:
- Automatic links to ideas like #123
- Links to @mentions like @dennis-hackethal
- Safe link formatting
- Disabling of turbo links
- Namespaced footnotes
- Custom blockquote format
- Protection against XSS
I can take this opportunity to replace manual markdown with a proper text editor. Then there’s no need for autopaired brackets.
The editor will need to support:
- Automatic links to ideas like #123
- Links to @mentions like @dennis-hackethal
- Safe link formatting
- Disabling of turbo links
- Namespaced footnotes
- Custom blockquote format
- Protection against XSS
- Retention of formatting when pasting
#3171·Benjamin Davies, 28 days agoObsidian autopairs markdown syntax and brackets. I like it a lot and would like Veritula to have something similar!
I can take this opportunity to replace manual markdown with a proper text editor. Then there’s no need for autopaired brackets.
The editor will need to support:
- Automatic links to ideas like #123
- Links to @mentions like @dennis-hackethal
- Safe link formatting
- Disabling of turbo links
- Namespaced footnotes
- Custom blockquote format
- Protection against XSS
#3386·Dennis HackethalOP, 13 days agoTrial by jury has been central to English Common Law legal systems “since the memory of man runneth not to the contrary.” So you could say it is simply a matter of tradition.
… it is simply a matter of tradition.
Another answer suggests that “We are following a tradition that came from British law of having trials decided by volunteers…” (emphasis mine).
So while having a jury may be tradition, the force part might not be tradition but relatively new.
#3303·Dennis HackethalOP, 23 days ago“If we make it a profession, we'll still have elites judging commoners and commoners unable to get justice.” (Source)
Making something voluntary doesn’t necessarily make it a profession. I buy sandwiches voluntarily, that doesn’t mean I work in that field.
#3391·Dennis HackethalOP, 13 days ago[Force is] cheaper than paying jurors their market rate for their time.
Well, at least this response is an honest confession of one of the (potentially) true motivations behind jury duty…
#3391·Dennis HackethalOP, 13 days ago[Force is] cheaper than paying jurors their market rate for their time.
It’s not clear to me that force is cheaper. On the contrary, force causes friction. Dealing with people who don’t want to be there results in additional overhead that may be hidden/not reflected in numbers.