সেই কম্পিউটের খরচ দিন যা ParanoidBSD শেষ করবে

সুরক্ষা-কঠোর করা একটি BSD-কে C++23-এ পোর্ট করা, হাতে করলে, এক দশকের পূর্ণ-সময়ের কাজ। আবার এটা ঠিক সেই ধরনের কাজ যেখানে ভাষা-মডেল সত্যিই কাজে লাগে — কঠোর নির্দিষ্টকরণের বিপরীতে মিলিয়ে দেখা যায় এমন যান্ত্রিক অনুবাদ, যা এই প্রযুক্তির জন্য প্রায় সবচেয়ে অনুকূল পরিস্থিতি।

নকশাটাই সেটা দেখায়। নির্ধারণবাদী পুনর্লিখনের ধাপগুলি নিরাপদে যা যা পারে সবই বিনা খরচে সামলায়। মডেল ব্যবহার হয় কেবল অবশিষ্টটুকুতে: স্টাব করা তালিকা-ভুক্তি আর যে ফাইলগুলি নির্ধারণবাদী ধাপগুলি নিতে চায়নি। তারপর প্রতিটি মডেল-আউটপুট গোনার আগে পেরোয় কম্পাইল, ASan, UBSan, ডিফারেনশিয়াল এক্সিকিউশন আর কম্পাইলারের মধ্যবর্তী উপস্থাপনার (IR) স্তরে একটি তুলনা।

সেই যাচাই ঐচ্ছিক নয়, সস্তাও নয়। প্রতিটি ফাইলে চেষ্টা হয়, পরীক্ষা হয়, প্রায়ই বাতিল হয় এবং আবার চেষ্টা হয়। খরচটা লুপে, একটিমাত্র চালনায় নয় — আর ওই লুপই মডেলের আউটপুটকে এমন কিছুতে বদলায় যা নিরাপত্তা-কেন্দ্রিক একটি অপারেটিং সিস্টেম সত্যিই পাঠাতে পারে।