
مدیریت حافظه ایمن در برابر اشارهگرهای خطرناک در معماری Cpp2Rust
ابزار جدید Cpp2Rust با استفاده از تحلیل ساختاری کد، فرآیند دشوار تبدیل دستی C++ به Rust را حذف میکند. این سامانه با جایگزینی اشارهگرهای خطرناک با مدلهای مدیریت حافظه ایمن،…
موضوع
۳۰۷ مقاله منتشر شده

ابزار جدید Cpp2Rust با استفاده از تحلیل ساختاری کد، فرآیند دشوار تبدیل دستی C++ به Rust را حذف میکند. این سامانه با جایگزینی اشارهگرهای خطرناک با مدلهای مدیریت حافظه ایمن،…

پلتفرم Runloom با معرفی کوروتینهای مدل Go برای پایتون بدون GIL، امکان اجرای میلیونها تسک همزمان بر روی تمام هستههای CPU را فراهم کرد. بنچمارکها نشان میدهند این سیستم در نرخ…

گوگل مدل بنیادی SensorFM را برای تحلیل دادههای حسگرهای پوشیدنی معرفی کرد که بر روی یک تریلیون دقیقه داده آموزش دیده است. این مدل در ۳۱ مورد از ۳۵ تکلیف بالینی، از جمله تشخیص…

انتخاب نادرست بکاند در مکانیزم توجه PyTorch میتواند سرعت استنتاج را تا ۳.۷ برابر کاهش دهد. این تحلیل نشان میدهد چگونه هستههای ادغامشده مانند FlashAttention با کاهش انتقال…

بارتوش ناسکرکی، ریاضیدان محاسباتی، با کمک GPT-5.6 توانست یک مسئله قدیمی در هندسه جبری را با یافتن یک مثال نقض حل کند. این موفقیت، انتقال هوش مصنوعی از یک ابزار محاسباتی ساده به…

آمازون (AWS) با عرضه یک سرور مبتنی بر پروتکل MCP، امکان جستوجوی دادههای علمی و اقلیمی را برای عاملهای هوش مصنوعی فراهم کرد. این اقدام اصطکاک در بازیابی دادهها را حذف کرده و…

یک پژوهشگر ارشد گزارش داده است که مدل Fable متعلق به آنتروپیک بهدلیل کالیبراسیون بیشازحد لایههای ایمنی، درخواستهای تخصصی در علوم کامپیوتر و بیوانفورماتیک را بهاشتباه رد…

سیستم جدید MOCA به کاوشگرهای سیارهای اجازه میدهد بدون فراموش کردن پروتکلهای ایمنی، ویژگیهای زمینشناختی جدید را در لحظه یاد بگیرند. این متد زمان انطباق سختافزاری را در…

رانتایم جدید l با اجرای دستورات مستقیماً روی بایتهای فشرده، گلوگاه پهنای باند حافظه را حذف کرده است. این رویکرد نیاز به رمزگشایی آرایهها را از بین میبرد و سرعت اجرای کوئریها…

تحلیلهای جدید نشان میدهد مدلهای زبانی بزرگ قادر به تشخیص ابطال مقالات علمی پس از تاریخ قطع آموزش خود نیستند. در حالی که مدلها موارد قدیمی و مشهور را میشناسند، مقالات بهتازگی…

استارتاپ انگلیسی Mass Balance یک آزمایشگاه خودکار را به مدار زمین فرستاد تا دادههای باکیفیت از پروتئینهای بیماریزا جمعآوری کند. هدف این پروژه، آموزش مدلهای هوش مصنوعی برای…

یک گردشکار خودگردان AI با ترکیب مدلسازی QSAR و بازترکیب تکههای BRICS، مهارکنندههای جدیدی برای جهش C797S در سرطان ریه شناسایی کرد. این سامانه با تحلیل دادههای ChEMBL و…