موّل قدرة الحوسبة التي تُنهي ParanoidBSD
النقل جارٍ. الأدوات الحتمية مكتوبة، وبوابات التحقّق قائمة، ومحرّك النقل يعمل. الناقص هو قدرة الحوسبة اللازمة للاستدلال والتحقّق لإكمال الملفات المتبقّية — وهذا هو سبب وجود هذه الحملة كلّه.
التعهّد بالدعم يجري بالكامل على Kickstarter. هذا الموقع لا يأخذ بيانات دفع، ولا يضع ملفات ارتباط، ولا يشغّل أي متتبّعات. والحملة كل شيء أو لا شيء: إن لم تبلغ هدفها بحلول 12 نوفمبر 2026، فلن يُخصم من أحد شيء.
لماذا يحتاج هذا إلى مال، ولماذا يحتاج إلى هذا النوع من المال
نقل نسخة مُحصَّنة من BSD إلى C++23 عمل بدوام كامل لعقد كامل إذا أُنجز يدويًّا. وهو أيضًا من نوع المهام التي يكون فيها نموذج اللغة مفيدًا فعلًا — ترجمة آلية أمام مواصفة صارمة يمكن الاحتكام إليها، وهي قريبة من أفضل حالات هذه التقنية.
التصميم يعكس ذلك أصلًا. فمراحل إعادة الكتابة الحتمية تتولّى كل ما يمكنها تولّيه بأمان، مجّانًا. والنماذج تُستعمل على البقيّة فقط: مدخلات الجرد المبتورة والملفات التي رفضتها المراحل الحتمية. ثم يمرّ كل مخرَج نموذج بالتصريف وASan وUBSan والتنفيذ التفاضلي ومقارنة على مستوى التمثيل الوسيط للمصرّف قبل أن يُحتسب.
هذا التحقّق ليس اختياريًّا وليس رخيصًا. كل ملف يُحاوَل ويُفحَص، ويُرفَض ويُعاد فيه المحاولة في أحيان كثيرة. التكلفة في الحلقة لا في مرور واحد — والحلقة هي ما يحوّل مخرجات النموذج إلى شيء يستطيع نظام تشغيل يركّز على الأمن أن يطرحه فعلًا.
- 4,786 وحدة C++23 مكتوبة يدويًّا — نحو 352,000 سطر — خلف بوابة بناء تمرّ بالأخضر
- أدوات جرد تُقيّم كل ملف مصدري بلغة C
- مراحل إعادة كتابة حتمية، المستويات 0–4
- محرّك النقل بالوكلاء، مع مجمّعات عمّال وتصعيد
- بوابات تحقّق بالترجمة والمنقّحات والتنفيذ التفاضلي والتمثيل الوسيط
- تتبّع المنشأ، كي تبقى حدود التراخيص قابلة للتدقيق
- تصميم نواة الصلاحيات ومواصفة واجهة التطبيقات الثنائية لـC++ في النواة
كل ذلك موجود في المستودع الآن، بترخيص مفتوح، سواء مُوِّلت هذه الحملة أم لا. ويمكنك مراجعة كل ادّعاء في هذه الصفحة في مقابل الشيفرة قبل أن تقرّر أي شيء.
نموذج الميزانية، بافتراضاته مكشوفة
أغلب ميزانيات التمويل الجماعي رسم دائري بأرقام مستديرة. هذا هو النموذج الفعلي: غيّر أي افتراض وراقب المجموع وهو يتحرّك. والقيم الافتراضية تقديرات تخطيطية، مُعلَّمة كذلك بوضوح — ليست أسعارًا معروضة، ولا تكاليف مقيسة.
pbsd — نموذج تكلفة النقل
النطاق
لكل محاولة
أسعار المزوّد — اضبطها على التسعير الحالي لمزوّدك
إلى أين يذهب
هذه تقديرات تخطيطية. أعداد الملفات ومعدّلات المحاولات وأحجام الرموز تخمينات مبنيّة على سجلات النقل، لا أرقامًا مدقَّقة. وأسعار المزوّدين تتغيّر باستمرار — والحقول أعلاه قابلة للتعديل تحديدًا لأنّك لا ينبغي أن تثق برقم ثبّتُّه أنا في الشيفرة.
مكافأة واحدة، وما عداها تبرّعات
لا سلّم مستويات، ولا بضائع، ولا ترتيب للوصول المبكر. فكل ما تموّله الحملة تقريبًا — النقل والأدوات والتحقّق — يُنشر بترخيص مفتوح أولًا بأول، فيصلك سواء دفعت أم لم تدفع. وتقاضي المال مقابل وصول متدرّج إلى عمل صار عامًّا أصلًا سيكون تمثيلًا.
تبرّع
الخيار الافتراضي، وما يُتوقَّع أن يكون عليه أغلب الدعم. وهو يشتري قدرة حوسبة: استدلالًا للملفات التي لم تستطع المراحل الحتمية إغلاقها، وتشغيلات التحقّق التي تقف بوابةً أمامها.
- يموّل النقل مباشرة، دون اقتطاع نفقات للمكافآت
- كل ما ينتج عنه عامّ بترخيص AGPL-3.0+ في كل الأحوال
- لا مستوى، ولا ترتيب، ولا مكافأة — ولا شيء من ذلك ضمنًا
اطلب ميزة
سَمِّ شيئًا تريد أن يفعله ParanoidBSD، وسيُبنى — بعد تحديد نطاقه بصدق معك أولًا، حتى لا يدفع أحد عشرة آلاف دولار مقابل شيء يتبيّن أنه مستحيل أو مُخطَّط له أصلًا.
- ميزة من اختيارك، تُحدَّد مواصفتها معك قبل أي التزام
- تُكتب تحت بوابات التحقّق نفسها كسائر العمل — بلا اختصار لأنها مدفوعة
- تُنشر مفتوحة المصدر كبقيّة الشجرة
- سرد مكتوب لكيف سار العمل، بما في ذلك إن سار سيّئًا
- التسليم المقدَّر ديسمبر 2027، والشحن إلى أي مكان — فهو برمجيات
ما الذي يغيّره التمويل
الجرد، والمراحل الحتمية، ومحرّك الوكلاء، وخط التحقّق، وتتبّع المنشأ. في المستودع الآن.
نقل bin/ و usr.bin/ في دفعات محدّدة النطاق، ببوابة تحقّق تفاضلي. والوتيرة محدودة بقدرة الحوسبة المتاحة.
نواة الصلاحيات والمقابض، بلغة C++23 قائمة بذاتها، وفق مواصفة الواجهة الثنائية للنواة.
KDE Plasma 6 وKWin وأُطر العمل مدمجة فوق القاعدة المنقولة.
بِنى قابلة للتثبيت يستطيع تشغيلها شخص غير المؤلف.
ما الذي قد يسوء
يشترط Kickstarter قسمًا للمخاطر. وهذا القسم مكتوب ليكون مفيدًا فعلًا.
قد يتعثّر النقل عند الملفات الصعبة
قد تتحرّك أسعار المزوّدين
هذا شخص واحد
نقل نظام تشغيل بمساعدة الذكاء الاصطناعي يستدعي شكًّا مبرَّرًا
برمجيات أمنية من مصدر غير مُدقَّق
اقرأ الشيفرة، ثم قرّر
كل ما تدّعيه هذه الصفحة قابل للتحقق اليوم. الأدوات والبوابات وسجلات المنشأ وسجلات النقل كلها عامّة. اقرأها أولًا — فدعم نقل لم تفحصه هو بالضبط الخطأ الذي يحاجّ ضدّه هذا المشروع.