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

پروجیکٹ کی ویب سائٹ بینڈ کو "ایک تیز زبان کے طور پر بیان کرتی ہے جو ثبوت کے ذریعے AI غلطیوں کو روکتی ہے،" خصوصیات کے ایک غیر معمولی امتزاج کا وعدہ کرتی ہے: C-اسپیڈ مقامی تالیف، CPU کور اور CUDA- قابل GPUs میں خودکار ہم آہنگی، دبلی پتلی طرز کے رسمی ثبوت، اور ازگر کی طرح نحو۔ For more context on this story, see our ongoing breaking AI news.

دوسرے الفاظ میں، Bend انسانوں کے لکھنے کے لیے بہتر زبان بننے کی کوشش نہیں کر رہا ہے۔ یہ AI ایجنٹوں کے لیے لکھنے کے لیے ایک بہتر زبان بننے کی کوشش کر رہی ہے - ایک جہاں مرتب کرنے والا خود محافظ ہے۔

دلیل: اشارے مبہم ہیں، ثبوت نہیں ہیں۔

پراجیکٹ کے ہوم پیج پر موجود فریمنگ غیر معمولی طور پر واضح ہے کہ سافٹ ویئر ڈویلپمنٹ کہاں جا رہی ہے۔

"AGI کے بعد کی معیشت میں، انسان آخر کار کوڈ لکھنا اور پڑھنا بند کر دیں گے، لیکن ہمیں اب بھی ایک ابہام سے پاک طریقہ کی ضرورت ہے تاکہ AIs کو یہ بتانے کے لیے کہ ہم اپنے ارد گرد کی دنیا کی تعمیر کر رہے ہیں کہ ہم کیا کرنا چاہتے ہیں،" سائٹ کا استدلال ہے۔ "قوانین کے ساتھ، ہمارے ارادے قدرتی زبان سے کہیں زیادہ درست ہو سکتے ہیں۔ ثبوتوں کے ساتھ، ہم تصدیق کر سکتے ہیں کہ AI نے ہمارے اشارے کو درست طریقے سے نافذ کیا ہے۔ اور ایک تیز مرتب کرنے والا اسے رفتار سے چلاتا ہے۔"

یہ تھیسس ڈویلپر اور ٹولنگ کے درمیان معمول کے تعلقات کو الٹ دیتا ہے۔ بجائے اس کے کہ AI سے تیار کردہ کوڈ کو آؤٹ پٹ کے طور پر دیکھا جائے جس کا لائن بہ لائن جائزہ لیا جائے، Bend انسان سے کہتا ہے کہ وہ ان خصوصیات کا اعلان کرے جو ہمیشہ برقرار رہتی ہیں - اور مشین کو کسی بھی چیز کے ضم ہونے سے پہلے اپنے کام کو ثابت کرنے پر مجبور کرتی ہے۔

LAWS.bend کیسے کام کرتا ہے۔

ڈیزائن کا مرکز ایک فائل ہے جسے LAWS.bend کہا جاتا ہے، جہاں ڈویلپرز ان ویریئنٹس کا اعلان کرتے ہیں جو پروجیکٹ کو پورا کرنا ضروری ہے۔ تصور کے لیے سائٹ کی ٹیگ لائن: "LAWS.bend ثبوت کے ذریعے AGENTS.md ہے۔" جہاں AGENTS.md فائلیں AI کوڈنگ ایجنٹوں کو قدرتی زبان کے قواعد کے ساتھ ہدایات دیتی ہیں جنہیں خاموشی سے نظر انداز کیا جا سکتا ہے، Bend کے قوانین خود ٹائپ چیکر کے ذریعے نافذ کیے جاتے ہیں۔

سائٹ کا دعویٰ ہے کہ "اس کے بعد سے، کوئی بھی AI ایک لائن نہیں بھیج سکتا جو ان کو توڑ دے۔"

اس کے ساتھ موجود PROOF.bend فائل میں مشین سے چیک شدہ دلیل ہے جو ہر قانون کے پاس ہے — اور خاص طور پر، یہ ثبوت AI نے لکھا ہے، انسان نے نہیں۔ ڈویلپر بتاتا ہے کہ کیا سچ ہونا چاہیے؛ ایجنٹ ثبوت تیار کرتا ہے۔

یہ منصوبہ ایک کھلونا کھیل کے ساتھ خیال کو ظاہر کرتا ہے جس میں ایک قانون یہ اعلان کرتا ہے کہ جیتنا ناممکن ہے۔ مظاہرے میں، ایک نئی خصوصیت کی درخواست - "بورڈ کو لپیٹ کر ارد گرد بنائیں" - ایک بگ متعارف کرایا ہے جو کھلاڑی کو جیتنے دیتا ہے۔ LAWS.bend کے بغیر، بگی کوڈ ضم ہو جاتا ہے اور بگ لائیو ہو جاتا ہے۔ LAWS.bend کی جگہ کے ساتھ، تبدیلی کو مسترد کر دیا جاتا ہے، اور AI کو اس وقت تک دوبارہ کوشش کرتے رہنا پڑتا ہے جب تک کہ وہ ایک درست ثبوت کے ساتھ عمل درآمد نہ کر لے۔ جیسا کہ سائٹ نے کہا: "بگ کو ضم کرنا ریاضی کے لحاظ سے ناممکن ہے: یہ ایک نظریہ ہے۔"

رفتار فعال کرنے والا ہے۔

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

بینڈ کا جواب یہ ہے کہ ٹائپ چیکر کو خود ایک پروف چیکر بنانا ہے جو ایک سیکنڈ یا اس سے کم وقت میں چلتا ہے۔ سائٹ کا کہنا ہے کہ اس کا مطلب ہے کہ "ایک AI ایجنٹ ہر تبدیلی کے بعد چیک کر سکتا ہے" - ایک ہیوی ویٹ، پراجیکٹ کے اختتامی تقریب سے تصدیق کو ہر ایک ترمیم پر ہلکے وزن کے گیٹ میں تبدیل کرنا۔

کارکردگی کے دعوے، جو پروجیکٹ کی اپنی سائٹ پر شائع کردہ بینچ مارکس پر مبنی ہیں (ایک Apple M4 Max پر چلائے جاتے ہیں)، پورے بورڈ میں پرجوش ہیں:

  • بینڈ مقامی کوڈ پر مرتب کرتا ہے اور ایک کور پر "تقریبا C جتنی تیزی سے" چلتا ہے۔
  • ایک ہی بائنری اسکیل سولہ کور پر، یا GPU پر، جہاں سائٹ ایک کور کی رفتار سے 100 گنا تک کا دعوی کرتی ہے۔
  • متوازی خودکار ہے - "کوئی دھاگہ نہیں، کوئی تالے نہیں، لکھنے کے لیے کوئی دانا نہیں" - رن ٹائم تقسیم کرنے کے کام کے ساتھ ہر کور میں یہ نتائج تلاش کر سکتا ہے اور اس میں شامل ہو سکتا ہے۔

شروع کرنا جان بوجھ کر رگڑ سے پاک ہے: ون لائن انسٹال اسکرپٹ، نیز ایک ٹکڑا جس کا مطلب AGENTS.md میں چسپاں کیا جانا ہے جس میں ایجنٹ کو ہدایت کی جاتی ہے کہ وہ `بینڈ گائیڈ` چلائیں، LAWS.bend میں اہم اصول رکھیں، اور ارتکاب کرنے سے پہلے `bend PROOF.bend` کو چلائیں۔

یہ ابھی کیوں گونجتا ہے۔

ہیکر نیوز کا جواب - گھنٹوں کے اندر سینکڑوں پوائنٹس - ڈویلپر کمیونٹی میں بڑھتی ہوئی بے چینی کو ظاہر کرتا ہے۔ AI کوڈنگ ایجنٹوں نے پروڈکشن کوڈ کو تقریباً مفت بنا دیا ہے، لیکن اس کی تصدیق کرنا اسی رفتار سے سستا نہیں ہوا ہے۔ کوڈ کا جائزہ، جانچ، اور QA اب بھی بنیادی طور پر انسانی رفتار کے عمل ہیں، اور ٹیمیں تیزی سے رپورٹ کرتی ہیں کہ رکاوٹ سافٹ ویئر لکھنے سے اس پر بھروسہ کرنے کی طرف منتقل ہو گئی ہے۔

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

انتباہات

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

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

لیکن بنیادی بصیرت - کہ AI سے تیار کردہ کوڈ کے دور کے لیے بنائی گئی زبان کو درستگی کو ایک مرتب وقت کی خاصیت بنانا چاہیے - اس مسئلے کا سنجیدہ جواب ہے جو صنعت کو اب بڑے پیمانے پر درپیش ہے۔ چاہے Bend خاص طور پر اس دلیل کو جیتتا ہے یا کوئی جانشین کرتا ہے، سفر کی سمت واضح نظر آتی ہے: جب مشینیں کوڈ لکھتی ہیں، تو گارڈریلز کو مشین میں منتقل کرنے کی ضرورت ہوتی ہے۔

سافٹ ویئر کیسے بنتا ہے اس کی نئی شکل دینے والے ٹولز کے بارے میں مزید جاننے کے لیے، تازہ ترین AI خبروں اور AI ڈیولپمنٹ ایکو سسٹم کی ہماری جاری کوریج کی پیروی کریں۔

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →