برنامه‌نویسی و ابزار توسعه
ما هر روز صدها خبر را می‌خوانیم. اینجا فقط مهم‌ترین‌ها هستند — کوتاه، با کلمه‌های خودمان، با لینک به منبع اصلی.
- سیستم‌عامل · موبایل و اپ‌ها · برنامه‌نویسی و ابزار توسعه
Android 17 QPR2 برای پیکسل‌ها منتشر شد
Android 17 QPR2 همراه با Feature Drop نوامبر پیکسل منتشر شد. این نسخه شخصی‌سازی بیشتر رنگ و والپیپر، APIهای جدید برای جلوه‌های محو و شیشه‌ای و کنترل‌های جدید نوار وضعیت و اعلان‌ها را دارد.
خبر کامل در Droid Life ↗ - هوش مصنوعی · امنیت سایبری · برنامه‌نویسی و ابزار توسعه
عامل‌های هوش مصنوعی رمزنگاری سیگنال را تایید کردند
گوگل دیپ‌مایند از AlphaProof Code رونمایی کرد که عامل‌های آن سه میلیون خط اثبات به زبان Lean نوشته‌اند. این سامانه برای تأیید رمزنگاری اصلی اپلیکیشن سیگنال به کار رفت.
خبر کامل در Google DeepMind ↗ - هوش مصنوعی · امنیت سایبری · برنامه‌نویسی و ابزار توسعه
AlphaProof Code هسته رمزنگاری Signal را در چهار هفته راستی‌آزمایی کرد
AlphaProof Code از Google Deepmind هسته رمزنگاری Signal را در چهار هفته به‌صورت ریاضی تأیید کرد، کاری که معمولاً سال‌ها طول می‌کشد. عامل‌های مبتنی بر Gemini Carbon بیش از شش میلیون خط کد اثبات نوشتند و حدود یک درصد برای بررسی انسانی علامت خورد.
خبر کامل در The Decoder ↗ - امنیت سایبری · برنامه‌نویسی و ابزار توسعه · اوپن‌سورس
گیت شش آسیب‌پذیری امنیتی را برطرف کرد
پروژه Git نسخه‌های جدیدی برای رفع شش آسیب‌پذیری منتشر کرده است، از جمله اجرای کد هنگام کلون بازگشتی و خرابی حافظه. اصلاحات در Git 2.56.1 و نسخه‌های قدیمی‌تر پشتیبانی‌شده آمده است.
خبر کامل در github.blog ↗ - هوش مصنوعی · معرفی مدل‌های هوش مصنوعی · برنامه‌نویسی و ابزار توسعه
گوگل Gemini Decisions API را معرفی کرد
این API بر پایه مدل Gemini Decision کار می‌کند. هدف آن ارائه تصمیم‌های چندوجهی سریع و کالیبره‌شده است.
خبر کامل در blog.google ↗
متن‌های کوتاه را یک هوش مصنوعی از خبرهای منبع می‌نویسد.
رایگان با ایمیل
موضوع‌هایتان را انتخاب کنید. فقط مهم‌ترین خبرهای همان موضوع‌ها را می‌گیرید.