Live data from Hacker News

TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

tigerbeetle.com

61–70 of 213 posts

Re: TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

#61
post #20

Earlier quoted context omitted.

>leaving Rust for Zig for the sheer enjoyment of using it instead. What do people find more enjoyable?

Zig feels like a better C with modern tooling. It is a tool that works for me. Rust feels like a better C++ with modern tooling. I am a tool that works for it.

[dead]

Re: TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

#62
post #15
post #9

Real programmers would have donated $524,288. But seriously good news nonetheless.

For those who don't intuitively think in base 2, 2¹⁹ bytes, or 512KiB.

I'd prefer to express it in hexadecimals, and 1 would be 256 cents. So it would come out to be very slightly more, at 0x00030000.00 hexadollars, or 196608.00 hexadollars, or 50331648 cents – $503,316.48

I may have been looking at the binary year 2038 countdown :D https://retr0.id/stuff/2038/

Re: TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

#63
post #26

Earlier quoted context omitted.

Zig is orders of magnitude more pleasant and enjoyable to use than Rust.

It's like saying bacon is better than cheese. I totally get why some people would feel that way, but it's far from a universal feeling. Tastes are just subjective.

I think most folks would agree that Rust is an "acquired" taste. You need to kneel to the borrow-checker and develop something like a Stockholm syndrome before you find the language delicious.

Re: TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

#64
post #63

Earlier quoted context omitted.

It's like saying bacon is better than cheese. I totally get why some people would feel that way, but it's far from a universal feeling. Tastes are just subjective.

I think most folks would agree that Rust is an "acquired" taste. You need to kneel to the borrow-checker and develop something like a Stockholm syndrome before you find the language delicious.

It's not kneeling it's literally just eliminating bugs. It's kind of like saying that we kneel to logic while doing math

Re: TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

#65
post #34
post #27

Earlier quoted context omitted.

Some people enjoy the relative simplicity and straight forwardness of C, some folks enjoy the flexibility and zero cost abstractions C++ gives you. Some people can appreciate both. I actually like both languages for different reasons and I don't really understand why they're consistently being pitted against each other. Language wars are... for lack of a more appropriate and less-crass term... stupid.

With limited time and mental energy and I woukd say the languages are fighting for attention. The war is over why should I pay attention and for territory in my head.

Because this industry is a knowledge-based industry, and it's a good idea in general to always be honing your skills and learning something new.

Even if you don't have any intentions of using a new language in your day to day career, there's usually a few super-interesting morsels in there that you can add to your knowledge banks.

I've personally lost count of the number of times I took a concept I learned in another language or technology stack and applied it to my day job.

Re: TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

#66
post #63

Earlier quoted context omitted.

I think most folks would agree that Rust is an "acquired" taste. You need to kneel to the borrow-checker and develop something like a Stockholm syndrome before you find the language delicious.

It's not kneeling it's literally just eliminating bugs. It's kind of like saying that we kneel to logic while doing math

[dead]

Re: TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

#67
post #56

I'm absolutely struggling to understand what Synadia even does. it's been an infuriating experience navigating through their marketing site. It's been minutes and I still don't understand what it is. What is NATS? Edit: I had to google what NATS.IO is. The marketing site is infuriatingly useless. Please, can we stop doing this? Edit: At the bottom on the footer it says compare NATS to Kafka. It took me to a page that…

i asked gemini to investigate on my behalf, and it basically said that Synadia is to NATS what HiveMQ is to MQTT. seems fair enough.

thank goodness for llms to spare us the marketing drivel!

Re: TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

#68
post #63

Earlier quoted context omitted.

It's like saying bacon is better than cheese. I totally get why some people would feel that way, but it's far from a universal feeling. Tastes are just subjective.

I think most folks would agree that Rust is an "acquired" taste. You need to kneel to the borrow-checker and develop something like a Stockholm syndrome before you find the language delicious.

I'd guess that in 99% of cases, if the borrow checker is a problem for you in Rust then you are likely not ready yet for C or Zig, particularly when you need to work in a team where mainatainability by others is critical.

There are some cases the borrow checker requires you to go through hoops for but I see that as a win for adding friction and raising visibility of weird patterns.

And yes, there are cases that can't be expressed the same way,

Re: TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

#69
post #55

Is Synadia related to Shazam? The logo is pretty much the same.

I opened Shazam so I could look at the logos side-by-side, and it is indeed pretty odd how alike they are. Even the angle of the shapes is virtually the same.

It’s a little OT, but interesting nonetheless.

Re: TigerBeetle and Synadia pledge $512k to the Zig Software Foundation

#70
post #46

The reason for not choosing Rust still doesn't make any sense to me. If you don’t want to OOM, need correctness, are following the power of ten (where you aren’t allocating anyways), I don’t see the conflict or harm of additional enforced correctness. Also, Rust does support checked arithmetic and has stable toolchains.

There's a change in the tradeoffs in the above scenario:

- you still get extra benefit from Rust, but the magnitude of the benefit is reduced (e.g., no UAF without F).

- you still get extra drawbacks from Rust, but the magnitude of drawbacks is increased, as Rust generally punishes you for not allocating (boxing is a common escape hatch to avoid complex lifetimes).

Just how much tradeoff is shifted is hard to qualify unambiguously, but, from my PoV (Rust since 2015, TB/Zig since late 2022), Zig was and is the right choice in this context.

Post reply on HN