HeadlinesBriefing favicon HeadlinesBriefing.com

Bend: لغة تمنع أخطاء الذكاء الاصطناعي بالبرهان

Hacker News •
×

Bend لغة سريعة تمنع أخطاء الذكاء الاصطناعي عبر البرهان، وتعمل على CPU وGPU. ثبّتها باستخدام `curl -fs SL https://bend-lang.com/install.sh | sh`. أضفها إلى AGENTS.md: شغّل `bend guide`، استخدم `LAWS.bend`، شغّل `bend PROOF.bend` قبل الالتزام، ووازِ بينها.

تُصرّف Bend إلى كود أصلي، بسرعة تقارب سرعة C على نواة واحدة، وبسرعة تصل إلى 100 ضعف على GPU. مدقّق الأنواع لديها هو مدقّق براهين، يستغرق ثانية واحدة على الأكثر. وهي توازي تلقائيًا دون خيوط أو أقفال.

يعلن LAWS.bend القوانين، ولا يمكن لأي ذكاء اصطناعي أن يشحن كودًا يخرقها. شاهده يحرس لعبة: بدون LAWS.bend، انتشر خطأ إلى الإنتاج؛ ومع LAWS.bend، أعاد الذكاء الاصطناعي المحاولة حتى أثبت القانون. دمج خطأ أمر مستحيل رياضيًا.

Bend حديثة؛ توقّع وجود أخطاء. تعمل بشكل أفضل على الواجهة الخلفية وLinux وmacOS. استمتع بتطبيقات سريعة وخالية من الأخطاء مبرمجة بالذكاء الاصطناعي!

الكيانات الرئيسية: الشركات: Bend | المواقع: Linux، macOS