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

211–220 of 313 posts

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

#211

Post by the_mitsuhiko »

sph wrote: post #47
the_mitsuhiko wrote: post #32

Earlier quoted context omitted.

Money can very much buy happiness. Most of the things that make you unhappy can be remedied with money. How much money you need to accomplish that depends though.

> Most of the things that make you unhappy can be remedied with money Nonsense. Most of the things that can be remedied with money are not the truly painful things of life either. Will money save you from heartache? From the pain of losing a loved one? From being lonely? From having no respect from your peers? From losing your health to incurable cancer? At that point, all money can do for one is make them even more…

> Will money save you from heartache?

Probably yes. If you consider dating to be a numbers game, money moves things into your favor greatly and will give you a chance to move past.

> From the pain of losing a loved one?

Money will help greatly, because for many people getting over loss involves therapy which costs money.

> From being lonely?

Money for many people buys companionship.

> From having no respect from your peers?

Given that people associate respect with money excessively, probably yes as well.

> From losing your health to incurable cancer?

Your chances of surviving cancer greatly scale with money.

Sure, there are limits to it, but absolutely access to money is tremendously pushing things towards happiness. I think it would be disingenuous to pretend otherwise, at least in a capitalist society we all live in.

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

#212

Post by robocat »

warmwaffles wrote: post #112
noisy_boy wrote: post #101

Earlier quoted context omitted.

Seconded. I keep hearing about ghostty but I have yet to see a strong enough justification about how it is _that_ better. I use konsole and has significantly more user friendly screen to manage settings. I heard about ghostty's performance so I did some timing tests and ghostty was faster than konsole but not that much - not in any perceptibly significant measurable sense.

I went from Alacritty to Ghostty for ligatures and some other small goodies. I could probably get those same goodies with Kitty, but I didn't want to try nor have the desire to try. I may go back to Alacritty if I grow tired of Ghostty.

I've always found ligatures (fi, ff, ffi etc) really ugly. Or are you talking about using them for hacked purposes (-> in C)?

Then again I don't put different foods on my fork when eating - which seems relevant.

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

#213

Post by binarin »

wickrom wrote: post #75
Lerc wrote: post #34

It's great to be in a position to do this, however I'm beginning to think that their greater contribution is ghostty 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 repr…

I'd love to hear what made you settle on ghostty. There is not dearth of terminal emulators out there, each claiming performance or batteries included.

libghostty is a bigger contribution, it's being embedded left and right.

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

#214

Post by pmarreck »

paufernandez wrote: post #120
trizoza wrote: post #19

What a word of wisdom right there, the bit about internet is beautiful because it's ok to be weird - this is often the opposite on twitter, fb, reddit and many discords where if you have a different opinion you get mobbed by angry comments making one feel worse about their own weirdness.

It is increasingly important to be able to see that many things are true. There is no single "truth". Many things are true at the same time , and in all aspects of life. Each brain is like a band pass filter, and the effort we should make is to try to imagine the points of view of others, which are just different slices of the same world. Then embrace the slices we like, and just ignore the ones we don't, but don't a…

I think the biggest problem is not that there may be many truths, but that people don't even bother seeking out the best evidence or reasoning against their truths.

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

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

#215

Post by pelasaco »

Lerc wrote: post #34

It's great to be in a position to do this, however I'm beginning to think that their greater contribution is ghostty 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 repr…

> however I'm beginning to think that their greater contribution is ghostty

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.

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

#216

Post by ahepp »

armchairhacker wrote: post #183
paufernandez wrote: post #120

Earlier quoted context omitted.

It is increasingly important to be able to see that many things are true. There is no single "truth". Many things are true at the same time , and in all aspects of life. Each brain is like a band pass filter, and the effort we should make is to try to imagine the points of view of others, which are just different slices of the same world. Then embrace the slices we like, and just ignore the ones we don't, but don't a…

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

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

#217

Post by Retric »

coldtea wrote: post #197
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.

"Objective reality" is only the source for the least interesting truth. The truths that really get people fighting over concern best courses of action, moral matters, aesthetic issues, and things like that, where there isn't some singular objective truth (and even if there was, nobody has access to it).

> 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.

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

#218

Post by coldtea »

Retric wrote: post #217
coldtea wrote: post #197

Earlier quoted context omitted.

"Objective reality" is only the source for the least interesting truth. The truths that really get people fighting over concern best courses of action, moral matters, aesthetic issues, and things like that, where there isn't some singular objective truth (and even if there was, nobody has access to it).

> 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.

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

#219

Post by rofrol »

wickrom wrote: post #75
Lerc wrote: post #34

It's great to be in a position to do this, however I'm beginning to think that their greater contribution is ghostty 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 repr…

I'd love to hear what made you settle on ghostty. There is not dearth of terminal emulators out there, each claiming performance or batteries included.

Splits can have different font sizes

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

#220

Post by rofrol »

johnwheeler wrote: post #119
Lerc wrote: post #34

It's great to be in a position to do this, however I'm beginning to think that their greater contribution is ghostty 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 repr…

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
Post reply on HN