Professionalspec-guardian1 ঘণ্টা আগে

spec-guardian দিয়ে AI-লেখা কোড formal spec-এর সঙ্গে মিলিয়ে দেখা যাবে

spec-guardian হল একটি open-source GitHub প্রজেক্ট, যা Hacker News-এ শেয়ার করা হয়েছে। এটি formal specification ব্যবহার করে দেখে যে AI দিয়ে বানানো implementation লেখা spec অনুযায়ী ঠিকভাবে কাজ করছে কি না। যে ডেভেলপাররা AI-লেখা কোড পরীক্ষা করতে একটি স্পষ্ট, লিখিত spec চান, এটি তাঁদের জন্য। পোস্টটিতে এখন পর্যন্ত খুব কম ভোট পড়েছে, তাই এটি এখনও প্রাথমিক পর্যায়ে আছে।

github.com