FR version is available. Content is displayed in original English for accuracy.
Advertisement
Advertisement
⚡ Community Insights
Discussion Sentiment
77% Positive
Analyzed from 5336 words in the discussion.
Trending Topics
#money#more#zig#ghostty#lot#language#don#things#wealth#billionaires
Discussion (228 Comments)Read Original on HackerNews
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).
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
Except we live in a world where people do argue 2+2 could also be 22 ( Because they use Javascript /s ) Which is basically people believe what they want to believe in. Rationale rarely works.
Especially in tech, for which there are basically only tradeoffs.
I use Zig in most things lately, and I use AI. I have a high quality standard (that AI honestly sometimes makes difficult to meet), but my github has never been more active:
https://github.com/pmarreck/
I have a really good code-review skill (which I'm actually in the middle of updating, but it's here): https://github.com/pmarreck/llm_skills/blob/yolo/deep-code-r...
I also have a pretty neat (although arguably janky) way for LLM agents in different tmux terminals to talk to each other: https://github.com/pmarreck/llmsend
I don't really know how to value things any more when I see someone develop a tool that is kind-of useful that then gets acquired for half a billion dollars. As someone with a decent number of decades of terminal hopping, the improvement that ghostty has brought a breath of fresh air. To me it has represented more utility that a few of those acquisitions.
[1] https://github.com/ghostty-org/ghostty/discussions/2393
Just checked and the config file for my daily use terminal setup is 3 lines long. 3! That means I know I can chuck it on any system, any clean re-install, and it'll be Fine. That counts for a lot when you've grown tired of endless config tweaking.
My config is a couple lines longer, but other than font-family, font-size, color theme and a couple of other settings I didn't need to change anything else.
I definitely spent way less time configuring it to suit my needs that I did with any other terminal I used before.
on linux i use the default terminal in gnome which is ptyxis now iirc and haven’t felt any need to switch.
Is that meant as an argument in favor of "another $400k for Zig" or against it?
I like Ghostty, but investing $800k to develop a programming language that is primarily known for producing a terminal emulator doesn't sound like a particularly strong argument in its favor.
Genuine question. I’m not trolling.
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.
Among the "GPU rendered terminal" options, afaik Ghostty is the only one that has proper search/context menus, tabs, and scroll bars. I'm sure it's easy to get by without, but compared to the overall value-add of these terminals (which exists indeed but isn't tremendous either) I find it quite a significant downgrade, so I appreciate that Ghostty has both.
Also just the general render pipeline is way faster in ghostty. There are things you just can't do in iTerm because it's so slow. Ghostty is attempting to improve the experience to allow for more things to be built in the terminal.
* available on Linux and macOS
* settings easy to transfer, just a file
* comes with Jetbrains Mono Nerd font built-in, no need to install it separately
* supports ligatures
Since Ghostty is written in Zig, I ended up adding native Zig AST support in Dirac (https://github.com/dirac-run/dirac/blob/master/src/services/...)
One thing the has been a little unintuitive is the pattern of all code and tests in single files, which makes the filesizes grow much larger. Also if you're coming from inheritance supported languages, Zig forces a different way of thinking
I don’t believe donating $400 really feels that satisfying, the impact is fairly negligible in most contexts whereas donating $400k can very visibly improve a lot of lives.
I think this illustrates just how much a billion dollars is and maybe why a very small wealth tax can be used for a lot of good in society.
1. Net worth is significantly less than that (taxes + heavy philanthropy)
2. $400K donation is orders (plural) of magnitude off our actual philanthropic giving in total. This is just one donation.
isn't the accrued billion dollars what remains after a much larger amount was taxed at roughly 50%?
(of course could be spread across multiple years, but the essence remains)
How would the "very small wealth tax" be calculated, that you propose?
How? It'll just go to the gov. budget which will be mostly used to pay for bloated healthcare, military and interest.
So many reasons why it's not a good idea to have a wealth tax. But the biggest reason is that nearly all our tax money is going to fraud. This is why our economy would BOOM if we got rid of a lot of taxes and reduced our fed/state governments a LOT. I just want roads, military and police. There is no reason why we should allow our government to be weaponized or turned into a nanny state when SO much of they money they collect is wasted.
Corporations that provide money for causes is often looked at because it's an investment. The world can learn a lot of free market capitalism, but it keeps pretending that half the people won't just DIE in communism.
It's not an equivalent. It's proportionally the same but it's completely different.
>>I think this illustrates just how much a billion dollars is and maybe why a very small wealth tax can be used for a lot of good in society.
If anything it illustrates taxes should be lower for people like Hashimoto. Giving even more money to the government instead of leaving it with people like Hashimoto will result in a huge net loss.
In many(most?) parts of the world, $400 is the equivalent of months of good salary.
Also, a lot more people (more than 1000x) have $400 to give than $400k so in a sense if people with $400 to give were all being very generous, they could amount to a lot more than what billionnaires could give.
I could, perhaps, see them wanting to be cautious if you appear to be having an obvious mental health crisis (but even then, as a paramedic I've heard more than one tale of families ruined by the spending of someone who was unmedicated and bipolar).
I could even potentially see there being a law enforcement issue of creating a panic or riot, exaggerated for example: "I'm going to take this money and throw it on the tracks at a train station and people can see how much risk they're willing to take to get it".
But "you have to give us an acceptable reason"? No. I am of comfortable but not exorbitant means (lower six digit salary), and my cash withdrawal limit, by default, is $15K/day. And the one time I asked for that to be raised temporarily, the only questions I got were for an additional piece of identification, and that they were able to call the contact numbers they had for me on my account to verify that it was me who picked up the call. Not "for what purpose, sir?"
~400–800 million people (top 5–10% of global earners) could easily pay $833/month without major struggle, assuming they earn >$100,000/year.
So 90% people couldn’t even afford to pay a whole month of salary to a median earner without major struggle.
~3.6 billion people (45% of the global population) can likely afford to drop a $0.25 coin in a hat for a street artist without financial struggle. But that might not feel exactly the same as giving a whole month of median salary, let alone 40 years of it.
EDIT2: Actually it’s more interesting. The commenters seem have changed their wording away from what I was criticizing.
Original observation: Try to purge envy from your heart. It’s a poison.
There was originally a lot of dark envy in this thread but interestingly it’s been revised out to be more subtle.
Many of us have probably been poor at some point (e.g. as a student, young adult), but most of us spend a significant amount of time in their life having means to contribute, even if only small.
If you need your car to earn money, and you don't have the money or other resources to repair it if it breaks - that's a huge uncertainty and a huge source of stress and worry. Liquid funds can remove that source of stress. More drastic examples would include rent or food.
That's why liquid funds can remove impediments and distractions from your life, but once all of those are gone, then what?
The problem isn’t that money doesn’t buy happiness, it’s that it can remove your ability to endure the necessary amounts of unhappiness in life.
I'm willing to test this theory out, send me some money.
When people with 1X see people with 10X or 100X and go hey! Why aren't you doing more? That gives me hope. When these people succeed, they are exactly the type of people who will give back and derive happiness from it. The right person who acquires wealth can do a lot of good in the world.
But spending your life pursuing an unsatisfiable goal (because the goal is “more”) probably isn’t good for your happiness.
Not to mention, there are very satisfying ways to contribute to things you think are important that don’t necessarily involve a lot of money.
I think this is quite defeatist thinking. A thousand people who donate $400 is also $400k and is well within the realm of most people here. A lot of non-profits also want the thousand people that donate $400, because $400 yearly from thousand people is much more robust long-term funding.
Recently a well-known Dutch journalist, who started an organization to critically follow big tag (and take them to court when necessary), raised 1.3 million Euro. Most of it is from people like you and me, who can chip in 10 Euro monthly. It's reliable, because most people just have a recurring donation set up.
Not to detract from mitchellh's pledge, because ideally you get both types of donations.
You should probably have a billion dollars, you would do great things. But you probably shouldn't become a billionaire to get there. Being rich doesn't make one unhappy, but getting there does.
That relentless grind changes a person, much like the ring.
I echo the sentiment in this comment https://news.ycombinator.com/item?id=48630565
Meanwhile, people who get rich by accident often seem able to improve their own lives and those of others with their money. The recent article about the founder of Craigslist comes to mind.
The wealthiest man on the planet looks to be quite miserable, insecure and bitter most of the time.
https://ziglang.org/news/2025-financials/
Most of it goes to contributors.
> 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 of what makes the internet and open source great is that projects can be weird and different. They can set unusual boundaries, build their own culture, and pursue quality in ways that won't make sense to everyone.
Mitchell does feel like the adult in the room when other people are having chain-saws and acting irrationally for a lack of better term (for example jared/bun controversy which the post just somewhat touches on)
(Mitchell's tweet about AI psychosis is genuinely influential and is now a pointer to what this phenomenon might be)
I really think him and simon's opinions are somehow decently nuanced opinions on AI that the internet has to offer.
Now glazing of mitchell aside, I am happy that zig foundation gets such amount of money and I am really excited that Zig an independent language is able to get the level of love that it does.
There is a famous talk by the creator of Elm on the economics of independent programming languages and how its hard for them to get sponsored if they aren't already working at a company (Rust was created at Mozilla, Golang was created by Google)
This is a real issue that is true for most of open-source and I am just happy that we are atleast moving slowly towards some good as well. Its an uphill battle with multiple lows but I am happy for the positive changes as it gets as open source does have a special place in my heart as it taught me about privacy and many of your hearts as well.
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 suspected of being AI assisted.
A strict policy on either side is easier to enforce based on finite resources (mostly people). I'm sure many projects would like to have a middle ground policy but cannot currently devote the resources it would require long term. We might never see a shift in moderation abilities and this remains for the longer term, or there could be advanced in moderation that allows projects to adopt a more nuisanced policy that's right for them.
Assume you meant Mitchell?
Love it.
Am also really overall enjoying the language, it def has some rough spots regarding documentation and the stdlib but overall has been very nice to work with in neovim.
I can't throw 400k but I'll go ahead and pledge some dollars towards it as well.
Can you elaborate on this?
Now I wonder what other donations were deemed as much as - or more - useful.
In the short term we might not see the benefits, this pledge reads like: "Please keep doing what you are doing now, I am interested in how far it goes" (not in any negative sense)
[1] https://jangafx.com/
I think zig is also highly opinionated but it always seemed to me that Andrew started from solid pillars and made an excellent job of carefully considering each feature that was added to the language:
- No hidden control flow.
- No hidden memory allocations.
- No preprocessor, no macros.
Odin on the other hand is just some developer's personal taste marketed as "Programming Done Right". So, if you disagree with any choice Bill made, you're not doing programming right.
Zig doesn't have a centralized package management system though. It's all links to tar.gz/git with integrity hashes.
I assume C++ outweighs Odin in their code base by a significant margin (accounting for all dependencies).
Keep being the fuckin man.
I thought all billionaires were bad?
In particular Lauren Bezos and Laurene Powell Jobs.
Warren Buffet is essentially bequeathed the majority of his wealth to good causes.
A lot of the work of the Bill and Melinda Gates foundation is phenomenal (despite the recent and disturbing Epstein news).
George Soros has funded a lot of good causes, depending on how far you want to believe the conspiracy theories.
Harris Rosen funded free daycares and university tuition to benefit an impoverished Orlando community.
Dolly Parton's philanthropy is legendary.
A lot of the Robber barons (Andrew Carnegie, Rockefeller's) bequeathed to causes that Americans are still benefiting from today.
Yvon Chouinard, Founder of Patagonia, pretty much gave the company away for environmental causes.
Chuck Feeney pretty much gave away 99% of his wealth.
2. would you rather allow a small number of people 10x more wealthy than Mitchell dictate our laws and culture, or would you prefer a more democratic approach?
Survival is mostly a fixed cost that is unmet by many people, while other people donate those who are less off’s life earnings to their fancies they vibe with. It’s gross. Unfortunately humans are not brave or imaginative enough to realise another system (99% tax on billionaires would be a start), but most people also hate the idea that someone in need would get something for free or at a low cost.
I do not think they should be thought of or spoken of as individuals, they are brand entities. Their true intentions are as unknowable from scale and complexity and opacity as, I don't know, Macy's.
Commenting on if any specific billionaire is a uniformly good or bad person distracts from the more important conversation on what the optimal number of billionaires should be and what the tradeoffs are in recalibrating the system.
[0]: https://en.wikipedia.org/wiki/Family_office
There are billionaires who gave over 99% of their wealth away by the time they died who make for much more debates with much more interesting exchanges.
The fact that some billionaires use their money to do good does not contradict that argument.
That does not mean that there are no good billionaires. There are even billionaires who have become billionaires by being bad, but who nonetheless have attempted after that to do only good things, perhaps to atone for their past sins.
Mitchell Hashimoto appears to really be one of the good ones.
I have recently discovered the ghostty open-source terminal emulator, written by him in recent years, which appears to have some advantages that I value, over its competitors, and I have switched to it, after using a very large number of other terminal emulators in the past, and switching between them whenever I encountered a better one.
Therefore I am grateful to him for his good programming work, shared with the world.
Most of ghostty is written in Zig, so there is little doubt that he likes the language, thus there is no surprise that he is choosing it for a donation.
This is speaking from recollection engaging with programming communities years back - I found the Rust community to be interested and respectful of Zig but it didn’t seem to be well reciprocated, if anything much the opposite.