নতুন স্টার্টআপ &Truth লক্ষ্য রাখছে সফটওয়্যার প্রুফ চেকিং স্বয়ংক্রিয় করার
&Truth নামে একটি নতুন স্টার্টআপ সফটওয়্যার ফর্মাল ভেরিফিকেশন স্বয়ংক্রিয় করার প্রতিযোগিতায় নামছে। এই পদ্ধতি ধীর ও কঠিন, এতে গণিতের সাহায্যে যাচাই করা হয় যে সফটওয়্যার তার উদ্দেশ্য অনুযায়ী ঠিক কাজ করছে কি না। প্রতিবেদনটির মতে, এটি ভাইব কোডিং-এর একটি সম্ভাব্য সমাধান হতে পারে। ভাইব কোডিং হল এআই-এর সাহায্যে দ্রুত সফটওয়্যার তৈরি করার প্রবণতা।
সহজ শব্দকোষ&Truth, formal verification, vibe coding
- &Truth
- &Truth — একটি নতুন স্টার্টআপ কোম্পানি, যা প্রতিবেদন অনুযায়ী সফটওয়্যার চেকিং স্বয়ংক্রিয় করার কাজে যুক্ত হচ্ছে।
- formal verification
- formal verification — গণিতের সাহায্যে প্রমাণ করার একটি পদ্ধতি যে সফটওয়্যার সঠিকভাবে কাজ করে, এবং তাতে কোনো লুকানো ত্রুটি নেই।
- vibe coding
- vibe coding — এআই বেশিরভাগ কোড লেখার সময় মানুষ শুধু মোটামুটি দিকনির্দেশনা দিয়ে দ্রুত সফটওয়্যার তৈরি করা।
বার্নিং পটেটো স্কোর: 69%