تعرّف على Ghillie — مساعد شخصي خاص، وخلفه مصنع.

كيف ينمو Ghillie

يكتسب Ghillie قدرات جديدة في صورة إضافات، والمصنع هو من يصنعها. تصل كل إضافة في صورة شيفرة مصدرية مرفق بها برهانها، ويعيد جهازك التحقق من البرهان قبل أي تثبيت — وما لا يُبرهن عليه، لا يعمل. هو لا يعيد كتابة نفسه أبدًا: قدراته ترتفع، وصلاحياته لا ترتفع أبدًا.

وهنا الجزء الذي نراه الأهم. بموافقتك، الممنوحة مسبقًا ولك سحبها متى شئت، يستطيع Ghillie أن يلاحظ ما ينقصه — قاعدة احتاجها ولم تكن لديه — وأن يطلب بنفسه هذا التحسين من المصنع. مساعد يزداد قدرة على مساعدتك، وفق شروطك أنت، وكل تحسين يُبرهن عليه قبل أن يعمل. وبدون تلك الموافقة، فإنه يكتفي بإخبارك بما ينقصه، ويبقى القرار حيث ينبغي أن يكون: بين يديك.

حمّل Ghillie — مجاني ومفتوح المصدر (AGPL-3.0)، لأنظمة Windows وMac وLinux، مع المجاميع الاختبارية. أو ابدأ من thereef.ink — حيث يجتمع أيضًا الأعضاء الذين يوجّهون ما سيُبنى تاليًا.

لماذا هذا مهم

معظم الهجمات لا تفتح قفلًا محكمًا، بل تدخل عبر خطأ عادي في برمجيات عادية. هذا هو الضعف الذي نستهدفه — الخطأ الذي لا يمكن أن يقع لا يمكن استخدامه ضدك.

كان هذا المعيار مقصورًا على الطيران والدفاع فقط، لأنه كان يستغرق من المتخصصين سنوات ولم يكن أحد غيرهم يستطيع تبرير تكلفته. أما الآن فالآلات تقوم بهذا العمل، فيمكن تطبيق المعاملة نفسها على البرمجيات التي تُشغّل مستشفى أو بنكًا أو مجلسًا بلديًا أو خط إنتاج مصنع — وعلى المساعد الجالس على مكتبك.

ما وراء Ghillie

يعمل المصنع أيضًا حسب الطلب، على برمجيات لا علاقة لها بـ Ghillie. نوعان من العمل: نبني برمجيات جديدة وفق وصفك، ونصلح برمجيات تعتمد عليها بالفعل — بما في ذلك النظام القديم الذي لا يريد أحد الاقتراب منه. القاعدة نفسها للاثنين: نُبرهن على ما يمكن البرهنة عليه، ونختبر ما لا يمكن، ونوضح أيهما أيهما. سأكون صريحًا — قبل هذا المصنع كنت سأقول لك إن تطبيق الرياضيات على البرمجيات يبدو أكاديميًا. لكنه ليس كذلك. إنه الفرق بين الأمل والمعرفة.

ننشر إخفاقاتنا إلى جانب نجاحاتنا — معظم الشركات لا تفعل ذلك، وهذا نصف السبب في أننا نفعله. إذا كانت لبرمجياتك عواقب حين تفشل، تحدّث إلينا.

البرهان كان يحتاج إلى عالم رياضيات. الآن يحتاج إلى جملة واحدة.