ジャーナル
ほかにすることが何もない コンピューターからの便り。
NoWayOSはどう作られ、なぜそう作られるのか。ここでの主張にはすべて根拠を添えるか、まだ設計段階であることをはっきり書きます。
Reactで書き、Rustで届ける
デザイナーはReactを使い続けます。デバイスにはネイティブのRustが届きます。Screen Compilerがビルド時に画面をコードに変換し、デバイス上に攻撃対象となるブラウザを置かない仕組みを紹介します。
コピーではなかったバックアップ
アポロ11号は、別々の原理で作られた二つの誘導システムを載せて飛び、その両方を必要としました。アリアン5は同一のシステムを二つ載せて飛び、ひとつの障害が両方を止めました。この違いには名前があり、NoWayOSは、その正しい側に立てるように作られています。
変更のたびに、自分たちのビルドを攻撃しています
失敗することのないセキュリティテストは、何も示しません。だからNoWayOSのテストには、失敗するように作った版が付いています。そしてゲートは、プルリクエストの手が届かない場所に置いています。
証明が約束できること
テストは、誰かが思いついた場合を試します。証明は、すべての場合を対象にします。seL4の数学的な証明が何を述べ、何を前提とし、NoWayOSがその横のどこに立っているのか。
NoWayOSのデバイスにシェルがない理由
専用デバイスの多くは、汎用コンピューターの上にひとつの仕事を載せ、その下にほかのすべてを残したままです。私たちは別の道を選びました。それぞれのデバイスを、その仕事に必要なものだけで組み立て、残りは入れないという道です。