SynadiaとTigerBeetleがZigソフトウェア財団に51万2000ドルを寄付

212日前原文(synadia.com)

概要

Synadia と TigerBeetle が Zig Software Foundation (ZSF) へ合計51万2千ドルを2年間で寄付
Zig言語の 高性能・信頼性・保守性 への期待を示す連携
Synadiaは NATS.io 基盤の分散通信技術企業
TigerBeetleは 金融取引向けデータベース 開発企業
Zigコミュニティ・ZSFの今後の発展支援

SynadiaとTigerBeetleによるZig Software Foundation支援

Synadia と TigerBeetle が2年間で合計 51万2千ドル を Zig Software Foundation (ZSF) へ寄付
Zig言語 の将来性と、次世代の高性能・信頼性・保守性の高いソフトウェア創出への期待
両社の連携による Zigコミュニティ の成長支援

Synadiaのミッションと技術

Synadiaは世界有数の大企業向けに クラウド・エッジ間の分散アーキテクチャ を設計・拡張
「 分散型神経系」と称される セキュアかつ信頼性の高い通信基盤 の提供
NATS.io 上に構築されたプラットフォームで、 マイクロサービス・ストリーミング・テレメトリ・イベントソーシング 等をサポート
- Key-Valueストア・オブジェクトストア 等の最新データプリミティブを活用可能
金融・EC・ゲーム・製造・IoT・自動車・エネルギー・AI等、幅広い業界で採用実績

TigerBeetleと「TigerStyle」哲学

TigerBeetle は 金融取引データベース 開発企業
創業者 Joran Dirk Greef による「 TigerStyle」哲学
- 正確性・明確性・信頼性 を重視
Synadiaも 小規模・高効率・決定論的な産業グレードソリューション を志向
両社とも 予測可能性・シンプルさ・設計段階での信頼性 を重視

Zigコミュニティへの支援と展望

Andrew Kelley （ZSF創設者・代表）への賛辞と支援表明
Zig によるシステムソフトウェアの進化と、開発者へのインスピレーション
TigerBeetle・Synadia両CEOによるZig Foundationへの連携コメント

Zig Software Foundationの概要

Zig Software Foundation (ZSF) は Zig言語 の開発・普及を目的とした非営利団体
高性能・信頼性・保守性 を兼ね備えたプログラミング言語Zig
Andrew Kelley 主導の開発体制
システム・組み込み・高性能アプリケーション分野での採用拡大

Synadiaの企業紹介

Synadia Communications, Inc. は Synadia Platform の開発元
NATS.io エコシステムのメンテナー
クラウド・エッジ・オンプレミス 環境でのセキュアなゼロトラスト通信基盤を提供
金融・製造・自動車・エネルギー・AI分野の ミッションクリティカルシステム を支援

TigerBeetleの企業紹介

TigerBeetle は 金融取引データベース の開発企業
今後30年を見据えた ミッションクリティカルな安全性・性能 を実現する設計方針

Hackerたちの意見

TigerBeetleの素晴らしいブログ - https://tigerbeetle.com/blog/2025-10-25-synadia-and-tigerbee...

└

デレク、ありがとう！一緒にやれて楽しかったよ。

└

みんなZig使ってるの？NATSは大好きなんだけど。

└

「私たちは、1,000の専用CPUコアを24時間365日稼働させるファジングフリートを運営しています。」それ、すごいね。

└

Rustを選ばない理由が未だに理解できない。OOMを避けたいなら、正確性が必要だし、パワーオブテンに従っているなら（そもそもメモリを割り当ててないし）、追加の正確性を強制することに対して矛盾や害は感じないよ。それに、Rustはチェック付きの算術もサポートしてるし、安定したツールチェーンもあるからね。

各社が今後2年間、月々256,000ドルを寄付し、SynadiaがTigerBeetleにマッチングして合計512,000ドルになる。なんで2年もかかるの？VC投資みたいに、一括で前払いすれば、そのお金で早く動けると思うんだけど（早く適切な人を雇ったりとか）。こういうプロジェクトって、将来の資金に依存せずに収入の予測可能性を重視してるのかな。

└

資産の展開には常に負担があるよね。

└

スローはスムーズ。スムーズは速い。

└

ほとんどのビジネスは、キャッシュフローが楽になるので、月ごとの支払いを好みます。

└

これは寄付であって、VC的な投資ではないです。

└

彼らの月々のキャッシュフローから予算が組まれていると思います。キャッシュのリザーブから出ているわけではないでしょう。 > 一括で前払いすれば、そのお金で早く動けると思います（適切な人を早く雇うなど）。一方で、月々の支払いだと、最初に過剰に支出する可能性が低くなります。もし彼らが月2回の給料を支払う人を雇うなら、前払いでもあまり違いはないでしょう。将来の寄付が増えるという予測に基づいて雇いたい場合はリスクが高いです。

NATSってGoで書かれてないの？それともZigに切り替える前触れ？

└

いろんな言語でクライアントがいるよ。でもZigのリポジトリはまだただのプレースホルダーだね。Rustみたいに、言語ごとにベアボーンのサーバーもあるけど、ほとんどはテスト用だと思う。

本当のプログラマーなら524,288ドル寄付してたはず。でも、まあそれでもいいニュースだね。

└

直感的に2進数で考えない人のために、2¹⁹バイト、つまり512KiBです。

ミッションクリティカルなアプリケーション向けの高信頼性自動化ソフトウェアを開発するために、どのエコシステムとプログラミング言語を使うかを評価した結果、Rust、Zig、Ada/SPARKを検討しました。Rustは大企業からのサポートがあり、情熱的な開発者コミュニティも存在し、いくつかの重要な組織にも採用されていますが、サイバー物理システムには使われていませんでした。それに、楽しさからRustを離れてZigに移る開発者もいるのが興味深いです。私たちのソフトウェアは、機械を制御したり、人や機械との密接な連携を行ったりします。Rustはこれらの分野での実績がなく、形式的検証をカバーするエコシステムも不足しています。Zigも考慮しましたが、Rustよりも新しく、Rustと同じような欠点がありました。SPARKは比較的新しいプログラミング言語で、Adaのサブセットですが、高信頼性のミッションクリティカルなアプリケーションや形式的検証ツールに実績があります。人間のレビューと合わせて、政府の最新の要求に応えるための最強の選択肢です。言語は冗長ですが、学びやすく使いやすいです。Zigは素晴らしい第二の選択肢だと思っていて、RustとZigの将来が楽しみです。アンドリューが始めてからZigが進展しているのを見るのは嬉しいです。アンドリューとこのプロジェクトを進めているチームにおめでとうと言いたいです！

└

これを見るのは面白いですね。少し前にAda 2012の本を買いました。特にSparkに関してはすごく面白いです。ただ、商用コンパイラを使うときのライセンスモデルにはいつも不安がありました。これって、ずっとSparkに縛られることになるんですか？

└

楽しさからRustを離れてZigに移る人がいる。みんなは何がもっと楽しいと思ってるの？

それってフルタイムの開発者の1年分の給料だね。

└

いや、違うよ。

└

どこで年収512kドルの仕事がもらえるの？

└

もっと1ヶ月くらいかな。優秀な人なら1週間、10倍の開発者なら1日で済むかも。最近じゃ、HRTやJane Streetのインターンの1時間分にも満たないし、有名なAIラボのCluelyの人なら数秒分くらいだね。

└

500kで5年働くよ。

└

彼らの財務報告によると、Zig Foundationは貢献者に時給60ドルを支払っていて、2024年には唯一の従業員（アンドリュー・ケリー）に154Kドルを使ったみたい。だから、開発に3〜4年以上かかってるってことだね。（それに、その154Kドルには、通常給与に含まれないような大きな雇用者負担が含まれてるかもしれない。例えば、医療費とか。） https://ziglang.org/news/2025-financials/

Zigに移動しよう。すべてのZigを外そう。

SynadiaってShazamと関係あるの？ロゴがほぼ同じなんだけど。

Synadiaが何をしてるのか全然理解できなくて、めっちゃ苦戦してる。マーケティングサイトを見てるのがイライラする経験だわ。数分経ってもまだ何なのか分からない。NATSって何？編集: NATS.IOが何かググらなきゃいけなかった。マーケティングサイトがほんとに役に立たない。お願いだから、こんなのやめようよ。編集: フッターの一番下に「NATSとKafkaを比較する」って書いてあって、そのページに行くと、ホワイトペーパーをダウンロードするためにメールアドレスや名前、メッセージを入力しなきゃいけなかった。怒りで机をひっくり返しちゃったよ。

ハクソク