HeadlinesBriefing favicon HeadlinesBriefing.com

Bend: প্রমাণে AI ভুল ব্লক করার ভাষা

Hacker News •
×

Bend একটি দ্রুত ভাষা যা প্রমাণের মাধ্যমে AI ভুল ব্লক করে, CPU ও GPU-তে চলে। `curl -fs SL https://bend-lang.com/install.sh | sh` দিয়ে ইনস্টল করুন। AGENTS.md-এ যোগ করুন: `bend guide` চালান, `LAWS.bend` ব্যবহার করুন, কমিট করার আগে `bend PROOF.bend` চালান, সমান্তরাল করুন।

Bend নেটিভ কোডে কম্পাইল হয়, একটি কোর-এ প্রায় C-এর মতো দ্রুত, এবং GPU-তে 100 গুণ পর্যন্ত দ্রুত। এর টাইপ চেকার একটি প্রমাণ চেকার, যা সর্বোচ্চ এক সেকেন্ড নেয়। এটি থ্রেড বা লক ছাড়াই স্বয়ংক্রিয়ভাবে সমান্তরাল করে।

LAWS.bend আইন ঘোষণা করে, এবং কোনো AI এমন কোড শিপ করতে পারে না যা সেগুলো ভাঙে। এটি একটি গেম পাহারা দিতে দেখুন: LAWS.bend ছাড়া, একটি বাগ লাইভে চলে গিয়েছিল; LAWS.bend সহ, AI আইন প্রমাণ না করা পর্যন্ত পুনরায় চেষ্টা করেছিল। একটি বাগ মার্জ করা গাণিতিকভাবে অসম্ভব।

Bend নতুন; বাগ আশা করুন। ব্যাক-এন্ড, Linux এবং macOS-এ সবচেয়ে ভালো কাজ করে। বাগ-মুক্ত, দ্রুত ভাইব-কোডেড অ্যাপ উপভোগ করুন!

মূল সত্তা: কোম্পানি: Bend | অবস্থান: Linux, macOS