d4ng

5 ms·

1.
by d4ng 1mo ago
I got this example from an LLM: 1. Fix a formal system S. In the LLM example, it uses first-order arithmetic, but I don't see why we wouldn't be able to use ZFC. 2. Let D be the set of subsets of the natural numbers N which
2.
by d4ng 1mo ago
Take into public ownership.
3.
by d4ng 1mo ago
Do we have any English lawyers here who can comment on whether it may actually be legal to nationalise Adele (the person) under English law? ChatGPT says it may be possible through an act of parliament, but I’m unsure whether I can trust Ch
4.
by d4ng 1mo ago
Do conceptual frameworks exist outside of language? If so, where do they exist, and how do you define existence in this context? If facts have truth independent from common language, where do those facts exist, and how do you define existen
5.
by d4ng 1mo ago
There exist subsets of the natural numbers which are infinite, but which are not finitely definable in first-order arithmetic.
6.
by d4ng 1mo ago
That answers a different question. The empirical success of the equation in question is strong evidence that the theory captures something about the universe, however it does not prove that the proposition exists, or is true, independently
7.
by d4ng 1mo ago
How can we prove that?
8.
by d4ng 1mo ago
“The basic realism of science, then, rests upon the following claim: the Universe is such that facts can be plainly stated within it, even though the facts themselves need not be plain.” What facts can plainly be stated within this universe
9.
by d4ng 1mo ago
Value and usefulness are again subjective. For instance, what value would you have put on a can of Piero Manzoni’s Artist’s Shit? After all, we could all take a shit in a can. One can was sold for 124k EUR. Many people lost some money. Mayb
10.
by d4ng 1mo ago
Let’s say I bought an NFT for X and later sold it for Y profit. I bought a house with Y. The person who received X bought a car with it, or maybe long in oil futures with X before the Iran war, made Z, and bought a field with the profit. Or
11.
by d4ng 1mo ago
Define useful in a measurable way that does not depend on any specific human’s subjective estimation.
12.
by d4ng 1mo ago
Define intrinsic value in a measurable way that does not depend on any specific human’s subjective estimation.
13.
by d4ng 1mo ago
I feel sad about keeping animals in small confines, away from their natural habitat, but on the other hand, I have come to the subjective conclusion that rights are also subjective.
14.
by d4ng 1mo ago
I wonder what will follow TikTok and Instagram, and how people in twenty years will be reminiscing over the good old days surrounding these services.
15.
by d4ng 1mo ago
Have you considered that the public may be gaining something from the conversations and awareness that arise from the performance of this art? I invite you to move away from evaluating a piece of art simply in terms of the monetary cost to
16.
by d4ng 1mo ago
I still do this. The ingredient list of my hand soap is a page-turner. In The Netherlands, I found it quite common for there to be books or comics in the toilet. Mostly humorous. I never got a tummy bug from partaking in this.
17.
by d4ng 1mo ago
Here’s a nice video: https://youtu.be/bV-hSgL1R74?si=Ei3EUfrIKvgAO3bw
18.
by d4ng 1mo ago
Set my body free.
19.
by d4ng 1mo ago
Any interesting links?
20.
by d4ng 1mo ago
What’s the theme?
21.
Ask HN: What art would you like to express?
5 points by d4ng 1mo ago|14 comments
22.
by d4ng 1mo ago
So why does Starbucks coffee still consistently taste like shit?
23.
by d4ng 1mo ago
There is a number of centralised places for finding music events in London. None of them allow you to find people to go with. Regarding being bought out by Match: I wouldn't complain.
24.
by d4ng 1mo ago
There are multiple websites that list events in London. I have quite niche music tastes, and would pay a few quid per month for the opportunity to get in contact with people who want to go to the events I'm interested in.
25.
by d4ng 1mo ago
Well, that’s good to know. Thanks.
26.
by d4ng 1mo ago
For people into music: Would you be interested in an app that lists music events in your area, where you can register yourself as going, and where people can apply to go with you? What do you think would work well? What do you think the pit
27.
by d4ng 2mo ago
What are your disagreements with Absurdism?
28.
by d4ng 2mo ago
Worth bathing the decently sliced eggplant in whipped egg and then in flour, and frying in a decent amount of oil. Add herbs. Simple. This is common in the Mediterranean. When cooking over gas, it is nice to remove the skin in cold water, c
29.
by d4ng 2mo ago
What numbers in R would not be possible to express in an infinite universe?
30.
by d4ng 2mo ago
Not quite. You could buy a long-dated put if implied vol and current rates are amenable. This protects you against the underlying going up significantly. You might also predict that it won’t go up too much, and just short the underlying wit

More ›