HeadlinesBriefing favicon HeadlinesBriefing

Developer Community 8 Hours

×
7 articles summarized · Last updated: v1932
You are viewing an older version. View latest →

آخر تحديث: September 10, 2026, 9:27 PM ET

سلامة الطيران

أصدرت NTSB تحديثًا تحقيقيًا حول خروج طائرة B-767 عن المدرج في Miami، يتضمن تفاصيل خروج الطائرة عن السطح المعبد وفحص الوكالة المستمر لإجراءات الطاقم وظروف المطار.

الأساليب الشكلية

صدر إصدار Navier-Stokes من OpenAI مرفقًا بـإثبات Lean 4، وهي إشارة لافتة إلى أن التحقق الشكلي ينتقل من كونه فضولًا أكاديميًا إلى سير عمل رئيسي في تعلّم الآلة. وبشكل منفصل، يقترح JEP 544 الترجمة المسبقة لـ JVM، بهدف تسريع بدء التشغيل وتقليل عبء الإحماء لخدمات Java.

أدوات الذكاء الاصطناعي

نشرت OpenAI وثائق لواجهة Agents API الجديدة الخاصة بها، مما يمنح المطورين واجهة منظمة لبناء أنظمة ذاتية تستخدم الأدوات. وتجادل مقالة مرافقة بأن الإبداع الحقيقي هو الخندق الدفاعي المستدام مع تحوّل توليد الأكواد إلى سلعة.

المصادر المفتوحة والأمن

اقترح أحد المطورين "Proof of Capture"، وهو بديل مفتوح المصدر لميزة Reference Image من Apple يدمج إثبات المصدر عبر الإخفاء داخل الصور. وتوثّق مشاركة منفصلة غرائب جسدية، وهي قراءة أخف تكمل مناقشات اليوم.