Conoce a Ghillie — un asistente privado, con una fábrica detrás.
Ghillie es un asistente personal que se ejecuta en tu propia computadora. No abre ninguna puerta hacia internet, no envía nada a ningún sitio sin tu consentimiento, y cada decisión que importa la toma una regla cuya corrección ha sido demostrada — con matemáticas, verificadas por una máquina, no por la opinión de alguien. Es gratuito, y su funcionamiento está abierto para que cualquiera lo lea.
Detrás de él está nuestra fábrica de software en South Shields. Así es como crece Ghillie.
Cómo crece Ghillie
Ghillie adquiere nuevas capacidades en forma de extensiones, y es la fábrica quien las fabrica. Cada una llega como código fuente con su prueba adjunta, y tu máquina vuelve a verificar la prueba antes de instalar nada — lo que no se prueba, no se ejecuta. Nunca se reescribe a sí mismo: sus capacidades aumentan, su autoridad nunca.
Esta es la parte que consideramos más importante. Con tu consentimiento, otorgado de antemano y que puedes retirar en cualquier momento, Ghillie puede advertir lo que le falta — una regla que necesitaba y no tenía — y encargar él mismo esa mejora a la fábrica. Un asistente que mejora a la hora de ayudarte, en tus propios términos, con cada mejora demostrada antes de ejecutarse. Sin ese consentimiento, se limita a decirte lo que le falta, y la decisión permanece donde debe estar: contigo.
Descargar Ghillie — gratuito, de código abierto (AGPL-3.0), para Windows, Mac y Linux, con sumas de verificación. O empieza en thereef.ink — donde también viven los miembros que orientan lo que se construye a continuación.
Por qué importa
La mayoría de los ataques no fuerzan una cerradura ingeniosa, entran por un error corriente en un software corriente. Esa es la debilidad que perseguimos — un error que no puede ocurrir no puede usarse en tu contra.
Este estándar solía reservarse solo para la aviación y la defensa, porque llevaba años de trabajo a especialistas y nadie más podía justificar el coste. Ahora son las máquinas las que hacen ese trabajo, así que el mismo tratamiento puede aplicarse al software que hace funcionar un hospital, un banco, una administración local o una planta de producción — y al asistente que tienes en tu propio escritorio.
Más allá de Ghillie
La fábrica también trabaja por encargo, en software que no tiene nada que ver con Ghillie. Dos tipos de trabajo: construimos software nuevo según tu descripción, y ponemos en orden el software del que ya dependes — incluido ese sistema antiguo que nadie quiere tocar. La misma regla para ambos: probar lo que se puede probar, testear lo que no se puede, y decir claramente cuál es cuál. Seré sincero — antes de esta fábrica te habría dicho que las matemáticas aplicadas al software sonaban a algo académico. No lo es. Es la diferencia entre esperar y saber.
Publicamos nuestros fracasos junto a nuestros éxitos — la mayoría de las empresas no lo hace, y esa es la mitad de la razón por la que nosotros sí. Si tu software tiene consecuencias cuando falla, habla con nosotros.
Antes la prueba necesitaba un matemático. Ahora necesita una frase.