প্রকল্প সম্পর্কে

Bend 2 একটি নতুন প্রোগ্রামিং ভাষা যা পোস্ট-AGI যুগের জন্য ডিজাইন করা হয়েছে, যেখানে মানুষ AI সিস্টেমে অস্পষ্টতা-মুক্ত ভাষার মাধ্যমে উদ্দেশ্য প্রকাশ করে। এর মূল উদ্ভাবন হল LAWS.bend — একটি প্রক্রিয়া যেখানে ডেভেলপাররা অপরিবর্তনীয় শর্ত (আইন) ঘোষণা করে যা AI-কে যেকোনো কোড পরিবর্তনের জন্য গাণিতিকভাবে প্রমাণ করতে হয়, ফলে এই নিয়ম লঙ্ঘনকারী বাগ একীভূত করা গাণিতিকভাবে অসম্ভব হয়ে পড়ে। README-তে প্রদর্শিত মূল ক্ষমতা: **কর্মক্ষমতা**: CPU-তে C-স্তরের গতি এবং GPU-তে CUDA-স্তরের গতি লক্ষ্য করে। বেঞ্চমার্ক প্রতিযোগিতামূলক একক-কোর কর্মক্ষমতা এবং হাজার হাজার কোর জুড়ে বিশাল সমান্তরাল স্কেলিং দেখায়। কম্পাইলার অপ্টিমাইজেশনের জন্য শক্তিশালী টাইপ, বিশুদ্ধতা এবং রৈখিকতা ব্যবহার করে। **প্রমাণ পরীক্ষা**: Isabelle, Agda, Lean বা Coq-এর তুলনায় অর্ডার-অফ-ম্যাগনিটিউড দ্রুত যাচাইকরণ দাবি করে, জটিল প্রমাণ এক সেকেন্ডেরও কম সময়ে পরীক্ষা করে। **অন্তর্নিহিত সমান্তরালতা**: থ্রেড, লক বা কার্নেল লেখার প্রয়োজন নেই। ডিভাইড-এন্ড-কনকার ফাংশন স্বয়ংক্রিয়ভাবে সমস্ত উপলব্ধ CPU/GPU কোর জুড়ে ছড়িয়ে পড়ে। উদাহরণ দেখায় pow2(20) 4,096 GPU কোর জুড়ে বিতরণ হচ্ছে। **AI সহযোগিতা কর্মপ্রবাহ**: AI-সহায়ক উন্নয়নের জন্য ডিজাইন করা হয়েছে। ডেভেলপাররা LAWS.bend-এ আইন লেখে (যেমন, "ব্যালেন্সের যোগফল শূন্য হতে হবে", "খেলোয়াড়রা দেয়াল ভেদ করতে পারবে না"), তারপর AI-কে কমিট করার আগে `bend PROOF.bend` চালাতে বাধ্য করে। কম্পাইলার যান্ত্রিকভাবে প্রমাণ প্রয়োগ করে। **ভাষা বৈশিষ্ট্য**: নির্ভরশীল টাইপ সহ পাইথন-সদৃশ সিনট্যাক্স। অ্যাফাইন/লিনিয়ার টাইপ সিস্টেম (মান ভাগ করা যায় না)। সমাপ্ত পুনরাবৃত্তি প্রয়োজন (@unsafe এস্কেপ সহ)। লক্ষ্য: C, Metal, CUDA, JavaScript। বেস লাইব্রেরি ন্যূনতম; প্রভাবগুলির মধ্যে I/O, চ্যানেল, TCP/UDP, ফাইল অ্যাক্সেস অন্তর্ভুক্ত। **বর্তমান সীমাবদ্ধতা (স্পষ্টভাবে তালিকাভুক্ত)**: দীর্ঘ অ্যানোটেশন, টাইপ ক্লাস/ট্রেইট/ম্যাক্রো নেই, ট্যাকটিক্স বা প্রমাণ অনুসন্ধান নেই, সীমিত সংখ্যাসূচক টাইপ (শুধুমাত্র Nat, U32, F32), ধীর স্ট্রিং (লিঙ্কড লিস্ট), HTTP/JSON/TLS/রেজেক্স নেই, প্রতি প্রোগ্রামে একক GPU, ইনক্রিমেন্টাল কম্পাইলেশন নেই, ধীর নেটিভ কম্পাইলেশন, ন্যূনতম টুলিং (LSP, ডিবাগার, ফরম্যাটার, REPL নেই), কম্পাইলার মূলত AI-লিখিত এবং নিরীক্ষিত নয়। প্রকল্পটিতে Lean-এ আনুষ্ঠানিককরণ (bend.lean), একাডেমিক পেপার (BendTT টাইপ থিওরি, BendRT রানটাইম) এবং ক্রমবর্ধমান ডেমো সংগ্রহ অন্তর্ভুক্ত। কমিউনিটি চ্যানেল: Discord, Reddit, X/Twitter। প্রদত্ত উপাদানে লাইসেন্স উল্লেখ নেই।