Bend ဟုခေါ်သော ပရိုဂရမ်ဘာသာစကားသည် ယခုအပတ်တွင် Hacker News ၏ ထိပ်ဆုံးသို့ ရောက်ရှိလာပြီး 278 မှတ်ရရှိကာ AI ကုဒ်ရေးသည့်ခေတ်ကို လေးလေးနက်နက်ရည်ရွယ်သည့် ရှေ့မျက်နှာစာတွင် အချေအတင်ဆွေးနွေးမှုတစ်ခု၊ သင်၏စည်းမျဉ်းများကိုချိုးဖောက်သည့် AI အေးဂျင့်အတွက် သင်္ချာနည်းအားဖြင့် မဖြစ်နိုင်သောဘာသာစကားတစ်ခုဖြစ်သည်။

ပရောဂျက်၏ဝဘ်ဆိုဒ်တွင် Bend သည် AI အမှားများကို သက်သေပြပြီး ပုံမှန်မဟုတ်သောလက္ခဏာများပေါင်းစပ်မှုတစ်ခု- C-speed native compilation၊ CPU cores များနှင့် CUDA-capable GPUs တစ်လျှောက် အလိုအလျောက်ပြိုင်တူမျဉ်းပြိုင်မှု၊ Lean-style formal proofs နှင့် Python-like syntax တို့ဖြစ်သည်ဟု ပရောဂျက်၏ဝဘ်ဆိုဒ်တွင် Bend က ဖော်ပြသည်။ For more context on this story, see our ongoing AI industry coverage.

တစ်နည်းဆိုရသော် Bend သည် လူသားများအတွက် ပိုမိုကောင်းမွန်သော ဘာသာစကားတစ်ခုဖြစ်ရန် ကြိုးစားနေခြင်းမဟုတ်ပါ။ ၎င်းသည် AI အေးဂျင့်များအတွက် ပိုမိုကောင်းမွန်သောဘာသာစကားတစ်ခုဖြစ်လာစေရန် ကြိုးစားနေသည် — compiler ကိုယ်တိုင်က စောင့်ကြပ်နေပါသည်။

အငြင်းအခုံ- အချက်များသည် သဲသဲကွဲကွဲဖြစ်ပြီး အထောက်အထားများ မပါရှိပါ။

ပရောဂျက်၏ ပင်မစာမျက်နှာတွင် ဘောင်ခတ်ခြင်းသည် ဆော့ဖ်ဝဲလ်ဖွံ့ဖြိုးတိုးတက်ရေးသို့ ဦးတည်နေသည့်နေရာကို ပုံမှန်မဟုတ်စွာ ပွင့်ပွင့်လင်းလင်း ရှင်းရှင်းလင်းလင်း ဖော်ပြထားပါသည်။

"AGI ခေတ်လွန်စီးပွားရေးတွင်၊ လူသားများသည် နောက်ဆုံးတွင် ကုဒ်ရေးခြင်းနှင့် ဖတ်ခြင်းကို ရပ်တန့်သွားလိမ့်မည်၊ သို့သော် ကျွန်ုပ်တို့သည် ကျွန်ုပ်တို့၏ပတ်ဝန်းကျင်ကမ္ဘာကို တည်ဆောက်နေသည့် AI များကို ကျွန်ုပ်တို့လုပ်ဆောင်လိုသည်များကို ပြောပြရန် ရှင်းရှင်းလင်းလင်းမရှိသောနည်းလမ်းတစ်ခု လိုအပ်နေသေးသည်" ဟု ဆိုက်က ငြင်းဆိုထားသည်။ "ဥပဒေများဖြင့်၊ ကျွန်ုပ်တို့၏ ရည်ရွယ်ချက်များသည် သဘာဝဘာသာစကားထက် ပိုမိုတိကျနိုင်ပါသည်။ အထောက်အထားများဖြင့် AI သည် ကျွန်ုပ်တို့၏အချက်ပြမှုများကို မှန်ကန်စွာလုပ်ဆောင်ကြောင်း အတည်ပြုနိုင်ပါသည်။ မြန်ဆန်သော compiler သည် ၎င်းကို အရှိန်အဟုန်ဖြင့် လုပ်ဆောင်ပါသည်။"

ဤစာတမ်းသည် developer နှင့် tooling အကြား ပုံမှန်ဆက်ဆံရေးကို ပြောင်းပြန်လှန်ပစ်သည်။ AI မှထုတ်လုပ်ထားသောကုဒ်ကို လိုင်းတစ်ခုပြီးတစ်ခု ပြန်လည်သုံးသပ်ရန် output အဖြစ် ဆက်ဆံမည့်အစား Bend သည် လူသားအား အမြဲထိန်းထားရမည့် ဂုဏ်သတ္တိများကို ကြေညာပေးရန် — နှင့် မည်သည့်အရာမှ ပေါင်းစည်းခြင်းမပြုမီ ၎င်း၏အလုပ်လုပ်ပုံကို သက်သေပြစေသည်။

LAWS.bend အလုပ်လုပ်ပုံ

ဒီဇိုင်း၏ဗဟိုချက်မှာ LAWS.bend ဟုခေါ်သော ဖိုင်တစ်ခုဖြစ်ပြီး၊ ဆော့ဖ်ဝဲအင်ဂျင်နီယာများသည် ပရောဂျက်၏ပုံစံကွဲများကို ကျေနပ်စေရမည်ဟု ကြေညာထားသည်။ အယူအဆအတွက် ဆိုက်၏ tagline- "LAWS.bend သည် AgentS.md သည် အထောက်အထားဖြင့် ပံ့ပိုးထားသည်။" AGENTS.md ဖိုင်များသည် တိတ်တဆိတ် လျစ်လျူရှုနိုင်သော သဘာဝဘာသာစကား စည်းမျဉ်းများဖြင့် AI ကုဒ်ရေးသည့် အေးဂျင့်များကို ညွှန်ကြားသည့်အခါတွင် Bend ၏ ဥပဒေများကို အမျိုးအစား checker ကိုယ်တိုင်က ပြဌာန်းထားသည်။

“အဲဒီအချိန်ကစပြီး AI က သူတို့ကို ချိုးဖျက်တဲ့ လိုင်းတစ်လိုင်းကို ဘယ်တော့မှ တင်ပို့နိုင်မှာ မဟုတ်ဘူး” ဟု ဆိုက်က ပြောကြားခဲ့သည်။

ပူးတွဲပါ PROOF.bend ဖိုင်တွင် ဥပဒေတစ်ခုစီတွင် ကိုင်ဆောင်ထားသည့် စက်ဖြင့်စစ်ဆေးထားသည့် အငြင်းအခုံများပါရှိသည် — နှင့် အထူးအားဖြင့် အဆိုပါအထောက်အထားသည် လူသားမဟုတ်ဘဲ AI မှရေးသားခြင်းဖြစ်သည်။ ဆော့ဖ်ဝဲရေးသားသူသည် အမှန်ဖြစ်ရမည်ကို ဖော်ပြသည်။ ကိုယ်စားလှယ်က အထောက်အထားတွေ ဖန်တီးတယ်။

ပရောဂျက်သည် အနိုင်ရရန် မဖြစ်နိုင်ကြောင်း ဥပဒေတစ်ရပ်က ကြေငြာထားသည့် အရုပ်ဂိမ်းတစ်ခုဖြင့် စိတ်ကူးကို သရုပ်ပြသည်။ သရုပ်ပြမှုတွင်၊ အင်္ဂါရပ်တောင်းဆိုမှုအသစ်—“ဘုတ်အဖွဲ့ကို ပတ်ပတ်လည်လုပ်ပါ”— ကစားသူကို အနိုင်ရစေသည့် ချို့ယွင်းချက်တစ်ခုကို မိတ်ဆက်ပေးသည်။ LAWS.bend မပါဘဲ၊ buggy ကုဒ်သည် ပေါင်းစည်းပြီး bug သည် အသက်ရှင်နေပါသည်။ LAWS.bend ဖြင့်၊ အပြောင်းအလဲကို ပယ်ချလိုက်ပြီး ခိုင်လုံသောအထောက်အထားဖြင့် အကောင်အထည်ဖော်မှုတစ်ခုမထွက်လာမချင်း AI သည် ဆက်လက်ကြိုးစားရမည်ဖြစ်ပါသည်။ ဆိုက်တွင်ဖော်ပြထားသည့်အတိုင်း- "ချွတ်ယွင်းချက်တစ်ခုကို ပေါင်းစည်းခြင်းသည် သင်္ချာနည်းအားဖြင့် မဖြစ်နိုင်ပါ၊ ၎င်းသည် သီအိုရီတစ်ခုဖြစ်သည်။"

Speed သည် Enabler ဖြစ်သည်။

တရားဝင်အတည်ပြုခြင်းသည် အယူအဆဟောင်းတစ်ခုဖြစ်သည်။ နေ့စဉ်ဆော့ဖ်ဝဲလ်ဖွံ့ဖြိုးတိုးတက်မှုမှ ဖယ်ထားလိုက်သောအရာမှာ ကုန်ကျစရိတ်ဖြစ်သည်- Lean နှင့် Rocq ကဲ့သို့သော အထောက်အထားလက်ထောက်များသည် cryptography သို့မဟုတ် operating-system kernels အတွက် ခံနိုင်ရည်ရှိသော်လည်း တစ်နာရီလျှင် အပြောင်းအလဲများစွာပြုလုပ်နိုင်သည့် AI အေးဂျင့်အတွက် လက်တွေ့မကျသည့် အလယ်အလတ်ကုဒ်ဘေ့စ်ကို စစ်ဆေးရန် မိနစ်ပိုင်းအချိန်ယူနိုင်သည်။

Bend ၏ အဖြေမှာ အမျိုးအစား checker ကိုယ်တိုင် တစ်စက္ကန့် သို့မဟုတ် ဤနည်းဖြင့် အလုပ်လုပ်သော သက်သေ စစ်ဆေးချက်တစ်ခု ဖြစ်စေရန် ဖြစ်သည်။ ၎င်းသည် "AI အေးဂျင့်သည် ပြောင်းလဲမှုတိုင်းပြီးနောက် စစ်ဆေးနိုင်သည်" ဟု ဆိုလိုသည် — အကြီးစားအလေးချိန်၊ ပရောဂျက်၏အဆုံးသတ်အခမ်းအနားမှ အတည်ပြုချက်ကို တည်းဖြတ်မှုတိုင်းတွင် ပေါ့ပါးသောတံခါးအဖြစ်သို့ ပြောင်းလဲခြင်းဖြစ်သည်ဟု ဆိုက်ကဆိုသည်။

ပရောဂျက်၏ကိုယ်ပိုင်ဆိုက် (Apple M4 Max ပေါ်တွင်လည်ပတ်နေသော) မှထုတ်ဝေသည့်စံနှုန်းများအပေါ်အခြေခံထားသည့် စွမ်းဆောင်ရည်တောင်းဆိုချက်များသည် ဘုတ်အဖွဲ့တစ်လျှောက်တွင် ရည်မှန်းချက်ကြီးသည်-

  • Bend သည် မူလကုဒ်သို့ စုစည်းပြီး core တစ်ခုတည်းတွင် "C နီးပါးမြန်သည်" ကို လုပ်ဆောင်သည်။
  • site သည် core တစ်ခုတည်း၏အမြန်နှုန်းထက် အဆ 100 အထိ တောင်းဆိုသည့် ဆယ်ခုမြောက် cores တစ်လျှောက် သို့မဟုတ် GPU ပေါ်တွင် တူညီသော ဒွိစကေးများ။
  • Parallelism သည် အလိုအလျောက်ဖြစ်သည် — "စာတွဲများမရှိ၊ သော့မရှိ၊ ရေးရန် kernel များမရှိ" — ၎င်းသည် ရလဒ်များကို ရှာဖွေနိုင်ပြီး ရလဒ်များကို ချိတ်ဆက်နိုင်သည့် core တိုင်းတွင် runtime ခွဲထုတ်ခြင်းဖြင့် လုပ်ဆောင်သည်။

စတင်ခြင်းသည် တမင်တကာ ပွတ်တိုက်မှု ကင်းစင်သည်- တစ်ကြောင်းတည်း တပ်ဆင်ထားသော ဇာတ်ညွှန်းအပြင် အတိုအထွာတစ်ခုကို AGENTS.md တွင် ကူးထည့်ရန် ရည်ရွယ်ထားသော `bend guide` ကို လုပ်ဆောင်ရန်၊ LAWS.bend တွင် အရေးကြီးသော စည်းမျဉ်းများ ထားရှိရန် အေးဂျင့်အား ညွှန်ကြားခြင်း နှင့် မလုပ်ဆောင်မီ `bend PROOF.bend` ကို လုပ်ဆောင်ပါ။

အခုဘာလို့ အသံထွက်တာလဲ။

ဟက်ကာသတင်းတုံ့ပြန်မှု — နာရီပိုင်းအတွင်း အချက်ရာပေါင်းများစွာ — ဆော့ဖ်ဝဲရေးသားသူအသိုက်အဝန်းအတွင်း စိုးရိမ်ပူပန်မှုကြီးထွားလာမှုကို ထင်ဟပ်စေသည်။ AI ကုဒ်ရေးသည့် အေးဂျင့်များသည် ကုဒ်ကို အခမဲ့နီးပါး ထုတ်လုပ်ပေးခဲ့သော်လည်း တူညီသော အရှိန်အဟုန်ဖြင့် ၎င်းသည် စျေးသက်သာခြင်း မရှိကြောင်း အတည်ပြုသည်။ ကုဒ်ပြန်လည်သုံးသပ်ခြင်း၊ စမ်းသပ်ခြင်းနှင့် QA တို့သည် အခြေခံအားဖြင့် လူ့အရှိန်အဟုန်ဖြင့် လုပ်ဆောင်နေကြဆဲဖြစ်ပြီး ပိတ်ဆို့မှုများသည် ဆော့ဖ်ဝဲလ်ရေးသားခြင်းမှ ၎င်းအား ယုံကြည်ကိုးစားခြင်းသို့ ပြောင်းလဲသွားကြောင်း အဖွဲ့များက တိုး၍တိုး၍ သတင်းပို့ကြသည်။

Bend ၏လောင်းကြေးမှာ ယုံကြည်မှုပြဿနာကို အလုပ်အသွားအလာတွင်ထက် ဘာသာစကားဖြင့် ဖြေရှင်းခြင်းက ပိုကောင်းသည်ဟု ဆိုသည်။ ဖော်ပြထားသော မူကွဲတစ်ခုကို ချိုးဖောက်သည့် ကုဒ်ကို ကွန်ပြူတာမှ လက်ခံရန် ငြင်းဆိုပါက၊ သုံးသပ်ချက် စကားဝိုင်းသည် ပြောင်းလဲသွားသည်- လူသားများသည် စက်မှ ဖယ်ထုတ်ထားပြီးဖြစ်သော bug များကို ရှာဖွေနေခြင်းကို ရပ်တန့်ကာ ဥပဒေများသည် လုပ်ငန်းအတွက် အမှန်တကယ် လိုအပ်သည်များကို ဖမ်းယူထားခြင်း ရှိမရှိကို စတင်အာရုံစိုက်ပါ။

##သတိပေးချက်များ

၎င်း၏ကိုယ်ပိုင်စံနှုန်းများဖြင့် မိမိကိုယ်ကိုမြှင့်တင်သည့် မည်သည့်ပရောဂျက်ကဲ့သို့ပင်၊ သီးခြားအတည်ပြုချက်သည် ထင်ရှားသောနောက်မေးခွန်းတစ်ခုဖြစ်သည်။ စွမ်းဆောင်ရည်ကိန်းဂဏန်းများသည် ပရောဂျက်၏ ဝဘ်ဆိုဒ်မှ ဆင်းသက်လာပြီး သရုပ်ပြမှုသည် တမင်ရိုးရှင်းသော ဥပမာတစ်ခုဖြစ်သည်။ လက်တွေ့ကမ္ဘာကုဒ်ဘေ့စ်များတွင် ရှုပ်ထွေးသောအခြေအနေ၊ ပြင်ပစနစ်များနှင့် ပြတ်သားစွာ တရားဝင်ပြုလုပ်ခြင်းကို ခံနိုင်ရည်ရှိသော လိုအပ်ချက်များရှိသည် — တရားဝင်နည်းလမ်းများ၏ ခက်ခဲသောအပိုင်းသည် သက်သေမပြဖူးသော်လည်း သတ်မှတ်ချက်ဖြစ်သည်။

ယဉ်ကျေးမှု အတားအဆီးလည်း ရှိတယ်။ ဘာသာစကားအသစ်တစ်ခုကို လက်ခံကျင့်သုံးရန် လူသားတီထွင်သူများကို ဆွဲဆောင်ခြင်းသည် နာမည်ဆိုးဖြင့်ကျော်ကြားရန် ခက်ခဲသည်။ AI အေးဂျင့်များစာရေးခြင်းအများစုကိုလုပ်ဆောင်သော်လည်း၊ စက်ဖြင့်စစ်ဆေးနိုင်သောဥပဒေများဖြစ်သောကြောင့် ၎င်းတို့၏ပရောဂျက်၏စည်းမျဉ်းများကို encode လုပ်ရန် ဆွဲဆောင်ခြင်းသည် ပို၍ကြီးမားသောမေးခွန်းတစ်ခုဖြစ်သည်။

သို့သော် AI-ထုတ်ပေးသည့်ကုဒ်ခေတ်အတွက် ဒီဇိုင်းထုတ်ထားသော ဘာသာစကားတစ်ခုသည် မှန်ကန်သော compile-time property ဖြစ်သင့်သည်ဟူသော အဓိကထိုးထွင်းသိမြင်မှုသည်—ယခုစက်မှုလုပ်ငန်းတွင် ကြီးမားသောပြဿနာတစ်ခုအတွက် အဖြေတစ်ခုဖြစ်သည်။ Bend သည် ထိုငြင်းခုံမှုကို အတိအကျအနိုင်ရသည်ဖြစ်စေ သို့မဟုတ် ဆက်ခံသူအချို့က လမ်းကြောင်းမှန်ပေါ်လွင်နေပုံပေါ်သည်- စက်များကုဒ်ရေးသောအခါတွင် guardrails များသည် စက်ထဲသို့ရွှေ့ရန် လိုအပ်သည်။

ဆော့ဖ်ဝဲလ်တည်ဆောက်ပုံကို ပြန်လည်ပုံဖော်သည့် ကိရိယာများအကြောင်း နောက်ထပ်သိရှိရန်၊ နောက်ဆုံးပေါ် AI သတင်းများနှင့် AI ဖွံ့ဖြိုးတိုးတက်ရေးဂေဟစနစ်၏ ကျွန်ုပ်တို့၏ လက်ရှိလွှမ်းခြုံထားသော သတင်းများကို လိုက်နာပါ။

---

Stay Ahead of AI

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

Read more AI news →