هابی‌تکستHUBBYTEXT اپ کانال اختصاصی بساز
آی‌تی و برنامه‌نویسی

اجرای بازی کویک در مرورگر با زبان برنامه‌نویسی راست

نسخه بازسازی‌شده بازی کلاسیک کویک با زبان برنامه‌نویسی Rust اکنون در مرورگرها قابل بازی است.
منبع: Hacker News

خبرهای مرتبط RELATED

آی‌تی و برنامه‌نویسی
عامل‌های هوش مصنوعی شرکت آنتروپیک اخیراً تلاش کرده‌اند تا فرم‌های ویزا را در وب‌سایت وزارت امور خارجه تکمیل کنند. این رخداد توجه تحلیلگران حوزه فناوری را به سوی توانایی‌ها و خطرات بالقوه عاملهای هوش مصنوعی مستقل جلب کرده است. جزئیات بیشتری درباره نتایج این آزمایش و میزان موفقیت هوش مصنوعی در تکمیل دقیق فرم‌ها منتشر شده است. این موضوع بحث‌های جدیدی را درباره امنیت وب‌سایت‌های دولتی و خودمختاری سیستم‌های هوش مصنوعی ایجاد کرده است.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
نسخه دسکتاپ پیام‌رسان تلگرام دچار یک آسیب‌پذیری جدی امنیتی از نوع تزریق در ارتباطات بین‌فرآیندی شده است. این نقص به مهاجمان اجازه می‌دهد تنها با ترغیب کاربر به کلیک روی یک لینک مخرب، کنترل حساب کاربری او را به دست بگیرند. در این روش، لینک کلیک‌شده به عنوان چندین دستور مجزا خوانده شده و فایل‌های روی دیسک سیستم را قرائت می‌کند. این فرایند شامل دسترسی غیرمجاز به فایل‌های نشست کاربری و ارسال آن‌ها به مهاجم است. سیستم‌عامل‌ها معمولاً پیوندهای پروتکل را به برنامه‌های مربوطه هدایت می‌کنند، اما نقص در جداسازی دستورات این سوءاستفاده را ممکن می‌سازد. نمونه در حال اجرای تلگرام به عنوان سرور عمل کرده و اطلاعات دریافتی از پردازشگر جدید را به صورت متن پردازش می‌کند. این آسیب‌پذیری نشان‌دهنده اهمیت بالای اعتبارسنجی داده‌ها در مرزهای ارتباطی نرم‌افزارها است.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
ابزار جدیدی به نام اوریدیس برای تبدیل کدهای زبان برنامه‌نویسی راست به زبان خوانای سی توسعه یافته است. این پروژه که از سال ۲۰۲۳ آغاز شده، به عنوان بخشی از پروژه آینیاس توسط پژوهشگران مؤسسه اینریا فرانسه و مایکروسافت پشتیبانی می‌شود. هدف اصلی این ابزار فراهم کردن یک مسیر انتقالی هموار برای نرم‌افزارهای با امنیت بالا است که ابزارهای تطبیق و اعتبارسنجی آن‌ها همچنان بر پایه زبان سی کار می‌کنند. اوریدیس کدهای راست را به بازنمایی میانی تبدیل کرده و پس از اعمال تغییرات، خروجی ساختاریافته‌ای در زبان سی تولید می‌کند. این ابزار تاکنون برای کامپایل برخی روال‌های رمزنگاری پساکوانتومی با موفقیت مورد استفاده قرار گرفته است. توسعه‌دهندگان امیدوارند این راهکار به مدرن‌سازی سیستم‌های نرم‌افزاری قدیمی کمک شایانی کند.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
پژوهشگران حوزه‌ی هوش مصنوعی به دنبال ایجاد سیستم‌های خودکار برای انجام کامل پژوهش‌ها و توسعه هستند تا توانایی آن‌ها در کشف نوآوری‌های الگوریتمی ارزیابی شود. ارزیابی جدیدی به نام InnovationEval طراحی شده است تا بسامد توانایی هوش مصنوعی در کشف روش‌های نوین یادگیری ماشین مشابه با پژوهشگران انسانی را اندازه گیری کند. مدل‌های پیشرو فعلی با وجود صرف هزینه‌های کلان و زمان پردازشی هزاران دلاری، پیشرفت کمی در این زمینه داشته‌اند. این روش نیازمند اعتبارسنجی سرتاسری است تا سیستم‌های هوش مصنوعی بتوانند کل فرآیند ایده‌پردازی، پیاده‌سازی، آزمایش و تحلیل نتایج را به صورت مستقل انجام دهند. هدف نهایی این ارزیابی، ایجاد روشی واقع‌گرایانه برای بررسی پیشرفت هوش مصنوعی در دستیابی به نوآوری‌های اصیل علمی است.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
پلیس فیلادلفیا اعلام کرد که مدل هوش مصنوعی شرکت آنتروپیک گزارش دروغینی را درباره یک پرونده قتل حل‌نشده ارسال کرده است. این خبر بازتاب زیادی در وب‌سایت‌های خبری و انجمن‌های فناوری داشته و بحث‌های جدی را درباره اعتبار اطلاعات تولید شده توسط هوش مصنوعی ایجاد کرده است. پلیس و نهادهای ذی‌ربط به شدت نسبت به خطاهای سیستم‌های هوش مصنوعی در پرونده‌های جنایی هشدار داده‌اند. کارشناسان معتقدند استفاده نادرست از ابزارهای هوش مصنوعی می‌تواند روند تحقیقات پلیسی را با اختلال و انحراف جدی مواجه کند. بررسی‌های بیشتر درباره نحوه ارسال این گزارش نادرست و پیامدهای آن همچنان ادامه دارد.
منبع: Hacker News
آی‌تی و برنامه‌نویسی
گروهی از ریاضیدانان دانشگاه کمبریج اعلام کردند که شرکت اوپن‌ای‌آی در ترجمه اثبات ریاضی مسئله ناویه-استوکس به کد رایانه‌ای دچار خطای ظریفی شده است. این خطا به معنای نادرست بودن اصل اثبات نیست، بلکه نشان می‌دهد ابزارهای هوش مصنوعی ممکن است در خودکارسازی اثبات‌ها دچار اشتباه ترجمه شوند. پژوهشگران دریافتند نسخه زبان طبیعی و نسخه کدنویسی‌شده در بخش لم ۸.۶ با یکدیگر تطابق کامل ندارند. اندرس هانسن، از اعضای این تیم، هشدار داد که تکیه بر خودکارسازی هوش مصنوعی بار نظارتی سنگینی را بر دوش انسان‌ها می‌گذارد. اوپن‌ای‌آی این اثبات را در ماه سپتامبر به‌عنوان حل یکی از مهم‌ترین مسائل ریاضی جهان منتشر کرده بود.
منبع: Hacker News
📲 کانال اختصاصی علایق خودت را رایگان بساز