تازه‌ترین مطالب
۱۰۰۸ مطلببررسی علمی و آزمایش دو ساله؛ آیا فلز مایع به کامپیوترها آسیب می‌زند؟
این ویدیو که توسط سازنده محصولات حرارتی Thermal Grizzly منتشر شده، عملکرد و خطرات استفاده از فلز مایع به عنوان جایگزین خمیر حرارتی را طی یک آزمایش دو ساله بررسی می‌کند. مباحث مطرح‌شده نگرانی‌های جدی مهندسان درباره نشت گالیوم، خوردگی فلزات و مشکلات نگهداری سخت‌افزار را برجسته می‌سازد.
بازطراحی کنترل نسخه در Anthropic؛ وقتی سیستم‌های سنتی پاسخگوی کدهای تولیدشده توسط AI نیستند
شرکت Anthropic به دلیل رشد انفجاری تغییرات کد با کمک هوش مصنوعی و رسیدن به ۳۰ هزار کامیت در روز، سیستم کنترل نسخه اختصاصی خود به نام Scion و ابزار بازبینی کد Antique را توسعه داده است. این مقاله چالش‌های مقیاس‌پذیری ابزارهای سنتی مانند Git و تجربه‌های مهندسی این گذار را بررسی می‌کند.
چگونه مدل‌های زبانی System 1 به توانمندی‌های تفکر System 2 می‌رسند؟
این مقاله بررسی می‌کند که چگونه می‌توان مدل‌های زبانی بزرگ را که ذاتاً بر پایه تفکر سریع و غریزی عمل می‌کنند، به قابلیت‌های استدلالی و کند System 2 مجهز کرد. این موضوع برای مهندسان هوش مصنوعی که به دنبال بهبود دقت و منطق در LLMها هستند، اهمیت زیادی دارد.
ردیابی ترافیک مرموز شبکه در کلاستر جهانی HRT با استفاده از eBPF
مقاله فنی شرکت Hudson River Trading نشان می‌دهد چگونه مهندسان توانسته‌اند با استفاده از تکنولوژی قدرتمند eBPF، ترافیک ناشناخته و حجیم شبکه را در کلاسترهای جهانی خود ردیابی کنند. این ابزار به توسعه‌دهندگان اجازه می‌دهد بدون دستکاری کد یا سربار زیاد، دید عمیقی روی سطح هسته سیستم‌عامل به دست آورند.
سوءاستفاده از یک باگ ۳۷ ساله در کرنل OpenBSD برای دستیابی به دسترسی روت
محققان امنیت موفق شده‌اند با استفاده از یک سرریز عدد صحیح (Integer Overflow) تاریخی که ریشه در کدهای اولیه BSD دارد، به همراه آسیب‌پذیری‌های دیگر در سیستم‌عامل OpenBSD به سطح دسترسی Root دست پیدا کنند. این پژوهش نشان می‌دهد که حتی در امن‌ترین سیستم‌عامل‌ها نیز باگ‌های پنهان قدیمی می‌توانند با تکنیک‌های دقیق مهندسی اکسپلویت شوند.
اجرای استارکرفت توسط مدل‌های هوش مصنوعی در بنچمارک StarSkirmish Bench v0.2
بنچمارک StarSkirmish ارزیابی می‌کند که مدل‌های بزرگ زبانی طی یک ساعت چطور ربات‌های بازی StarCraft را با C++ توسعه می‌دهند. این ابزار استدلال طولانی‌مدت و قابلیت‌های برنامه‌نویسی عاملیت‌پذیر (Agentic) هوش مصنوعی را به چالش می‌کشد.
حلزون‌های غول‌پیکر ۹ اینچی؛ چالش سیستماتیک فلوریدا در مهار گونه‌های مهاجم
مقاله‌ای در The Atlantic به بررسی بازگشت مجدد حلزون‌های غول‌پیکر آفریقایی به فلوریدا پرداخته است؛ گونه‌ای مهاجم با رشد نمایی که نه‌تنها تهدیدی برای کشاورزی و زیرساخت‌هاست، بلکه به عنوان ناقل انگل مرگبار کرم ریه موش شناخته می‌شود.
توسعه یک وب‌اپلیکیشن کامل با Lean 4؛ آیا اثبات‌کننده‌های قضیه برای توسعه وب آماده‌اند؟
زبان Lean 4 که بیشتر به‌عنوان یک دستیار اثبات ریاضی شناخته می‌شود، اکنون به ابزاری برای توسعه وب تبدیل شده است. یکی از توسعه‌دهندگان با ساخت بنچمارک RealWorld در Lean 4 نشان داده که چگونه ترکیب تایپ‌های وابسته، فریم‌ورک Datastar و کدنویسی مبتنی بر AI می‌تواند نرم‌افزاری بسیار کم‌حجم و از نظر ساختاری ایمن تولید کند.
کتابخانه جدید debugging در C++26؛ خداحافظی با ماکروهای اختصاصی بریک‌پوینت
استاندارد C++26 با معرفی هدر <debugging> سه تابع استاندارد برای تشخیص اتصال دیباگر و توقف برنامه (breakpoint) فراهم می‌کند. این قابلیت توسعه‌دهندگان را از نوشتن کدهای پیچیده و وابسته به کامپایلر یا سیستم‌عامل بی‌نیاز می‌سازد.
میلی‌ربات‌های مغناطیسی بی‌سیم برای دارورسانی دقیق به قلب در حال تپش
پژوهشگران با توسعه میلی‌ربات‌های مغناطیسی بی‌سیم راهکاری نوآورانه برای تحویل مستقیم دارو به بافت قلب در حال تپش ایجاد کرده‌اند. این ربات‌ها از بیرون بدن و به‌کمک میدان‌های الکترومغناطیسی کنترل می‌شوند و چالش بزرگ ناوبری در محیط‌های بیولوژیکی پویا و پرتلاطم را حل می‌کنند.
کشف تابلوهای مسروقه رنوار پشت دیوار سیمانی؛ وقتی فاکتور انسانی قوی‌ترین موانع را دور می‌زند
دو تابلوی مسروقه اثر پیر-آگوست رنوار به ارزش میلیون‌ها دلار، در حالی که پشت یک دیوار بلوک سیمانی پنهان شده بودند، در فرانسه کشف شدند. این رخداد با ردیابی DNA و بازجویی از متهمان حل شد و بار دیگر آسیب‌پذیری لایه انسانی در سناریوهای امنیتی را برجسته کرد.
بهینه‌سازی مدارهای کوانتومی با Claude؛ جهش هوش مصنوعی در محاسبات برگشت‌پذیر
محققان Anthropic با قراردادن مدل Claude در یک چرخهٔ بازخورد خودکار، موفق به طراحی مدارهای کوانتومی جدیدی شدند که رکوردهای پیشین مقالات علمی را شکسته‌اند. این مدل توانسته با بهره‌گیری از ریاضیات هوشمندانه، مصرف کیوبیت و گیت‌های گران‌قیمت را تا مرتبه‌های بزرگی کاهش دهد و مسیر دستیابی به رایانه‌های کوانتومی کاربردی را نزدیک‌تر کند.