Developer Community 8 Hours

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

التحقق الرسمي

صدر إصدار Navier-Stokes من OpenAI مصحوبًا بـ إثبات Lean 4، وهي خطوة ملحوظة في الرياضيات المُتحقَّق منها آليًا ضمن خطوط أنابيب البحث الإنتاجية. وتُقدِّم المناقشة المصاحبة لذلك دليلًا على ثورة الأساليب الرسمية الأوسع.

أدوات الوكلاء

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

الإثبات والمصدر والالتقاط

ينفّذ مشروع مفتوح المصدر جديد إثبات الالتقاط، حيث يضمّن توقيعات إخفاء معلوماتي (steganographic) في الصور للتحقق من أصل الكاميرا، ويُطرح كبديل لنظام Reference Image من Apple. وتفصّل الكتابة التقنية مخطط الترميز ومقايضاته.

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

أصدر NTSB تحديثًا تحقيقيًا حول خروج طائرة B-767 عن المدرج في Miami. ويغطي البيان الصحفي الكامل السجل الوقائعي الذي جُمع حتى الآن.

التصميم والحِرفة

تطرح مقالة الحجة القائلة إن الإبداع الحقيقي هو الميزة التنافسية المستدامة مع تحوّل المخرجات المولَّدة إلى سلعة. ويقدّم مدونة الاستوديو الحجة لصالح الذوق على حساب الإنتاجية.

غرائب

يُفهرس مقال قصير مصوّر غرائب جسدية، جامعًا طرائف تشريحية تستحق قراءة في عطلة نهاية الأسبوع.