مرحبًا — أنا Odin Loch

أبني أنظمة تشغيل، وبنى ذكاء اصطناعي، ومكتبات رياضيات، وأدوات تكتشف ما يفعله برنامج حين لا يعود لدى أحد شيفرته المصدرية. في الليل غالبًا، من سيدني. وImortek هو الاسم الذي أنشر به ذلك العمل.

لديّ دبلومان — في البرمجيات، وفي علوم المستشفيات — وأعمل حاليًّا صانعَ عُدَد. ولا شيء من ذلك هو المؤهّل الذي يتوقّعه الناس لهذا النوع من البرمجيات، ولهذا بالضبط يُكتب كل ما أنشره ليُفحَص لا ليُصدَّق.

github.com/odin-loki راسلني بالبريد

الاسم التجاريImortek

الوظيفة النهاريةصانع عُدَد

المستودعات15

رخصة جنو أفيرو العمومية العامةAGPL-3.0+

بكلماتي أنا

لماذا أعمل هكذا

أحبّ الهندسة كلها والعلوم كلها، ولم أُحسِن يومًا البقاء داخل واحد منها. لهذا يضمّ الرفّ توزيعة برمجيات بيركلي (BSD) مُحصَّنة إلى جانب مخطّط تعمية موثّقة ببيانات مرافقة (AEAD)، إلى جانب عُدَد كربيدية، إلى جانب ورقة عن كيف تقيس الثروة الوطنية بالميغاجول. ليست استراتيجية. إنها ما يهمّني فعلًا.

العمل وحدي يعني أن لا أحد يراجع عملي، فبنيتُ المراجعة داخل العمل. لا يَسِم ParanoidBSD ملفًّا بأنه مُنقَل حتى يجتاز التحقّق التفاضلي أو التحقّق عبر التمثيل الوسيط، لأنني أعلم تمام العلم أن ملفًّا يُصرَّف فحسب لم يخبرني بشيء. ويُرجِع MathScript Result<T> في كل مكان بدل رمي الاستثناءات، لأني أردت حالات الفشل ظاهرة في النوع لا مُكتشَفة في الثالثة فجرًا. ولـAEGIS قاعدة واحدة — لا شيء يُعدّ منجزًا قبل أن تؤكّده محاكاة هجوم — لأن حدسي في تحليل حركة البيانات أخطأ مرارًا، والمحاكاة لم تخطئ.

المنطق نفسه يفسّر أجزاء هذا الموقع التي تبدو وكأنها تحاجّني. حيرة Cell AI أسوأ بأربع مراتب عشرية من المحوّل التوليدي المدرَّب مسبقًا 2 (GPT-2)، وذلك على صفحته الأولى. والمُفكِّك يستعيد الخوارزميات عند F1 0.056 على ملفات ثنائية مجرّدة، إلى جانب 1.000 التي يبلغها مع الرموز. وعمل معيار التعمية المتقدّم (AES) أخفق، وهو منشور بوصفه إخفاقًا مع الإحصاءات التي تبيّن السبب. ولو أخفيتُ ذلك، لما كان لديك سبيل لمعرفة أي أرقامي الأخرى تستحق الثقة.

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

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

ما هذا

ممارسة هندسية، لا شركة ناشئة

لا فريق، ولا تمويل، ولا أموال مستثمرين تُنفَق، ولا خطة نمو. هناك شخص واحد له حرفة، ودبلومان، وقدر غير معتاد من الوقت أُنفق على أنظمة التشغيل والتعمية والطرائق العددية وتعلّم الآلة.

هذا ضعف في أغلب النواحي وقوّة في ناحية واحدة: لا شيء هنا صاغته الحاجة إلى الظهور بمظهر مبهر أمام مستثمر. رقم الحيرة البعيد بأربع مراتب عشرية يُنشَر. وF1 المُفكِّك البالغ 0.056 يُطبَع بجوار 1.000. ومخطّط التعمية يقول “نموذج أوّلي، ليس للإنتاج” على صفحته الأولى، لأنه كذلك.

البرمجيات حقيقية والاختبارات حقيقية. وحيث لا يكون شيء متحقَّقًا منه، تقول الصفحة ذلك، بحجم الخط نفسه الذي لكل شيء آخر.

المعيار

الترجمة وحدها غير متحقَّق منها. الملف الذي يُبنى لم يُبرهَن أنه يعمل.
النماذج لا تشهد لنفسها أبدًا. هي تقترح، والأدوات الحتمية تقرّر.
الحدود تُوضع في الصفحة الأولى. لا في حاشية، ولا في ملحق.
القياس يغلب الحدس. خصوصًا حين يكون الحدس واثقًا.
النتيجة السلبية نتيجة. عمل AES فشل، ووُثِّق كما ينبغي، ونُشر بوصفه فشلًا.

لماذا هذا الاسم

Imortek، وعبارة الفصام

يصف مستودع ParanoidBSD نفسه بأنه “نظام تشغيل آمن صنعه مصاب بالفصام”. هذه عبارة المؤلّف عن نفسه، وتبقى لأنها عبارته هو ولأنها أصدق من البديل.

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

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

العمل