ភាសាសរសេរកម្មវិធីមួយឈ្មោះថា Bend បានឡើងដល់កំពូលនៃ Hacker News នៅសប្តាហ៍នេះ ដោយទទួលបាន 278 ពិន្ទុ និងការជជែកដេញដោលនៅទំព័រមុខជាមួយនឹងទីលានដែលមានគោលបំណងតម្រង់ទិសនៅយុគសម័យសរសេរកូដ AI៖ ភាសាដែលធ្វើឱ្យវាមិនអាចគណនាបានសម្រាប់ភ្នាក់ងារ AI ក្នុងការដឹកជញ្ជូនកូដដែលបំពានច្បាប់របស់អ្នក។

គេហទំព័ររបស់គម្រោងពិពណ៌នា Bend ថាជា "ភាសារហ័សដែលរារាំងកំហុស AI តាមរយៈភស្តុតាង" ដោយសន្យាថានឹងមានការរួមបញ្ចូលគ្នាមិនធម្មតានៃលក្ខណៈ៖ ការចងក្រងដើមដែលមានល្បឿន C, ភាពស្របដោយស្វ័យប្រវត្តិឆ្លងកាត់ស្នូលស៊ីភីយូ និង GPU ដែលមានសមត្ថភាព CUDA, ភស្តុតាងផ្លូវការរចនាប័ទ្មគ្មានខ្លាញ់ និងវាក្យសម្ព័ន្ធដូច Python ។ 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 ដែលធ្វើការផ្លាស់ប្តូររាប់សិបក្នុងមួយម៉ោង។

ចម្លើយរបស់ Bend គឺធ្វើឱ្យអ្នកត្រួតពិនិត្យប្រភេទខ្លួនវាជាអ្នកត្រួតពិនិត្យភស្តុតាងដែលដំណើរការក្នុងរយៈពេលមួយវិនាទី ឬតិចជាងនេះ។ គេហទំព័រនេះនិយាយថា នេះមានន័យថា "ភ្នាក់ងារ AI អាចពិនិត្យបន្ទាប់ពីរាល់ការផ្លាស់ប្តូរ" — បង្វែរការផ្ទៀងផ្ទាត់ពីពិធីបញ្ចប់គម្រោងទម្ងន់ធ្ងន់ទៅជាច្រកទ្វារទម្ងន់ស្រាលនៅរាល់ការកែសម្រួលនីមួយៗ។

ការអះអាងអំពីការអនុវត្ត ដែលផ្អែកលើស្តង់ដារដែលបានចេញផ្សាយនៅលើគេហទំព័រផ្ទាល់របស់គម្រោង (ដំណើរការលើ Apple M4 Max) មានមហិច្ឆតាពេញក្រុមប្រឹក្សាភិបាល៖

  • ពត់ចងក្រងជាកូដដើម ហើយដំណើរការ "លឿនដូច C" នៅលើស្នូលតែមួយ។
  • មាត្រដ្ឋានគោលពីរដូចគ្នានៅទូទាំងដប់ប្រាំមួយស្នូល ឬនៅលើ GPU ដែលគេហទំព័រទាមទាររហូតដល់ 100 ដងនៃល្បឿននៃស្នូលតែមួយ។
  • Parallelism គឺដោយស្វ័យប្រវត្តិ — "គ្មានខ្សែស្រឡាយ គ្មានសោ គ្មានខឺណែលដែលត្រូវសរសេរ" — ជាមួយនឹងដំណើរការបំបែកពេលវេលាដំណើរការនៅគ្រប់ស្នូលដែលវាអាចស្វែងរក និងចូលរួមលទ្ធផល។

ការចាប់ផ្តើមគឺគ្មានការកកិតដោយចេតនា៖ ស្គ្រីបដំឡើងមួយជួរ បូកនឹងព័ត៌មានខ្លីៗដែលមានន័យថាត្រូវបានបិទភ្ជាប់ទៅក្នុង AGENTS.md ដោយណែនាំភ្នាក់ងារឱ្យដំណើរការ `bend guide` រក្សាច្បាប់សំខាន់ៗនៅក្នុង LAWS.bend និងដំណើរការ `bend PROOF.bend` មុនពេលធ្វើការ។

ហេតុអ្វី​បាន​ជា​វា​នៅ​ពេល​នេះ​

ការឆ្លើយតបរបស់ Hacker News — រាប់រយចំណុចក្នុងរយៈពេលប៉ុន្មានម៉ោង — បង្ហាញពីការថប់បារម្ភដែលកំពុងកើនឡើងនៅក្នុងសហគមន៍អ្នកអភិវឌ្ឍន៍។ ភ្នាក់ងារសរសេរកូដ AI បានបង្កើតកូដដែលស្ទើរតែឥតគិតថ្លៃ ប៉ុន្តែការផ្ទៀងផ្ទាត់វាមិនមានតម្លៃថោកជាងក្នុងល្បឿនដូចគ្នានោះទេ។ ការពិនិត្យកូដ ការធ្វើតេស្ត និង QA នៅតែជាមូលដ្ឋាននៃដំណើរការល្បឿនរបស់មនុស្ស ហើយក្រុមការងាររាយការណ៍កាន់តែខ្លាំងឡើងថា ឧបសគ្គបានផ្លាស់ប្តូរពីការសរសេរកម្មវិធីទៅជាការជឿជាក់លើវា។

ការភ្នាល់របស់ Bend គឺថាបញ្ហាទុកចិត្តត្រូវបានដោះស្រាយជាភាសាប្រសើរជាងក្នុងដំណើរការការងារ។ ប្រសិនបើអ្នកចងក្រងបដិសេធមិនទទួលយកកូដដែលបំពានលើវិចារណញាណដែលបានបញ្ជាក់ ការសន្ទនាពិនិត្យឡើងវិញនឹងផ្លាស់ប្តូរ៖ មនុស្សឈប់ស្វែងរកកំហុសដែលម៉ាស៊ីនបានដកចេញរួចហើយ ហើយចាប់ផ្តើមផ្តោតលើថាតើច្បាប់ខ្លួនឯងចាប់យកអ្វីដែលអាជីវកម្មត្រូវការពិតប្រាកដ។

ការព្រមាន

ដូចគ្នានឹងគម្រោងណាមួយដែលផ្សព្វផ្សាយដោយខ្លួនវាផ្ទាល់ តាមរយៈស្តង់ដាររបស់វា ការផ្ទៀងផ្ទាត់ឯករាជ្យគឺជាសំណួរបន្ទាប់ជាក់ស្តែង។ តួលេខនៃការអនុវត្តបានមកពីគេហទំព័ររបស់គម្រោង ហើយការបង្ហាញគឺជាឧទាហរណ៍ដ៏សាមញ្ញដោយចេតនា។ មូលដ្ឋានកូដក្នុងពិភពពិតមានសភាពរញ៉េរញ៉ៃ ប្រព័ន្ធខាងក្រៅ និងតម្រូវការដែលទប់ទល់នឹងទម្រង់បែបបទច្បាស់លាស់ - ផ្នែករឹងនៃវិធីសាស្ត្រផ្លូវការមិនដែលត្រូវបានបញ្ជាក់ទេ ប៉ុន្តែការបញ្ជាក់។

វាក៏មានឧបសគ្គខាងវប្បធម៌ផងដែរ។ ការបញ្ចុះបញ្ចូលអ្នកអភិវឌ្ឍន៍មនុស្សឱ្យទទួលយកភាសាថ្មីគឺពិបាកខ្លាំងណាស់។ ការបញ្ចុះបញ្ចូលពួកគេឱ្យអ៊ិនកូដច្បាប់នៃគម្រោងរបស់ពួកគេ ដោយសារច្បាប់ដែលអាចត្រួតពិនិត្យដោយម៉ាស៊ីន គឺជាការសួរកាន់តែធំ ទោះបីជាភ្នាក់ងារ 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 →