认识 Ghillie——一个背后有工厂支持的私人助手。
Ghillie 是一个运行在你自己电脑上的个人助手。他不为互联网开任何门， 未经你同意不会把任何东西发送到任何地方，而每一个重要的决定，都由 一条已被证明正确的规则来做出——用数学证明，由机器核验，不是凭谁 的意见。他是免费的，他的运作方式对任何人公开可读。
他身后是我们位于南希尔兹的软件工厂。这家工厂，就是 Ghillie 成长的方式。
Ghillie 如何成长
Ghillie 以扩展的形式获得新能力，而这些扩展由工厂制造。每一个扩展 都以源代码的形式送达，并附带其证明，你的机器会在安装前重新核验 这份证明——证不出来的，就不会运行。他从不改写自己：他的能力会 提升，他的权限永远不会。
这是我们认为最重要的部分。在你事先给予、且可随时撤回的同意下， Ghillie 能够察觉自己缺少什么——一条他需要却没有的规则——并亲自 向工厂订购这项改进。一个按你的条件、越用越懂得帮你的助手，每一 项改进在运行前都经过证明。没有这份同意，他只会告诉你他缺什么， 决定权始终留在它该在的地方：你手里。
下载 Ghillie——免费、开源（AGPL-3.0），支持 Windows、Mac 和 Linux， 并提供校验和。或者从 thereef.ink 开 始——那里也是决定接下来做什么的会员们所在之处。
为什么这很重要
大多数攻击并不是巧妙地撬开一把锁，而是径直穿过普通软件里一个普通 的错误走进来。这正是我们要对付的弱点——一个不可能发生的 错误，就不可能被用来对付你。
这套标准过去只用于航空和国防领域，因为它需要专家耗费数年时间， 其他任何人都难以承担这笔成本。如今机器来完成这项工作，于是同样 的处理方式也可以用在医院、银行、地方政府或工厂车间运行的软件上 ——也可以用在你自己桌上的这个助手身上。
Ghillie 之外
这家工厂也接受与 Ghillie 无关的软件定制委托。工作分两类：按你的 描述开发新软件，以及整顿你已经依赖的软件——包括那套没人愿意碰 的旧系统。两者遵循同一条规则：能证明的就证明，不能证明的就测试， 并说清楚哪个是哪个。说句实话——在有这家工厂之前，我会告诉你软件 上的数学证明听起来很学术。但事实并非如此。这是"抱着希望"和"确实 知道"之间的区别。
我们把失败和成功放在一起公开——大多数公司不这么做，这也是我们 这么做的一半原因。如果你的软件一旦出错就会有后果，联系我们。
证明过去需要一位数学家。现在，只需要一句话。