محفوظ نظام۔
اپنی مصنوعی ذہانت۔
ایمان دار انجینئرنگ۔
Imortek ایسے اداروں کے لیے خصوصی سافٹ ویئر بناتا ہے جن کے مسائل عام اوزار حل نہیں کر پاتے — سلامتی، دفاع، حکومت اور تحقیق میں۔ ایسے آلات کے لیے آپریٹنگ سسٹم جنہیں جلدی پیچ نہیں کیا جا سکتا۔ ایسی بائنریوں کے لیے ڈی کمپائلر جن کا سورس کسی کے پاس نہیں۔ مصنوعی ذہانت (AI) کا ایسا ڈھانچہ جو کسی اور کے ماڈل کے گرد لپیٹنے کے بجائے بنیادی اصولوں سے اخذ کیا گیا ہے۔ اس سائٹ کا ہر دعویٰ کسی ٹیسٹ، کسی بینچ مارک، یا اس ایمان دار اعتراف پر کھڑا ہے کہ ابھی کیا کام نہیں کرتا۔
github.com/odin-loki
رابطہ ہو رہا ہے…ParanoidBSD
ایک سخت کیا ہوا BSD، جسے C++23 میں دوبارہ لکھا گیا، اور جس میں HardenedBSD کی موجودہ فراہمی کے اوپر اختیارات اور ہینڈل کا مرکزہ بیٹھا ہے — اور میز پر KDE Plasma 6۔
آج بھی تقریباً ہر آپریٹنگ سسٹم کی بنیاد C ہے، جو یادداشت کے لحاظ سے محفوظ نہیں۔ PBSD، HardenedBSD 15-STABLE کو طرزِ عمل کی تفصیل مان کر اسے فائل بہ فائل C++23 ماڈیولز میں منتقل کرتا ہے — اور پھر ایک حفاظتی مرکزہ شامل کرتا ہے، جہاں ہر وسیلے تک رسائی کسی عمومی عالمی نام گاہ سے نہیں بلکہ ایک ناقابلِ جعل ہینڈل سے ہوتی ہے۔
- وفاداری سے منتقل کیا گیا، “بہتر” نہیں کیا گیا۔ HardenedBSD کا کوڈ درخت ہی تفصیل ہے۔ خرابیاں بھی منتقل ہوتی ہیں، جب تک کوئی تبدیلی الگ سے درج نہ کر دی جائے۔
- جب تک تصدیق نہ ہو، کچھ مکمل نہیں۔ صرف کمپائل ہو جانا تصدیق نہیں۔ ہر فائل تفریقی یا IR کی تصدیق سے گزرتی ہے۔
- پہلے یقینی اوزار۔ محفوظ بازنویسی کے مراحل کسی ماڈل کے کوڈ چھونے سے پہلے چلتے ہیں — اور ماڈل کبھی اپنی سند خود نہیں دیتا۔
- آزاد کرنل C++۔
-fno-exceptions -fno-rtti، ساتھ ایک دستاویزی کرنل ABI۔
منتقلی کے انجن کی پیداوار کی وضاحتی تشکیلِ نو۔ اصل لاگ یہاں ہیں docs/migration/.
سات نظام، ایک ہی انجینئرنگ معیار
ان میں سے ہر ایک اصل ٹیسٹوں والی اصل ریپازٹری ہے۔ نیچے کا ہر صفحہ اپنے پیچھے کے تصور کا ایک چلتا ہوا، تعامل پذیر مظاہرہ ساتھ لاتا ہے — آپ کے براؤزر ہی میں، نہ انسٹال، نہ سائن اپ۔
ParanoidBSD
C · C++23 · آپریٹنگ سسٹمHardenedBSD 15-STABLE کو C++23 ماڈیولز میں منتقل کیا گیا، ساتھ اختیارات/ہینڈل حفاظتی مرکزہ اور KDE Plasma 6۔ تعامل پذیر: ایک سسٹم کال کو مرکزے سے گزرتے دیکھیں۔
PBSD کھولیںCypha
C++ · AI ڈھانچہایک ہی قسم جو درجہ بندی کرتی ہے، ریگریشن کرتی ہے، پوشیدہ متغیرات سے نمونے لیتی ہے اور ٹوکن بناتی ہے۔ MDL مفروضات، قدرتی گریڈیئنٹ اور معلوماتی تنگنائے سے اخذ شدہ۔ تعامل پذیر: کلک کر کے ایک کلاسیفائر براہِ راست تربیت دیں۔
Cypha کھولیںRetDec Imortek
C++ · ڈی کمپائلرالگورتھم، خفیہ کاری کی بنیادی اکائیاں، ہم وقتی کے نمونے اور سیریلائزیشن کی صورتیں واپس نکالتا ہے — صرف سیوڈو کوڈ نہیں۔ Qt 6 انٹرفیس، اختیاری آف لائن نیورل تطہیر۔ تعامل پذیر: بائٹس سے ایک بانام الگورتھم تک پہنچیں۔
RetDec Imortek کھولیںMathScript
C++23 · کمپیوٹر الجبرالکیری الجبرا، خصوصی توابع، ODE/PDE/FEM/CFD، بہتری، اشاروں کی پروسیسنگ اور ایک علامتی CAS — LU/QR/SVD اپنے ہی، نہ Eigen، نہ OpenBLAS۔ تعامل پذیر: براہِ راست خاکہ بنائیں اور تفرق کریں۔
MathScript کھولیںAEGIS
Rust · گمنام ٹرانسپورٹچھپاتا ہے کہ کون کس سے بات کرتا ہے، کب اور کتنی — ایک عالمی غیر فعال حریف کے سامنے۔ مستقل شرح والا Sphinx مکس نیٹ، ساتھ ایک قابلِ تنظیم بلک تہہ۔ تعامل پذیر: باہمی تعلق کا حملہ خود چلائیں۔
AEGIS کھولیںSENTINEL
C++23 · Qt 6 · جرائم کا تجزیہپوئساں اور ہاکس ماڈل، DBSCAN سے سلسلہ وار جرائم کی شناخت، KDE ہاٹ اسپاٹ اور روسمو جغرافیائی پروفائلنگ — ہر سراغ اپنی اصل دستاویز تک قابلِ تلاش۔ تعامل پذیر: کلک کر کے ایک ہاٹ اسپاٹ سطح بنائیں۔
SENTINEL کھولیںCell AI
Python · سلسلہ ماڈلعمل و انتشار پر مبنی تقسیم کی حرکیات، جس میں ہیبی/BCM لچک آگے کے گزر کے دوران چلتی ہے۔ ایمان داری سے دستاویزی، ناکامیوں سمیت۔ تعامل پذیر: عمل و انتشار کا میدان چلائیں۔
Cell AI کھولیںTRACE
C++23 · کثیر ہدف ٹریکنگبکھری جھلکیوں سے مستقل شناخت — وجود ایک احتمال ہے، بولین نہیں، اس لیے ٹریک اُس وقفے سے بچ نکلتا ہے جہاں اُسے کوئی نہیں دیکھ سکتا۔ انٹرایکٹو: انجن خود، WebAssembly میں۔
TRACE کھولیںتحقیق کا ذخیرہ
خیالات · تحقیق و ترقیخفیہ نگاری، طویل سیاق کی یادداشت، تعاقبی فلٹر، GF(2) حلقہ نظریہ، میدانی ثقل کے ماڈل، کاربائیڈ اوزار، توانائی کی کلی معاشیات۔ یہ ایک ذخیرہ ہے، مصنوعات کی فہرست نہیں — اور لیبل بھی یہی کہتا ہے۔
ذخیرہ دیکھیںمعیار، سیدھے لفظوں میں
آزاد سافٹ ویئر کا ساکھ کا مسئلہ ہے، اور عموماً وہ کمایا ہوا ہوتا ہے۔ یہ وہ اصول ہیں جن کے یہ ریپازٹریز واقعی پابند ہیں — ہر ایک کو آپ سورس میں پرکھ سکتے ہیں۔
کمپائل ہو جانا مکمل ہونا نہیں
PBSD میں کوئی منتقل شدہ فائل اس وقت تک مکمل شمار نہیں ہوتی جب تک تفریقی یا IR تصدیق نہ گزر جائے۔ MathScript میں درستی کا مطلب ہے محفوظ معیاری نتائج کے مقابل 816 CTest سوٹ۔ Cypha میں ثبوت ان معیاری نتائج سے مطابقت ہے — کسی درجہ بندی کا عدد نہیں۔
ماڈل خلا پُر کرتے ہیں؛ سند کبھی نہیں دیتے
AI وہیں استعمال ہوتی ہے جہاں وہ اپنی جگہ کماتی ہے — اڑی ہوئی فائلیں منتقل کرنا، ڈی کمپائلر کی پیداوار سنوارنا — اور ہمیشہ یقینی اوزاروں کے بعد اور ایک سخت پھاٹک سے پہلے۔ فیصلہ کمپائل جانچ، سینیٹائزر، تفریقی اجرا اور IR موازنہ کرتے ہیں، ماڈل نہیں۔
حدود شائع کی جاتی ہیں، دبائی نہیں جاتیں
Cell AI کی پرپلیکسٹی ٹرانسفارمر سے کئی درجے خراب ہے، اور اس کا README یہی کہتا ہے۔ AEGIS صاف کہتا ہے کہ کھلے نیٹ پر خروج کمزور ہے اور کئی سیکنڈ کی تاخیر ساخت ہی میں ہے۔ RetDec کا بے نام الگورتھم F1 0.056 ہے، جو بانام 1.000 کے ٹھیک ساتھ چھپا ہے۔ نکتہ یہی ہے۔
پیمائش اندازے پر بھاری ہے
AEGIS ایک ہی اصول پر بنا: جب تک حملے کا مظاہرہ تصدیق نہ کر دے، کچھ مکمل نہیں۔ ترقی کے دوران ٹریفک تجزیے کے بارے میں اندازہ بار بار غلط نکلا؛ sim/ میں بنا مظاہراتی ڈھانچہ ہی تفصیل نامے کے ہر عددی دعوے کے پیچھے شہادت کا کھاتہ ہے۔
سب سے حال میں کیا ہلا
یہ صفحہ کھلتے ہی GitHub API سے لایا گیا۔ خاموشی ہے تو خاموشی ہی ہے — آپ کے اور کمٹ تاریخ کے درمیان کوئی تشہیری تہہ نہیں۔
حالیہ پُش
لوڈ ہو رہا ہےتقریباً سب کے لیے مفت۔ جہاں کمائی ہے، وہاں معاوضہ۔
Imortek جو کچھ شائع کرتا ہے اس کا سورس دستیاب ہے، اس لائسنس کے تحت: GNU Affero جنرل پبلک لائسنس v3.0 یا بعد کا، ساتھ ان اداروں کے لیے درجہ بند تجارتی لائسنس جنہیں اپنی تبدیلیاں نجی رکھنی ہوں۔
- AGPL-3.0+ کے تحت مفت ذاتی استعمال، خیراتی اداروں، تعلیم، اور سالانہ AUD 50,000 سے کم کمانے والے کسی بھی ادارے کے لیے۔
- تجارتی لائسنس اس حد سے اوپر، حجم کے مطابق درجہ بند، اور اپنی تبدیلیاں شائع کرنے کی کوئی پابندی نہیں۔
- فہرست کی ہر ریپازٹری آج ہی یہ شرائط لیے ہوئے ہے — یہ کوئی منصوبہ نہیں، یہی LICENSE فائلوں میں لکھا ہے۔
/* In your about box, docs, or footer: */ "Powered by Ideas, developed by Odin Loch. Licensed under AGPL-3.0+."
AGPL کے تحت آپ کو اپنی تبدیلیاں بھی اسی دوہرے لائسنس پر واپس دینی ہوں گی، اور اس سافٹ ویئر پر بنی تحقیق کو کھلا کرنا ہوگا۔ تجارتی لائسنس دونوں شرائط ہٹا دیتا ہے۔
PBSD کی Kickstarter مہم کھلی ہے
منتقلی جاری ہے۔ اب اسے درکار ہیں وہ AI کریڈٹ اور تصدیقی کمپیوٹ جن سے کام مکمل ہو۔ ہدف AUD 10,000 ہے، مہم سب یا کچھ نہیں کے اصول پر ہے، اور اس عدد کے پیچھے ہر مفروضہ مہم کے صفحے پر کھلا رکھا ہے اور بدلا جا سکتا ہے۔