Ghillie — un assistant privé, avec une usine derrière lui.
Ghillie est un assistant personnel qui tourne sur votre propre ordinateur. Il n'ouvre aucune porte vers internet, n'envoie rien nulle part sans votre accord, et chaque décision qui compte est prise par une règle dont l'exactitude a été prouvée — par les mathématiques, vérifiées par une machine, et non par l'opinion de quelqu'un. Il est gratuit, et son fonctionnement est ouvert à la lecture de tous.
Derrière lui se trouve notre usine logicielle de South Shields. C'est par cette usine que Ghillie grandit.
Comment Ghillie grandit
Ghillie acquiert de nouvelles capacités sous forme d'extensions, et c'est l'usine qui les fabrique. Chacune arrive sous forme de code source accompagné de sa preuve, et votre machine revérifie cette preuve avant toute installation — ce qui n'est pas prouvé ne s'exécute pas. Il ne se réécrit jamais lui-même : ses capacités augmentent, son autorité jamais.
Voici la partie qui compte le plus à nos yeux. Avec votre consentement, donné à l'avance et que vous pouvez retirer à tout moment, Ghillie peut remarquer ce qui lui manque — une règle dont il avait besoin et qu'il n'avait pas — et commander lui-même cette amélioration à l'usine. Un assistant qui devient meilleur pour vous aider, selon vos conditions, chaque amélioration étant prouvée avant son exécution. Sans ce consentement, il se contente de vous dire ce qui lui manque, et la décision reste là où elle doit être : avec vous.
Télécharger Ghillie — gratuit, open source (AGPL-3.0), pour Windows, Mac et Linux, avec sommes de contrôle. Ou commencez sur thereef.ink — là où vivent aussi les membres qui orientent ce qui sera construit ensuite.
Pourquoi c'est important
La plupart des attaques ne forcent pas une serrure sophistiquée, elles entrent par une erreur ordinaire dans un logiciel ordinaire. C'est cette faiblesse que nous visons — une erreur qui ne peut pas se produire ne peut pas être utilisée contre vous.
Ce niveau d'exigence était autrefois réservé à l'aéronautique et à la défense, parce qu'il fallait des années à des spécialistes et que personne d'autre ne pouvait en justifier le coût. Ce travail, ce sont désormais des machines qui le font, si bien que le même traitement peut s'appliquer au logiciel qui fait tourner un hôpital, une banque, une mairie ou un atelier de production — et à l'assistant posé sur votre propre bureau.
Au-delà de Ghillie
L'usine travaille aussi sur commande, sur des logiciels qui n'ont rien à voir avec Ghillie. Deux types de travail : nous construisons des logiciels neufs selon votre description, et nous remettons en ordre les logiciels dont vous dépendez déjà — y compris le vieux système que personne ne veut toucher. Même règle pour les deux : prouver ce qui peut l'être, tester ce qui ne peut pas l'être, et dire clairement lequel est lequel. Je vais être honnête — avant cette usine, je vous aurais dit que les mathématiques appliquées au logiciel semblaient académiques. Ce n'est pas le cas. C'est la différence entre espérer et savoir.
Nous publions nos échecs à côté de nos réussites — la plupart des entreprises ne le font pas, ce qui explique en partie pourquoi nous le faisons. Si votre logiciel a des conséquences quand il tombe en panne, parlez-nous.
Autrefois, la preuve exigeait un mathématicien. Aujourd'hui, il suffit d'une phrase.