Live data from Hacker News

Pledging another $400k to the Zig software foundation

mitchellh.com

251–260 of 313 posts

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

#251

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

Very interesting, but wild to me how much this guy resembles Elon (in not only appearance but also mannerisms and way he speaks)

Absolutely

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

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

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

which is ‘funny’ because by offline standards the average redditor will probably be seen as weird

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

#253

I applaud this, particularly as I view Zig as a viable alternative to rust for many applications. Do I think rust is a positive addition to the Linux kernel. Absolutely. Would I reach for rust or Zig first when I was implementing a real-time audio synthesizer if I had to choose between the two? Unless Rusteze, a Clojure dialect hosted on rust existed, I would choose Zig. I sense a hegemonic power growing behind rust,…

[flagged]

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

#254

Earlier quoted context omitted.

If you assume Hashimotos net worth is one billion dollars, a $400k donation is equivalent to a $400 donation if your net worth is one million dollars. 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 ta…

>>If you assume Hashimotos net worth is one billion dollars, a $400k donation is equivalent to a $400 donation if your net worth is one million dollars. 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 b…

taxes should be lower for milioners and bilioners period. If we had regressive tax system where your tax rate is in negative correlation to your income, that would incentivise poor people to try to earn more and jump into higher bracket.

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

#255
post #143

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.

input latency. the time from pressing a key to showing on-screen is much lower with ghostty (I can't find exact number, but it seems to handle input 2-4x quicker. So around 15ms instead of 60ms). 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 te…

> input latency.

I guess, but I have a hard time caring about 1/22 of a second of additional latency when iTerm works so well overall.

> There are things you just can't do in iTerm because it's so slow.

Such as?

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

#256

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

Very interesting, but wild to me how much this guy resembles Elon (in not only appearance but also mannerisms and way he speaks)

> this guy resembles Elon

What an awful thing to say about a person.

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

#257
post #208

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…

2+2=4 is only a formal truth up to the axioms of arithmetic and how we denote numbers. The statement is not statement with regards to objective reality.

You're being pendantic. Choose whatever symbol you want for "2" and "4". The point is that if you have symbol apples and someone gives you symbol more, than you have an agreed-upon number in total.

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

#258

Earlier quoted context omitted.

I guess my question to people that dislike capitalism, is - what do you want to see replace it? Capitalism with changes, Communism? I don't think Humans can ever do anything other than capitalism because at the end of the day, a farmer making food and delivering it is just going to STOP working when he finds out a daycare owner has made $15 in 3 years without actually taking care of kids. And everyone just bubble wra…

>Everyone dies in communism. Everyone dies in capitalism as well though. Everyone dies generally at some point in life. Reality is, currently most of us are wage slaves and I'd love to work a little less and still be able to afford life. An alternative to capitalism would be socialism and killing corrupt people off.

> killing corrupt people off

Cool cool that doesn’t sound tyrannical at all

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

#259

Another language that is in a similar space to Zig that I think deserves more attention, particularly for funding is Odin. While I think Zig is a great language, there is a consistency of design and simplicity to Odin that makes low-level programming more ergonomic and enjoyable to me. While Zig boasts a lot of impressive projects, Odin was used to build the JangaFX suite[1]. [1] https://jangafx.com/

Ginger Bill, the Odin language developer, is openly hostile against package managers (he wrote a post called "Package Managers Are Evil") so he maintains his own wrappers of popular C libraries in vendor folder next to the compiler. That doesn't sound like a healthy ecosystem to me. 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 ca…

> Ginger Bill, the Odin language developer, is openly hostile against package managers (he wrote a post called "Package Managers Are Evil") so he maintains his own wrappers of popular C libraries in vendor folder next to the compiler. That doesn't sound like a healthy ecosystem to me.

There are good reasons for this (supply chain attacks, dependency hell), and while Odin doesn't have a package manager it does have a concept of a package. There is nothing stopping anyone from downloading and adding them to a project, in fact Odin developers do this already. The Odin core library is absolutely massive and contains a lot of what you would need for most projects, vendor rounds it out. The purpose is to be batteries included so your project doesn't have to rely on as many dependencies.

> I think zig is also highly opinionated but it always seemed to me that Andrew started from solid pillars

It's funny you say that, because I hold the same stance for how Odin was constructed, and the examples listed hold for Odin too. There is a lot about Odin's design that is consistent with Zig. Check it out, you might be surprised ;)

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

What do you think every programming language is trying to do? Solve the issues of the author. Bill has strong opinions about programming, so he made a language and a reasonably successful one at that. Given the swathe of people who would just complain, it's refreshing when people try to instead better the world relative to their values. Say what you will, he does it because he cares.

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

#260
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's fun when subreddits or Discords are premised on a specific subtype of weirdness. There, you'll get mobbed if you're normal.
Post reply on HN