أنظمة آمنة.
ذكاء اصطناعي أصيل.
هندسة صادقة.
تبني Imortek برمجيات متخصّصة لمؤسسات لا تحلّ الأدوات العادية مشكلاتها — في الأمن والدفاع والحكومة والبحث. نظام تشغيل لمعدّات لا يمكن ترقيعها بسرعة. مُفكِّك برمجيات لملفات ثنائية لا يملك أحد مصدرها. بنية ذكاء اصطناعي مشتقّة من المبادئ الأولى لا ملفوفة حول نموذج شخص آخر. كل ادّعاء في هذا الموقع يسنده اختبار أو قياس مرجعي أو ملاحظة صادقة عمّا لا يعمل بعد.
github.com/odin-loki
جارٍ الاتصال…ParanoidBSD
توزيعة برمجيات بيركلي (BSD) مُحصَّنة، أُعيدت كتابتها بلغة C++23، مع نواة صلاحيات ومقابض فوق ما يشحنه HardenedBSD أصلًا — وKDE Plasma 6 على المكتب.
لا تزال لغة C، بلا أمان للذاكرة، هي الأساس الذي تعمل عليه أنظمة التشغيل كلها تقريبًا. يأخذ PBSD نظام HardenedBSD 15-STABLE بوصفه مواصفة سلوكية ويَنقله، ملفًّا ملفًّا، إلى وحدات C++23 — ثم يضيف نواة أمان يُوصَل فيها إلى كل مورد عبر مقبض لا يمكن تزويره، بدل فضاء أسماء عام محيط.
- نقل أمين، لا “تحسين”. شجرة HardenedBSD هي المواصفة. حتى العلل تُنقل كما هي، إلى أن يُسجَّل أي تغيير على حدة.
- لا شيء يُعدّ منجزًا قبل التحقّق منه. ما يُصرَّف فقط غير مُتحقَّق منه. التحقّق التفاضلي أو التحقّق عبر التمثيل الوسيط بوابةٌ على كل ملف.
- الأدوات الحتمية أولًا. تمرّ مراحل إعادة الكتابة الآمنة قبل أن يلمس أي نموذج الشيفرة — والنموذج لا يشهد لنفسه أبدًا.
- C++ نواة قائمة بذاتها.
-fno-exceptions -fno-rtti، مع واجهة تطبيقات ثنائية موثَّقة للنواة.
إعادة بناء توضيحية لمخرجات محرّك النقل. السجلات الحقيقية موجودة في docs/migration/.
سبعة أنظمة، ومعيار هندسي واحد
كل واحد منها مستودع حقيقي باختبارات حقيقية. وكل صفحة أدناه تحمل عرضًا تفاعليًّا يعمل فعلًا للفكرة التي تقوم عليها — داخل متصفحك، بلا تثبيت وبلا تسجيل.
ParanoidBSD
C · C++23 · نظام تشغيلHardenedBSD 15-STABLE منقولًا إلى وحدات C++23 مع نواة أمان بالصلاحيات والمقابض وKDE Plasma 6. تفاعلي: تتبّع نداء نظام وهو يعبر النواة.
افتح PBSDCypha
C++ · بنية ذكاء اصطناعينوع واحد يصنّف ويُجري الانحدار ويأخذ عيّنات من الفضاء الكامن ويولّد الرموز. مشتقّ من أولويات MDL والتدرّج الطبيعي وعنق الزجاجة المعلوماتي. تفاعلي: درّب مصنّفًا حيًّا بالنقر.
افتح CyphaRetDec Imortek
C++ · مُفكِّك برمجياتيستعيد الخوارزميات والأوليّات التعمية وأنماط التزامن وصيغ التسلسل — لا الشيفرة الوهمية وحدها. واجهة Qt 6، وتنقيح عصبي اختياري دون اتصال. تفاعلي: انتقل من البايتات إلى خوارزمية لها اسم.
افتح RetDec ImortekMathScript
C++23 · جبر حاسوبيجبر خطي، ودوال خاصة، ومعادلات تفاضلية عادية وجزئية وعناصر منتهية وديناميكا موائع حسابية، وتحسين، ومعالجة إشارات، ونظام جبر رمزي — مع LU/QR/SVD داخليًّا، بلا Eigen وبلا OpenBLAS. تفاعلي: ارسم واشتقّ مباشرة.
افتح MathScriptAEGIS
Rust · نقل مجهول الهويةيُخفي مَن يكلّم مَن، ومتى، وبأي حجم — في مواجهة خصم سلبي عالمي. شبكة Sphinx مختلطة بمعدّل ثابت، إضافة إلى مستوى نقل ضخم قابل للضبط. تفاعلي: شغّل هجوم الارتباط بنفسك.
افتح AEGISSENTINEL
C++23 · Qt 6 · تحليلات الجريمةنماذج بواسون وهوكس، وكشف السلاسل بخوارزمية DBSCAN، وبؤر ساخنة بتقدير الكثافة، وتنميط جغرافي بطريقة روسمو — وكل خيط قابل للتتبّع إلى سجلّه الأصلي. تفاعلي: ابنِ سطح بؤر ساخنة بالنقر.
افتح SENTINELCell AI
Python · نموذج تسلسلاتديناميكا تقسيم قائمة على التفاعل والانتشار، مع مرونة هيبية/BCM تعمل أثناء المرور الأمامي. موثّق بصدق، بما في ذلك الإخفاقات. تفاعلي: شغّل حقل التفاعل والانتشار.
افتح Cell AITRACE
C++23 · تتبع متعدد الأهدافهوية ثابتة من مشاهدات متفرقة — الوجود احتمال لا قيمة منطقية، فيبقى المسار حيًّا عبر الفجوة التي لا يراه فيها شيء. تفاعلي: المحرك نفسه، في WebAssembly.
افتح TRACEرفّ الأبحاث
أفكار · بحث وتطويرالتعمية، وذاكرة السياق الطويل، ومرشّحات التتبّع، ونظرية الحلقات فوق GF(2)، ونماذج الجاذبية الحقلية، وأدوات الكربيد، والاقتصاد الكلي للطاقة. هذا رفّ، لا كتالوج منتجات — وهذا ما يقوله عنوانه.
تصفّح الرفّالمعيار، مقولًا بوضوح
للبرمجيات المستقلة مشكلة مصداقية، وهي مشكلة مستحقّة في الغالب. هذه هي القواعد التي تخضع لها هذه المستودعات فعلًا — ويمكنك التحقق من كل واحدة منها في الشيفرة.
الترجمة الناجحة ليست إنجازًا
في PBSD، لا يُحتسب أي ملف منقول منجزًا قبل أن يجتاز التحقّق التفاضلي أو التحقّق على التمثيل الوسيط. وفي MathScript، الصحّة هي 816 مجموعة اختبار CTest في مواجهة مرجعيات مثبتة. وفي Cypha، الدليل هو التطابق مع تلك المرجعيات — لا رقم في لوحة تصنيف.
النماذج تسدّ الثغرات، ولا تشهد أبدًا
يُستخدَم الذكاء الاصطناعي حيث يستحق مكانه — نقل الملفات المستعصية، وتنقيح مخرجات المُفكِّك — ودائمًا بعد الأدوات الحتمية وقبل بوابة صارمة. الذي يقرّر هو فحوص الترجمة والمنقّحات والتشغيل التفاضلي ومقارنة التمثيل الوسيط، لا النموذج.
الحدود تُنشَر، لا تُدفَن
حيرة Cell AI أسوأ بمراتب من حيرة المحوّل، وملف README يقول ذلك. ويصرّح AEGIS بأن المخرج إلى الشبكة المكشوفة أضعف وأن تأخيرًا بعدة ثوانٍ أمر بنيوي. ومقياس F1 لخوارزميات RetDec دون أسماء هو 0.056، مطبوعًا إلى جوار الرقم 1.000 مع الأسماء. وهذا هو المقصود بالضبط.
القياس يغلب الحدس
بُني AEGIS على قاعدة واحدة: لا شيء منجز قبل أن تؤكّده محاكاة هجوم. وقد أخطأ الحدس بشأن تحليل حركة البيانات مرارًا أثناء التطوير؛ ومنصّة المحاكاة في sim/ هي سجلّ الأدلة خلف كل رقم في المواصفة.
ما تحرّك أحدث من غيره
مأخوذ من واجهة GitHub لحظة فتحك هذه الصفحة. إن كان الوضع هادئًا فهو هادئ — لا طبقة تسويق بينك وبين سجلّ الإيداعات.
دفعات حديثة
جارٍ التحميلمجاني لأغلب الناس. مدفوع حيث يُدرّ دخلًا.
كل ما تنشره Imortek متاح المصدر بموجب رخصة جنو أفيرو العمومية العامة الإصدار 3.0 أو ما بعده، مع ترخيص تجاري متعدد المستويات للمؤسسات التي تحتاج إلى إبقاء تعديلاتها خاصة.
- مجاني بموجب AGPL-3.0+ للاستخدام الشخصي والجمعيات الخيرية والتعليم وأي مؤسسة يقل دخلها السنوي عن 50,000 دولار أسترالي (AUD) في السنة.
- ترخيص تجاري فوق هذا الحد، بمستويات حسب الحجم، ودون أي التزام بنشر تعديلاتك.
- كل مستودع في الكتالوج يحمل هذه الشروط اليوم — ليست خطة، بل ما تقوله ملفات LICENSE.
/* In your about box, docs, or footer: */ "Powered by Ideas, developed by Odin Loch. Licensed under AGPL-3.0+."
بموجب AGPL عليك أيضًا إعادة مشاركة تعديلاتك بالترخيص المزدوج نفسه، وأي بحث يُبنى على هذا البرنامج يجب أن يُنشر مفتوح المصدر. والترخيص التجاري يرفع هذين الشرطين.
حملة PBSD على Kickstarter مفتوحة
النقل جارٍ. وما يحتاجه الآن هو أرصدة الذكاء الاصطناعي وقدرة الحوسبة اللازمة للتحقّق كي يكتمل. الهدف 10,000 دولار أسترالي، والحملة إمّا كل شيء أو لا شيء، وكل افتراض خلف هذا الرقم مبسوط وقابل للتعديل في صفحة الحملة.