Ghillieをご紹介します——背後に工場を持つ、プライベートアシスタントです。

Ghillieが成長するしくみ

Ghillieは拡張機能として新しい能力を獲得し、それらは工場が作ります。 各拡張機能は証明を添えたソースコードとして届き、インストールされる 前にあなたの機械がその証明を再検証します——証明できないものは 動作しません。Ghillieが自分自身を書き換えることはありません。 能力は増えても、権限が増えることはありません。

私たちが最も重要だと考えている部分はここです。あらかじめ与えられ、 いつでも撤回できるあなたの同意があれば、Ghillieは自分に何が 欠けているか——必要だったのに持っていなかったルール——に気づき、 その改善を工場に自分で発注できます。あなたの助けになる力を、 あなたの条件のもとで高めていくアシスタントです。どの改善も、 動作する前に証明されます。その同意がなければ、Ghillieはただ何が 足りないかをあなたに伝えるだけで、決定は本来あるべき場所—— あなた自身——にとどまります。

Ghillieを ダウンロード——無料・オープンソース(AGPL-3.0)、Windows・Mac・Linux 対応、チェックサム付きです。あるいはthereef.ink から始めてください——次に何を作るかを決めるメンバーたちが集まる 場所でもあります。

なぜこれが重要か

ほとんどの攻撃は、巧妙な錠前をこじ開けるのではなく、ごく普通の ソフトウェアにあるごく普通のミスから侵入してきます。私たちが 狙うのはその弱点です——起こりえないミスは、あなたに 対して悪用されようがありません。

この水準はかつて、航空機や防衛分野だけのものでした。専門家が 何年もかけて取り組む必要があり、それ以外の分野ではコストを 正当化できなかったからです。今ではこの作業を機械が行うため、 病院や銀行、自治体、工場の現場を動かすソフトウェア——そして あなたの机の上にあるアシスタント——にも、同じ処置を施すことが できます。

Ghillieの先に

この工場は、Ghillieとは関係のないソフトウェアについても、ご依頼に 応じて仕事を請け負います。仕事は二種類です。ご説明いただいた 仕様どおりに新しいソフトウェアを作ること、そして、すでに 依存している——誰も触りたがらない古いシステムを含む—— ソフトウェアを立て直すことです。どちらも同じルールに従います。 証明できるものは証明し、できないものはテストし、どちらであるかを 明示します。正直に言うと、この工場に関わる前の私なら、 ソフトウェアに数学を使うなど学術的な話だと言っていたでしょう。 しかし違います。それは、望みを託すことと、確かに知っていることの 違いです。

私たちは失敗を成功と並べて公開しています——ほとんどの会社は そうしませんが、それも私たちがそうする理由の半分です。あなたの ソフトウェアが誤動作したときに結果が伴うのなら、 私たちにご相談ください。

かつて証明には数学者が必要でした。今必要なのは、一文だけです。