सुरक्षित सिस्टम।
मौलिक AI।
ईमानदार इंजीनियरिंग।
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+ के अंतर्गत मुफ़्त व्यक्तिगत उपयोग, दान-संस्थाओं, शिक्षा, और सालाना 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 खुला है
पोर्ट चल रहा है। उसे अब चाहिए वे AI क्रेडिट और सत्यापन के लिए कंप्यूट, जिनसे काम पूरा हो। लक्ष्य AUD 10,000 है, अभियान सब-या-कुछ-नहीं है, और उस आँकड़े के पीछे की हर धारणा अभियान पृष्ठ पर खुली रखी है और बदली जा सकती है।