Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Pledging another $400k to the Zig software foundation

mitchellh.com

Post reply on HN
Print view View original

221–230 of 313 posts

Re: Pledging another $400k to the Zig software foundation

#221

Post by Retric »

coldtea wrote: post #218
Retric wrote: post #217

Earlier quoted context omitted.

> thinks like that These aren’t truths. It’s cases like “is the earth flat?” that have an answer in objective reality and people still argue about it where some people are simply wrong.

What's addressed as truth is not some holy artifact handed out for us by God, or what some theory of Logic defines as such. It's what people consider and call a truth. Language terms are defined by use. And people absolutely argue, fight, unite, or even go to war, for the version of those that they'll consider and call the truth of such matters.

The English language has multiple independent definitions of the same word. You’re misusing that ambiguity here.

“sincerity in action, character, and utterance” is different than “the body of real things, events, and facts”

This distinction very much exists in how people talk about such things. You don’t need to “have faith” that something like gravity exists such that when you trip you can fall down. “We hold these truths to be self evident” isn’t how you talk about the distance between NYC and Boston.

Re: Pledging another $400k to the Zig software foundation

#222

Post by armchairhacker »

ahepp wrote: post #216
armchairhacker wrote: post #183

Earlier quoted context omitted.

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 apple…

> rarely we get things wrong (e.g. classical physics) Curious, do you think quantum physics is the end of the line? I wouldn't claim to have a good understanding of anything beyond classical physics, but I've just assumed it's turtles all the way down and at some point we'll find serious issues with the quantum model

I think you’re right and quantum physics is false in some subtle way. We already found experiments that contradict existing theories in quantum physics, e.g. https://en.wikipedia.org/wiki/Cosmological_constant_problem

But it’s true enough to detect subtle gravitational waves, build clocks accurate to the nanosecond, and other amazing things.

Re: Pledging another $400k to the Zig software foundation

#223

Post by saila »

rofrol wrote: post #220
johnwheeler wrote: post #119

Earlier quoted context omitted.

I use Ghost TTY coming from iTerm for no other reason than I saw everybody else using and praising it. Is there some special feature I'm missing? I would only call it a marginal improvement. If that. I fail to see what the big deal is.

Splits can have different font sizes

This doesn't seem like a particularly compelling feature to me, but iTerm can do this too (since the person you replied to mentioned iTerm, this seems relevant).

Re: Pledging another $400k to the Zig software foundation

#224

Post by mortar »

Arrowmaster wrote: post #95
Imustaskforhelp wrote: post #14

> I use AI heavily. I've written about my AI adoption journey and shipping real features with AI assistance. I'm also quite vocal about remaining rational about its capabilities and frustrated with its negative impacts on open source. > The point is that I have opinions. Those opinions don't fully align with ZSF's approach. And yet, I have nothing but respect for ZSF: the people, the policies, and the project. Part o…

As things are right now, I see this as a respectable way of operating. Michael has made his views and usage of AI known. The Ghostty project has a detailed AI policy for users to see and the team is willing to devote resources to enforcing a middle ground policy. The Zig project has a detailed policy taking a strict stance and as a result I expect they do not have expend as much resources when a contribution is suspe…

> Michael has made his views

Assume you meant Mitchell?

Re: Pledging another $400k to the Zig software foundation

#225

Post by throw1234567891 »

cobertos wrote: post #100
throw1234567891 wrote: post #81

Earlier quoted context omitted.

Maybe it was a bank transfer.

Those are limited to $25k/day for my current bank. Are those not limited elsewhere?

¯\_(ツ)_/¯ maybe he paid with a Centurion Card! Who knows.

Re: Pledging another $400k to the Zig software foundation

#226

Post by throwitaway222 »

PaulDavisThe1st wrote: post #192
throwitaway222 wrote: post #145

Earlier quoted context omitted.

The problem is that when government spends $1,000,000 on your halfway house, it provides instant relief. It creates beds. The next year the government does it, the number of employees has doubled and it creates 20% more beds instead of the original amount. The third year it creates no beds and we find that 10% of the beds are gone, and the number of employees is now 1000. The government didn't care how well the money…

This is just bad government, not government. Public spending on things that require (a) maintainance (as almost all things do) (b) are massively less functional if the investment is not sustained (as many things are) is inherently going to lead to suboptimal results. It's equally bad if private entities do this, but for one reason or another, people seem to bitch about this less, because, well "freedom" etc. Public s…

We still don't have a working model of a government doing a good job in the real world when it comes to carte blanch giving groups money. It does work really well when it's on the private side. The crux of the issue is that I pay too much in Taxes for 30% of it to be spent on downright fraud. Whether that is daycare scams, military spending scams, hospice scams, etc...

Since about 30% of my lifetime pay goes to taxes, and I am estimated over my entire life to make about $7m in salary. $1M of that is taxed, so potentially 300k of money is going to SCAMS.

Think about it, what if the government just decided tomorrow to give back all this money. I could finally afford to buy a house! But instead of me being able to buy a house, let's put another million bucks in a suitcase to fly to Mogadishu.

Re: Pledging another $400k to the Zig software foundation

#227

Post by alchemist1e9 »

sevenzero wrote: post #132
alchemist1e9 wrote: post #127

Earlier quoted context omitted.

Capitalism is the single greatest force for improvement in the human condition. Money is the foundation of capitalism. If you went to school and believe what you write then you went to terrible schools.

Capitalism also marked the end of humanity and is the single greatest force driving human extinction. But yall money driven brains cant comprehend that :)

And how is it driving human extinction? It’s lifted humans out of endless poverty and bringing a coming age of abundance, what world are you living in?

Re: Pledging another $400k to the Zig software foundation

#228

Post by bit-anarchist »

rrgok wrote: post #160
hallole wrote: post #152

Earlier quoted context omitted.

There is only a single source of truth and that is objective reality. Maybe you agree with that, but your wording is messy. It's true that different perspectives can yield their own particular bits of truth, if that's what you're saying.

Uh, what is objective reality?

Aspects of reality that are shared by all possible subjects.

Re: Pledging another $400k to the Zig software foundation

#229

Post by zazuke »

nilsherzig wrote: post #181

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

It's soo good, just watched it before.

Re: Pledging another $400k to the Zig software foundation

#230

Post by fsckboy »

throw1234567891 wrote: post #81
asimovDev wrote: post #58

Earlier quoted context omitted.

i don't think my bank will let me withdraw 400k in cash with the reasoning of "I want to throw it"

Maybe it was a bank transfer.

i guarantee you it was a stock transfer, that's where the real tax write-offs come in.

you give a $200k donation, get a $200k writeoff, saves you about 50% (100K) in taxes you owe, so it's like the government is kicking in $100k and you are kicking in $100k and whatever the govt would otherwise spend the $100K on goes unfunded.

Post reply on HN