Lernen Sie Ghillie kennen — ein privater Assistent mit einer Fabrik im Hintergrund.
Ghillie ist ein persönlicher Assistent, der auf Ihrem eigenen Computer läuft. Er öffnet dem Internet keine Türen, sendet ohne Ihre Zustimmung nichts irgendwohin, und jede Entscheidung, die zählt, folgt einer Regel, die als korrekt bewiesen wurde — mit Mathematik, von einer Maschine geprüft, nicht nach jemandes Meinung. Er ist kostenlos, und seine Funktionsweise liegt offen für jeden, der sie lesen möchte.
Hinter ihm steht unsere Softwarefabrik in South Shields. Die Fabrik ist es, wodurch Ghillie wächst.
Wie Ghillie wächst
Ghillie erhält neue Fähigkeiten als Erweiterungen, und die Fabrik stellt sie her. Jede kommt als Quellcode mit angehängtem Beweis an, und Ihr Rechner prüft den Beweis erneut, bevor etwas installiert wird — was sich nicht beweisen lässt, läuft nicht. Er schreibt sich nie selbst um: Seine Fähigkeiten wachsen, seine Befugnisse nie.
Hier kommt der Teil, den wir für den wichtigsten halten. Mit Ihrer Zustimmung, die Sie im Voraus geben und jederzeit widerrufen können, kann Ghillie bemerken, was ihm fehlt — eine Regel, die er gebraucht hätte und nicht hatte —, und diese Verbesserung selbst bei der Fabrik in Auftrag geben. Ein Assistent, der besser darin wird, Ihnen zu helfen, zu Ihren Bedingungen, wobei jede Verbesserung bewiesen wird, bevor sie läuft. Ohne diese Zustimmung sagt er Ihnen einfach, was ihm fehlt, und die Entscheidung bleibt dort, wo sie hingehört: bei Ihnen.
Ghillie herunterladen — kostenlos, Open Source (AGPL-3.0), für Windows, Mac und Linux, mit Prüfsummen. Oder starten Sie bei thereef.ink — dort sind auch die Mitglieder zu Hause, die mitbestimmen, was als Nächstes gebaut wird.
Warum das wichtig ist
Die meisten Angriffe knacken kein raffiniertes Schloss, sie kommen durch einen gewöhnlichen Fehler in gewöhnlicher Software herein. Das ist die Schwachstelle, der wir nachgehen — ein Fehler, der nicht passieren kann, kann nicht gegen Sie verwendet werden.
Dieser Standard war früher nur für Luftfahrt und Verteidigung, weil es Spezialisten Jahre kostete und sonst niemand die Kosten rechtfertigen konnte. Heute erledigen Maschinen diese Arbeit, sodass dieselbe Behandlung auch der Software zugutekommen kann, die ein Krankenhaus, eine Bank, eine Kommune oder eine Fabrikhalle betreibt — und dem Assistenten auf Ihrem eigenen Schreibtisch.
Über Ghillie hinaus
Die Fabrik arbeitet auch nach Auftrag, an Software, die nichts mit Ghillie zu tun hat. Zwei Arten von Arbeit: Wir bauen neue Software nach Ihrer Beschreibung, und wir bringen Software in Ordnung, auf die Sie bereits angewiesen sind — einschließlich des alten Systems, das niemand anfassen will. Für beides gilt dieselbe Regel: beweisen, was sich beweisen lässt, testen, was sich nicht beweisen lässt, und sagen, welches von beidem es ist. Um ehrlich zu sein — vor dieser Fabrik hätte ich Ihnen gesagt, Mathematik auf Software klingt akademisch. Das ist sie nicht. Es ist der Unterschied zwischen Hoffen und Wissen.
Wir veröffentlichen unsere Fehlschläge neben unseren Erfolgen — die meisten Unternehmen tun das nicht, was zur Hälfte der Grund ist, warum wir es tun. Wenn Ihre Software Konsequenzen hat, wenn sie versagt, sprechen Sie mit uns.
Beweise brauchten früher einen Mathematiker. Jetzt braucht es einen Satz.