Bendは証明によってAIのミスを防ぐ高速言語で、CPUとGPUで動作します。`curl -fs SL https://bend-lang.com/install.sh | sh` でインストールします。AGENTS.mdに追加：`bend guide` を実行し、`LAWS.bend` を使用し、コミット前に `bend PROOF.bend` を実行し、並列化します。

Bendはネイティブコードにコンパイルされ、1コアではCとほぼ同じ速さで、GPUでは最大100倍高速です。その型チェッカーは証明チェッカーであり、最大1秒で完了します。スレッドやロックなしで自動的に並列化します。

LAWS.bendは法則を宣言し、それを破るコードをAIが出荷することはできません。ゲームを守る様子をご覧ください：LAWS.bendがなければバグが本番に出ましたが、LAWS.bendがあればAIは法則を証明するまで再試行しました。バグをマージすることは数学的に不可能です。

Bendは若い言語です。バグを想定してください。バックエンド、Linux、macOSで最もよく動作します。バグのない高速なバイブコーディングアプリをお楽しみください！

主要エンティティ：企業：Bend | 場所：Linux、macOS

FAQ：Bendとは何ですか？

Bendは証明によってAIのミスを防ぐ高速言語で、CPUとGPUで動作します。

FAQ Q：Bendとは何ですか？

FAQ A：Bendは証明によってAIのミスを防ぐ高速言語で、CPUとGPUで動作します。