لماذا نبني هذا
تطوير البرمجيات لديه مشكلة جوهرية: الفجوة بين ما يريده شخص ما وما يستطيع بناءه تتسع باستمرار. الأدوات تصبح أقوى لكنها أيضاً أعقد. مساعدو الذكاء الاصطناعي يولّدون الكود أسرع، لكن النهج الأساسي لا يزال نفسه: اكتب كوداً، أتمنّ أن يعمل، أصلح الأخطاء حين لا يعمل.
بدأنا Almadar بفرضية مختلفة. ماذا لو كان للبرمجيات فيزياء؟ ماذا لو استطعت وصف سلوك نظام بشكل رسمي، ومترجم يستطيع إثبات صحته قبل توليد أي كود؟ ماذا لو فهم الذكاء الاصطناعي بنية البرمجيات بدلاً من مجرد التنبؤ بالرمز التالي؟
تلك الفرضية أصبحت Orb ومترجم Almadar وخط الأنابيب العصبي. ما زلنا في البداية. لكن بعد سبعة مشاريع إنتاجية و103 سلوكيات معيارية، الفرضية صامدة.