Pledging another $400k to the Zig software foundation

If you're unsure about spending the time to learn Zig, I really recommend watching the following interview with the creator of Zig https://www.youtube.com/watch?v=iqddnwKF8HQ convinced me more than any design doc or blogpost could

To clarify, there are formal truths: widely-accepted hard science, e.g. “2 + 2 = 4”. Technically, there’s a point where we can’t fundamentally prove anything (“if a tree falls and nobody hears it, does it make a sound?”), and rarely we get things wrong (e.g. classical physics)….but in practice, these are true, end of discussion.

Then there are informal truths: e.g. “the Earth is round”, “the sky is blue”, “Gala apples are red”. You can nitpick them (the Earth isn’t a perfect sphere, the sky is only blue during the day in areas without high pollution, Gala apples may be pinkish or have yellow blotches, or exceptional discoloration), endlessly or until they become formal (possibly by becoming self-referential). But in practice, these are also true (like formal truths; although it’s important to know the difference because…)

The problem is, there’s no line between an informal truth and uncertainty/opinion that isn’t true. Like you know ##FF0000 is red and ##00FF00 is not, but there’s no exact color that separates “red” and “not red” (it depends on person, mood, surroundings…) Consequently, unlike formal truths, informal truths have false implications (“fuzzy logic”). An informal truth can be phrased in a “misleading way”, priming the reader for a false implication (a formal truth can be phrased in a convoluted or unintuitive way, but interpreted formally, never leads to a false implication).

The vast majority of discussion is not formal. Even the smartest people constantly fall for false implications. And this isn’t completely solvable, because we fundamentally can’t formally define everything (too much detail): we tried with GOFAI, it failed and its successor, neural networks, informally defines things like us (by forming a lossy model of the world, then generalizing it).

Is Bun's Zig fork called Bunzig ?

What is objectivity?

“There is only a perspectival seeing, only a perspectival ‘knowing’; and the more affects we allow to speak about one thing, the more eyes, different eyes, we can use to observe one thing, the more complete will our ‘concept’ of this thing, our ‘objectivity,’ be.” — Nietzsche:On the Genealogy of Morals III

It's a target. Objectivity does not appear in nature in a stable form. Nothing is fixed and certain. Some things just appear that way from our point of view.

One of the downsides of arguing over internet is that whenever you provide an argument that precisely counters the point person A has made, there comes person B who makes a completely different point than person A, but still treats my reply to person A as if I was replying to person B instead.

I define happiness as whatever the person before me defined it as. GP defined it as good health, love and respect of others. Thus, my reply to GP was focused on how money can be turned into good health, love and respect of others. Your definition of happiness is completely different. So of course my reply to you is going to be completely different. The definition of happiness we're operating on has changed since my last comment, after all.

You are conflating two diametrically different claims. One is that money makes people inherently happy. Which is so obviously wrong it's not even worth talking about. It's also something nobody in this comment section said. Least of all me.

The other claim is that money can be exchanged for things that indirectly will make some given person happier than without those things. In short - that money can buy happiness. Both "can" and "buy" are extremely important here. "Buy", as in money itself is useless unless it's exchanged for something. It's this something that you exchange money for that's supposed to increase happiness, not money itself. "Can", because everyone has a choice what they do with their money. You can use the same money to buy something that will make you happy, or to buy something that will not. Musk and Trump are extreme cases of people who could buy happiness but chose to buy something else instead, and are therefore deeply unhappy despite their wealth.

What do these "Buddhist monks of various sects" eat? Where do they get food from? Is eating part of what makes them happy, or just something they're forced to do to continue living? If it was somehow possible for them to continue living without eating, do you think they'd stop eating?

What do these Buddhists do when they're not eating? I assume whatever it is, it's what makes them happy. And the more time they dedicate to it, the more happy they become. By not eating, they'd free up time to do even more of the thing that makes them happy.

In real world, these Buddhist could stop growing food by hand and instead ordered catering. They would be exchanging money for more free time, which in turn would increase their happiness. Is that not so?