उस कंप्यूट का ख़र्च उठाइए जो ParanoidBSD को पूरा करेगा
पोर्ट चल रहा है। नियतात्मक औज़ार लिखे जा चुके हैं, सत्यापन के पहरे लगे हैं, और माइग्रेशन ड्राइवर काम करता है। कमी है तो सिर्फ़ उस इन्फ़रेंस और सत्यापन कंप्यूट की, जो बाक़ी बची फ़ाइलों तक इसे पहुँचा दे — और यही पूरी वजह है कि यह अभियान मौजूद है।
योगदान पूरी तरह Kickstarter पर ही होता है। यह साइट कोई भुगतान विवरण नहीं लेती, कोई कुकी नहीं रखती और कोई ट्रैकर नहीं चलाती। अभियान सब-या-कुछ-नहीं है: अगर 12 नवंबर 2026 तक लक्ष्य नहीं पहुँचा, तो किसी से एक पैसा नहीं लिया जाएगा।
इसे पैसे की ज़रूरत क्यों है, और इसी तरह के पैसे की क्यों
एक हार्डन्ड BSD को हाथ से C++23 में पोर्ट करना दस साल का पूर्णकालिक काम है। यह उस तरह का काम भी है जहाँ भाषा मॉडल सचमुच काम आता है — यांत्रिक अनुवाद, जिसे जाँचने के लिए एक सख़्त विनिर्देश मौजूद है, और यह इस तकनीक के लिए लगभग सबसे अनुकूल हालत है।
डिज़ाइन में यह बात पहले से है। नियतात्मक पुनर्लेखन के चरण जितना सुरक्षित ढंग से कर सकते हैं, उतना मुफ़्त में कर देते हैं। मॉडल सिर्फ़ बचे हुए हिस्से पर लगाए जाते हैं: सूची की स्टब प्रविष्टियाँ और वे फ़ाइलें जिन्हें नियतात्मक चरणों ने मना कर दिया। फिर मॉडल का हर आउटपुट गिना जाने से पहले कंपाइल, ASan, UBSan, विभेदक निष्पादन और कंपाइलर के मध्यवर्ती निरूपण (IR) के स्तर पर तुलना से गुज़रता है।
वह सत्यापन न वैकल्पिक है, न सस्ता। हर फ़ाइल पर कोशिश होती है, जाँच होती है, अक्सर वह ख़ारिज होती है और फिर से कोशिश होती है। ख़र्च लूप में है, किसी एक पास में नहीं — और लूप ही वह चीज़ है जो मॉडल के आउटपुट को ऐसी चीज़ में बदलती है जिसे सुरक्षा-केंद्रित ऑपरेटिंग सिस्टम सचमुच भेज सके।
- 4,786 हाथ से लिखे C++23 मॉड्यूल — लगभग 3,52,000 पंक्तियाँ — एक बिल्ड पहरे के पीछे, जो हरा चलता है
- सूची बनाने वाले औज़ार, जो हर C स्रोत फ़ाइल को अंक देते हैं
- नियतात्मक पुनर्लेखन चरण, श्रेणी 0–4
- एजेंट पोर्ट ड्राइवर, वर्कर पूल और एस्केलेशन के साथ
- कंपाइल, सैनिटाइज़र, विभेदक और IR सत्यापन के पहरे
- उत्पत्ति-श्रृंखला का हिसाब, ताकि लाइसेंस की सीमाएँ जाँची जा सकें
- कैपेबिलिटी नाभिक का डिज़ाइन और कर्नेल C++ अनुप्रयोग बाइनरी इंटरफ़ेस (ABI) का विनिर्देश
यह सब अभी रिपॉज़िटरी में है, एक खुले लाइसेंस के अंतर्गत, चाहे इस अभियान को पैसा मिले या न मिले। कुछ भी तय करने से पहले आप इस पृष्ठ के हर दावे को स्रोत के विरुद्ध जाँच सकते हैं।
बजट का मॉडल, धारणाएँ खुली रखकर
ज़्यादातर क्राउडफ़ंडिंग बजट गोल आँकड़ों वाला एक पाई चार्ट होते हैं। यह असली मॉडल है: कोई भी धारणा बदलिए और कुल को हिलते देखिए। तयशुदा मान योजना के अनुमान हैं और साफ़ इसी तरह चिह्नित हैं — न कोई दी हुई क़ीमत, न मापी गई लागत।
pbsd — पोर्ट की लागत का मॉडल
दायरा
प्रति प्रयास
प्रदाता की दरें — इन्हें अपने प्रदाता की मौजूदा क़ीमतों पर सेट कीजिए
पैसा कहाँ जाता है
ये योजना के अनुमान हैं। फ़ाइलों की गिनती, प्रयासों की दर और टोकन की मात्रा माइग्रेशन लॉग से लगाए गए जानकार अंदाज़े हैं, ऑडिट किए गए आँकड़े नहीं। प्रदाता की दरें लगातार बदलती हैं — ऊपर के खाने ठीक इसीलिए बदले जा सकते हैं कि मेरे हार्ड-कोड किए हुए आँकड़े पर आपको भरोसा नहीं करना चाहिए।
एक इनाम, बाक़ी सब दान
यहाँ न श्रेणियों की सीढ़ी है, न कोई सामान, न अर्ली-एक्सेस की वरीयता। अभियान जिस काम के लिए पैसा जुटा रहा है — पोर्ट, औज़ार, सत्यापन — उसका लगभग सब कुछ लिखे जाते ही खुले लाइसेंस पर प्रकाशित होता है, इसलिए वह आप तक पहुँचता ही है, चाहे आपने पैसे दिए हों या नहीं। जो काम पहले से सार्वजनिक है, उस तक चरणबद्ध पहुँच बेचना नाटक होता।
दान
यही तयशुदा रास्ता है, और उम्मीद है कि ज़्यादातर समर्थन इसी रूप में आएगा। इससे कंप्यूट ख़रीदा जाता है: उन फ़ाइलों के लिए इन्फ़रेंस जिन्हें नियतात्मक चरण पूरा नहीं कर सके, और वे सत्यापन रन जो उन पर पहरा देते हैं।
- सीधे पोर्ट पर ख़र्च होता है, इनामों के लिए कोई हिस्सा नहीं कटता
- इससे जो कुछ बनता है, वह वैसे भी AGPL-3.0+ के अंतर्गत सार्वजनिक है
- न कोई श्रेणी, न वरीयता, न इनाम — और न ही कोई इशारा
कोई फ़ीचर माँगिए
बताइए कि आप ParanoidBSD से क्या करवाना चाहते हैं, और वह बनाया जाएगा — पहले आपके साथ मिलकर उसका दायरा ईमानदारी से तय होगा, ताकि कोई दस हज़ार डॉलर ऐसी चीज़ पर न दे जो बाद में नामुमकिन निकले या पहले से योजना में हो।
- आपकी पसंद का एक फ़ीचर, किसी भी प्रतिबद्धता से पहले आपके साथ तय किया हुआ
- बाक़ी सब की तरह उन्हीं सत्यापन पहरों के नीचे लिखा जाएगा — पैसे दिए गए हैं इसलिए कोई छूट नहीं
- बाक़ी ट्री की तरह खुले स्रोत में प्रकाशित
- काम कैसा चला, इसका लिखित ब्यौरा, चाहे वह बुरा ही चला हो
- अनुमानित डिलीवरी दिसंबर 2027, कहीं भी भेजा जा सकता है — यह सॉफ़्टवेयर है
पैसा मिलने से क्या बदलता है
सूची, नियतात्मक चरण, एजेंट ड्राइवर, सत्यापन पाइपलाइन, उत्पत्ति-श्रृंखला का हिसाब। अभी रिपॉज़िटरी में मौजूद।
पोर्ट हो रहे हैं: bin/ और usr.bin/ , तय दायरे वाले बैचों में, विभेदक सत्यापन के पहरे के साथ। रफ़्तार उपलब्ध कंप्यूट से बँधी है।
कैपेबिलिटी और हैंडल नाभिक, फ़्रीस्टैंडिंग C++23 में, कर्नेल ABI विनिर्देश के अंतर्गत।
KDE Plasma 6, KWin और फ़्रेमवर्क, पोर्ट किए गए आधार के साथ जोड़े गए।
इंस्टॉल होने लायक़ बिल्ड, जिन्हें लेखक के अलावा कोई और भी चला सके।
क्या ग़लत हो सकता है
Kickstarter जोखिमों का हिस्सा माँगता है। यह वाला इस तरह लिखा गया है कि सचमुच काम आए।
पोर्ट मुश्किल फ़ाइलों पर अटक सकता है
प्रदाता की क़ीमतें हिल सकती हैं
यह एक ही आदमी है
AI की मदद से किया गया OS पोर्ट जायज़ शक़ पैदा करता है
बिना ऑडिट वाले स्रोत से आया सुरक्षा सॉफ़्टवेयर
स्रोत पढ़िए, फिर तय कीजिए
इस पृष्ठ पर किया गया हर दावा आज ही जाँचा जा सकता है। औज़ार, पहरे, उत्पत्ति के अभिलेख और माइग्रेशन लॉग, सब सार्वजनिक हैं। पहले उन्हें पढ़िए — बिना जाँचे किसी पोर्ट का समर्थन करना ठीक वही ग़लती है जिसके ख़िलाफ़ यह परियोजना दलील दे रही है।