Kickstarter پر جاری · 12 نومبر 2026 کو ختم

اس کمپیوٹ کا خرچ اٹھائیں جو ParanoidBSD مکمل کرے گا

منتقلی جاری ہے۔ یقینی اوزار لکھے جا چکے، تصدیق کے پھاٹک اپنی جگہ ہیں، اور منتقلی کا انجن کام کرتا ہے۔ کمی صرف اس inference اور تصدیقی کمپیوٹ کی ہے جو اسے باقی فائلوں سے گزار دے — اور یہی اس مہم کے ہونے کی پوری وجہ ہے۔

وعدۂ رقم مکمل طور پر Kickstarter پر ہوتا ہے۔ یہ سائٹ ادائیگی کی کوئی تفصیل نہیں لیتی، کوئی کوکی نہیں رکھتی اور کوئی ٹریکر نہیں چلاتی۔ مہم سب یا کچھ نہیں کے اصول پر ہے: اگر 12 نومبر 2026 تک ہدف پورا نہ ہوا تو کسی سے کچھ وصول نہیں کیا جائے گا۔

مہم کی حالت
کیفیتجاری — وعدے قبول ہو رہے ہیں
آغاز13 ستمبر 2026
اختتام12 نومبر 2026
ہدفAUD 10,000
مالی معاونت کا طریقہسب یا کچھ نہیں — 60 دن
مقصدمصنوعی ذہانت (AI) کے کریڈٹ اور تصدیقی کمپیوٹ
منصوبہParanoidBSD
ساختعطیات، اور ساتھ AUD 10,000 والا ایک فیچر کی درخواست کا انعام
لائسنسGNU Affero General Public License (AGPL-3.0+)؛ HardenedBSD سے اخذ کردہ کوڈ کے لیے BSD
ہدف پوری مہم کے دوران طے شدہ رہتا ہے، اس لیے وہ یہاں درج ہے۔ وعدہ شدہ رقم اور حمایتیوں کی تعداد طے شدہ نہیں، اس لیے وہ یہاں درج نہیں — ایک ساکن صفحے پر ٹائپ کیا ہوا چلتا میزان لکھے جاتے ہی غلط ہو جاتا ہے۔ دونوں مہم کے صفحے پر براہِ راست موجود ہیں۔
مہم کھولیں
دلیل

اسے پیسے کی ضرورت کیوں ہے، اور اسی قسم کے پیسے کی کیوں

BSD ڈیمن دو بار: بائیں طرف اصل سرخ علامتی کردار، دائیں طرف وہی شکل ایک سیان وائر فریم کے طور پر، اور دونوں کے بیچ مساوی کا نشان
مہم جس چیز کے لیے رقم جمع کر رہی ہے: اسی مساوی کے نشان کو فائل بہ فائل کمانے کا کام۔ BSD Daemon © Marshall Kirk McKusick۔

ایک سخت کیے ہوئے BSD کو C++23 میں ہاتھ سے منتقل کرنا ایک عشرے کا کل وقتی کام ہے۔ یہ اس قسم کا کام بھی ہے جہاں لینگویج ماڈل واقعی کارآمد ہے — مشینی ترجمہ، جس کے مقابل جانچنے کے لیے ایک سخت تفصیل نامہ موجود ہو، اور یہ اس ٹیکنالوجی کے بہترین استعمال کے قریب ترین ہے۔

ڈیزائن پہلے ہی اس کا لحاظ رکھتا ہے۔ یقینی بازنویسی کے مراحل وہ سب کچھ سنبھال لیتے ہیں جو وہ محفوظ طریقے سے کر سکتے ہیں، مفت۔ ماڈل صرف بچی ہوئی باقیات پر استعمال ہوتے ہیں: فہرست کے ادھورے اندراج اور وہ فائلیں جنہیں یقینی مراحل نے رد کر دیا۔ پھر ماڈل کی ہر پیداوار شمار میں آنے سے پہلے کمپائل، ASan، UBSan، تفریقی عمل درآمد اور کمپائلر کے IR کی سطح پر موازنے سے گزرتی ہے۔

یہ تصدیق نہ اختیاری ہے نہ سستی۔ ہر فائل پر کوشش ہوتی ہے، جانچ ہوتی ہے، اکثر رد ہوتی ہے اور دوبارہ کوشش ہوتی ہے۔ خرچ اسی چکر میں ہے، کسی ایک گزر میں نہیں — اور یہی چکر ماڈل کی پیداوار کو ایسی چیز بناتا ہے جو ایک حفاظت پر مرکوز آپریٹنگ سسٹم واقعی بھیج سکے۔

یہ مہم جن چیزوں کے لیے نہیں ہے: تنخواہ، ہارڈ ویئر، تشہیر، یا کوئی بھی ایسی چیز جو براہِ راست منتقلی نہ ہو۔ Imortek ایک ہی شخص ہے جس کی دن کی نوکری اوزار ساز کی ہے۔ مانگ صرف کمپیوٹ کی ہے۔
پہلے ہی بن چکا، بغیر کسی رقم کے
  • 4,786 ہاتھ سے لکھے C++23 ماڈیول — تقریباً 352,000 سطریں — ایک ایسے بلڈ پھاٹک کے پیچھے جو سبز چلتا ہے
  • فہرست سازی کے اوزار جو ہر C سورس فائل کو نمبر دیتے ہیں
  • یقینی بازنویسی کے مراحل، درجے 0–4
  • ایجنٹ منتقلی انجن، ورکر پول اور escalation کے ساتھ
  • کمپائل، سینیٹائزر، تفریقی اور IR تصدیق کے پھاٹک
  • سلسلۂ ماخذ کی پیروی، تاکہ لائسنس کی حدیں جانچی جا سکیں
  • اختیارات کے مرکزے کا ڈیزائن اور کرنل C++ ABI کا تفصیل نامہ

یہ سب ابھی ریپازٹری میں موجود ہے، ایک کھلے لائسنس کے تحت، چاہے اس مہم کو رقم ملے یا نہ ملے۔ کوئی فیصلہ کرنے سے پہلے آپ اس صفحے کا ہر دعویٰ سورس کے مقابل پرکھ سکتے ہیں۔

تعامل پذیر

بجٹ کا ماڈل، مفروضے کھلے رکھ کر

عوامی مالی معاونت کے بیشتر بجٹ گول عددوں والا ایک پائی چارٹ ہوتے ہیں۔ یہ اصل ماڈل ہے: کوئی بھی مفروضہ بدلیں اور میزان کو ہلتے دیکھیں۔ پہلے سے بھری قیمتیں منصوبہ بندی کے تخمینے ہیں اور صاف طور پر ایسے ہی نشان زد ہیں — نہ کوٹ کی ہوئی قیمتیں، نہ ناپے ہوئے اخراجات۔

pbsd — منتقلی کی لاگت کا ماڈل

دائرہ کار

فی کوشش

فراہم کنندہ کے نرخ — انہیں اپنے فراہم کنندہ کی موجودہ قیمت پر رکھیں

پیسہ کہاں جاتا ہے

کل درکار رقم
—
Inference
—
تصدیق
—
کل ٹوکن
—
فی فائل
—
پلیٹ فارم اور ادائیگی کی فیس، اور انعام پہنچانے کا خرچ، اس ماڈل کے نتیجے کے اوپر آتے ہیں۔ جو مہم کا ہدف صرف کمپیوٹ پورا کرتا ہو، وہ پہلے ہی بل پر ناکام ہو جاتا ہے — اسی لیے شائع شدہ ہدف، AUD 10,000، یہاں کے ہر منظرنامے سے اوپر ہے، کسی ایک کے برابر نہیں۔
عدد آپ کی توقع سے چھوٹا ہے، اور بات یہی ہے۔ Inference سستا ہو چکا ہے۔ ایسی منتقلی کے لیے ایمان دار مطالبہ ہزاروں میں ہوتا ہے، لاکھوں میں نہیں — اور جو مہم سنجیدہ دکھنے کے لیے اسے بڑھا چڑھا کر پیش کرے، وہ اس سائٹ کی پہلی چیز ہوگی جسے آپ پرکھ نہیں سکتے۔ ہدف AUD 10,000 ہے۔ ماڈل چلائیں اور دیکھیں کہ آپ کو یقین آتا ہے یا نہیں۔

یہ منصوبہ بندی کے تخمینے ہیں۔ فائلوں کی گنتی، کوششوں کی شرح اور ٹوکن کی مقدار منتقلی کے لاگ سے لیے گئے باخبر اندازے ہیں، جانچے ہوئے اعداد نہیں۔ فراہم کنندگان کے نرخ مسلسل بدلتے ہیں — اوپر کے خانے اسی لیے قابلِ تبدیل ہیں کہ میرے طے کیے ہوئے کسی عدد پر آپ کو بھروسہ نہیں کرنا چاہیے۔

ماڈل پورے کا پورا آپ کے براؤزر میں چلتا ہے۔ آپ یہاں جو لکھتے ہیں وہ کہیں نہیں بھیجا جاتا۔
حمایت

ایک ہی انعام، باقی سب عطیات

نہ درجوں کی کوئی سیڑھی ہے، نہ کوئی سامان، نہ پہلے رسائی کی کوئی درجہ بندی۔ مہم جس کام کے لیے رقم جمع کرتی ہے — منتقلی، اوزار، تصدیق — اس کا تقریباً سب کچھ لکھے جانے کے ساتھ ہی کھلے لائسنس پر شائع ہوتا ہے، اس لیے وہ آپ تک پہنچتا ہے، چاہے آپ نے پیسے دیے ہوں یا نہ دیے ہوں۔ جو کام پہلے ہی عام ہے، اس تک مرحلہ وار رسائی کے پیسے لینا محض ڈرامہ ہوگا۔

کوئی بھی رقم عطیہ

عطیہ

یہی طے شدہ صورت ہے، اور امید ہے کہ زیادہ تر حمایت یہی ہوگی۔ اس سے کمپیوٹ خریدا جاتا ہے: ان فائلوں کے لیے inference جنہیں یقینی مراحل مکمل نہ کر سکے، اور وہ تصدیقی اجرا جو ان پر پہرہ دیتے ہیں۔

  • رقم سیدھی منتقلی پر لگتی ہے، انعامات کے لیے کچھ نہیں کاٹا جاتا
  • اس سے جو کچھ بنے، وہ بہرحال AGPL-3.0+ کے تحت عام ہے
  • نہ کوئی درجہ، نہ درجہ بندی، نہ انعام — اور نہ کسی کا اشارہ
ابھی کھلا ہے
فیچر کی درخواست کی قیمت یہی کیوں ہے۔ اوپر کے ماڈل کے کسی بھی منظرنامے میں دس ہزار ڈالر پوری منتقلی کے لیے درکار کمپیوٹ سے کہیں زیادہ ہیں۔ قیمت کمپیوٹ پر نہیں رکھی گئی — یہ اس انجینئرنگ وقت پر رکھی گئی ہے جو ایک حفاظت پر مرکوز آپریٹنگ سسٹم میں ایک فیچر کی تفصیل طے کرنے، بنانے، تصدیق کرنے اور دستاویز بنانے میں لگتا ہے، ایک ہی شخص کے ہاتھوں، اسی معیار پر جس کا باقی کوڈ درخت پابند ہے۔ اگر آپ کے نزدیک یہ اس قابل نہیں تو عطیہ دے دیجیے؛ فی ڈالر عطیہ زیادہ فائدہ دیتا ہے اور کچھ ضائع نہیں ہوتا۔
ایک انعام پوری مہم کی رقم پوری کر دے گا۔ ہدف AUD 10,000 ہے اور فیچر کی درخواست بھی AUD 10,000 کی، یعنی وہ انعام لینے والا ایک ہی حمایتی مہم اکیلا مکمل کر سکتا ہے۔ یہ فروخت کی بات نہیں، ایک انکشاف ہے: اس کا مطلب ہے کہ ہدف اتنا چھوٹا ہے کہ ایک شخص نتیجہ طے کر سکتا ہے، اور آپ کو مہم کو کسی مالی پٹی پر نہیں بلکہ ریپازٹری میں موجود کام پر پرکھنا چاہیے۔
آگے کا نقشہ

رقم ملنے سے کیا بدلتا ہے

ہو چکا، بغیر رقم کے
اوزار اور پھاٹک

فہرست سازی، یقینی مراحل، ایجنٹ انجن، تصدیق کی پائپ لائن، سلسلۂ ماخذ کی پیروی۔ ابھی ریپازٹری میں موجود۔

جاری
یوزرلینڈ کی لہریں

زیرِ منتقلی bin/ اور usr.bin/ محدود دائروں والے جتھوں میں، تفریقی تصدیق کے پہرے کے ساتھ۔ رفتار دستیاب کمپیوٹ سے محدود ہے۔

رقم ملنے پر
کرنل مرکزے کی تکمیل

اختیارات اور ہینڈل کا مرکزہ، آزاد C++23 میں، کرنل ABI کے تفصیل نامے کے تحت۔

رقم ملنے پر
ڈیسک ٹاپ کی لہر

KDE Plasma 6، KWin اور فریم ورک، منتقل شدہ بنیاد کے ساتھ جوڑے گئے۔

رقم ملنے پر
بوٹ ہونے والے امیج

ایسے انسٹال ہونے والے بلڈ جو مصنف کے علاوہ کوئی اور بھی چلا سکے۔

خطرات

کیا غلط ہو سکتا ہے

Kickstarter پر خطرات کا حصہ لازم ہے۔ یہ والا اس لیے لکھا گیا ہے کہ واقعی کام آئے۔

منتقلی مشکل فائلوں پر رک سکتی ہے
یقینی مراحل مشینی نوعیت کی اکثریت سنبھال لیتے ہیں۔ جو باقی بچتا ہے وہ بہ تعریف وہی حصہ ہے جس نے مشینی ترجمے کی مزاحمت کی — اور اس میں سے کچھ ماڈل کی بھی مزاحمت کرے گا۔ تصدیقی پھاٹکوں کا مطلب یہ ہے کہ وہ فائلیں چپ چاپ غلط ہونے کے بجائے کھلم کھلا نامکمل رہتی ہیں، مگر انہیں پھر بھی ہاتھ سے لکھنا پڑتا ہے، اور یہ کام سست ہے۔
فراہم کنندگان کی قیمتیں بدل سکتی ہیں
بجٹ ڈالروں میں نہیں، ٹوکنوں میں لکھا گیا ہے، اور ٹھیک اسی لیے کہ نرخ بدلتے رہتے ہیں۔ قیمت بڑھنے کا مطلب ہے فی ڈالر کم فائلیں، اور ایمان دار جواب یہ ہے کہ اسے بتا دیا جائے اور رفتار کم کر دی جائے — نہ کہ پیسے بچانے کے لیے تصدیقی پھاٹک ہٹا دیے جائیں۔ پھاٹک ہٹا دینے سے پوری مشق بے معنی ہو جائے گی۔
یہ ایک ہی شخص ہے
Imortek یعنی Odin Loch، جو سڈنی میں اوزار ساز کے طور پر کام کرتا ہے۔ نہ کوئی ٹیم ہے، نہ خرچ کرنے کو سرمایہ کاروں کا پیسہ، اور نہ تسلسل کا کوئی منصوبہ، سوائے اس کے کہ ہر چیز لکھے جانے کے ساتھ ہی کھلے لائسنس پر شائع ہو جاتی ہے۔ اگر یہ کام رک گیا تو جو موجود ہے وہ عام رہے گا اور اس کا فورک بنایا جا سکے گا۔ ایمان داری سے صرف یہی ضمانت دی جا سکتی ہے، اس لیے یہی دی جا رہی ہے۔
AI کی مدد سے کی گئی OS منتقلی جائز شکوک کو دعوت دیتی ہے
دینی بھی چاہیے۔ اس کا توڑ باتوں سے نہیں، ساخت سے کیا گیا ہے: ماڈل کبھی اپنی سند خود نہیں دیتے، محض کمپائل ہو جانے کو غیر تصدیق شدہ مانا جاتا ہے، HardenedBSD ہی طرزِ عمل کا تفصیل نامہ ہے، اور کوئی ماڈیول مکمل شمار ہونے سے پہلے سلسلۂ ماخذ کا اندراج مانگتا ہے۔ آپ کو یہ بات بھروسے پر لینے کی ضرورت نہیں — پھاٹک ریپازٹری میں موجود ہیں اور کسی چیز کی حمایت کرنے سے پہلے آپ انہیں پڑھ سکتے ہیں۔
غیر جانچے ہوئے ماخذ سے آیا حفاظتی سافٹ ویئر
PBSD کو HardenedBSD کی حفاظتی تدابیر وراثت میں ملتی ہیں، جو حقیقی ہیں اور باہر سے جانچی جا چکی ہیں۔ اختیارات کا نیا مرکزہ باہر سے جانچا ہوا نہیں ہے اور کچھ عرصے تک نہیں ہوگا۔ جب تک ایسا نہ ہو، PBSD ایک تحقیقی آپریٹنگ سسٹم ہے۔ جو کوئی آپ سے کہے کہ اختیارات کی ایک تازہ تہہ پہلے ہی دن پیداواری استعمال کے قابل ہے، وہ کچھ بیچ رہا ہے۔
60 دن، 12 نومبر 2026 کو اختتام

سورس پڑھیں، پھر فیصلہ کریں

اس صفحے پر کیا گیا ہر دعویٰ آج ہی پرکھا جا سکتا ہے۔ اوزار، پھاٹک، سلسلۂ ماخذ کے ریکارڈ اور منتقلی کے لاگ، سب عام ہیں۔ پہلے انہیں پڑھیں — جس منتقلی کو آپ نے دیکھا ہی نہیں، اس کی حمایت کرنا بالکل وہی غلطی ہے جس کے خلاف یہ منصوبہ دلیل دے رہا ہے۔