इस प्रोजेक्ट के बारे में

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` चलाने की आवश्यकता होती है। संकलक यांत्रिक रूप से प्रमाण लागू करता है। **भाषा विशेषताएं**: आश्रित प्रकारों के साथ Python-जैसा सिंटैक्स। एफ़िन/रैखिक प्रकार प्रणाली (मान साझा नहीं किए जा सकते)। समाप्त होने वाली पुनरावृत्ति आवश्यक है (@unsafe एस्केप के साथ)। लक्ष्य C, Metal, CUDA, JavaScript। आधार लाइब्रेरी न्यूनतम है; प्रभावों में I/O, चैनल, TCP/UDP, फ़ाइल एक्सेस शामिल हैं। **वर्तमान सीमाएं (स्पष्ट रूप से सूचीबद्ध)**: वर्बोज़ एनोटेशन, कोई टाइप क्लास/ट्रेट/मैक्रो नहीं, कोई रणनीति या प्रमाण खोज नहीं, सीमित संख्यात्मक प्रकार (केवल Nat, U32, F32), धीमे स्ट्रिंग्स (लिंक्ड लिस्ट), कोई HTTP/JSON/TLS/regex नहीं, प्रति प्रोग्राम एक GPU, कोई इंक्रीमेंटल संकलन नहीं, धीमा नेटिव संकलन, न्यूनतम टूलिंग (कोई LSP, डिबगर, फॉर्मेटर, REPL नहीं), संकलक बड़े पैमाने पर AI-लिखित और अनऑडिटेड है। परियोजना में Lean में औपचारिकीकरण (bend.lean), शैक्षणिक पेपर (BendTT टाइप थ्योरी, BendRT रनटाइम), और बढ़ता हुआ डेमो संग्रह शामिल है। सामुदायिक चैनल: Discord, Reddit, X/Twitter। प्रदान की गई सामग्री में लाइसेंस निर्दिष्ट नहीं है।