満たすべきこと
Contract K（契約）は、ソフトウェアが満たすべき観測可能な条件を記述します。
Atoについて
計算を保存し、続きから再開できるように。
Atoは、互換性のある実行環境で作業を続けられるよう、計算の続きの地点を保存する方法を探求しています。検証可能で移転可能なソフトウェアのためのオープンソースのランタイムと計算モデルです。
私たちのビジョン: 人とコンピューティングのより良いインターフェース。
Capsule封じられた続きの地点
実行経路A再開する
実行経路B再開する
Ato
オープンソースのランタイムと計算モデル
ato.run
Atoを基盤に、ソフトウェアを見つけ、試し、保存し、共有するプラットフォーム
なぜAtoか
作業を毎回やり直さなくていい。
ソフトウェアの実行は、プロセス、マシン、環境に強く結びつきがちです。共有や再開のたびに、コンテキスト、依存関係、状態を再構築する必要があります。Atoは、計算を続けられる地点を保存する方法を探求しています。
Capsuleとは？
Capsuleは、封じられ、不変で、アドレス可能な「計算の続きの地点」です。Runはその地点から再開し、変化していきます。コンテナやVM、スナップショットは実現手段にはなりますが、その同一性を定義するものではありません。
技術モデル
ひとつの契約、 さまざまな実現方法。
Atoは、ソフトウェアが満たすべき条件と、それを実現する方法を分離します。人にもAIエージェントにも実行環境がより明確になります。
実現する方法
Derivation D（導出）は、その条件を満たすひとつの方法を記述します。
実際に起きたこと
検証レシートは、選ばれた経路と実際の観測結果を記録します。
同じ契約に対して異なる経路を検討できます。これは、あらゆる環境でソフトウェアが動くことを保証するものではありません。
今すぐ試す
動くものから始めよう。
2048は、公開ソフトウェアをato.runで見つけて実行できる例です。開発者はCLIをビルドし、別の静的サンプルで検証レシートを確認することもできます。
利用可能性は、宣言された経路、権限、ホスト環境によって異なります。
開発状況
構築しながら探求しています。
Atoは実験的な段階です。
現在利用可能
ato.runで公開ソフトウェアを閲覧・試用できます。CLIをビルドして静的サンプルを実行できます。
開発中
ポータブルアプリケーションの契約と実行経路をまたぐ検証は開発中です。
研究テーマ
異なるホスト間での汎用的な復元、プロセスメモリの復元、AIによる自律的なFormationは、まだ一般的に利用できる機能ではありません。
オープンソースと連絡先
話しましょう。
AtoはKohsuke Egami（江上広介）が開発し、日本での個人事業者としてato.runを運営しています。技術的な交流を歓迎します。