بحث
إطلاق Isaac ROS 5.0: NVIDIA تضيف مسارات AI إلى تطوير برمجيات الروبوتات
إصدار 22 سبتمبر يجمع حزم ROS المسرعة بالمعالج الرسومي ومسارات تطوير جديدة. مساعدة البرمجة والتحقق من سلوك آلة فعلية مرحلتان مختلفتان.
Tailwind Labs تنضم إلى Shopify مع استمرار Tailwind CSS بترخيص MIT
أعلن Adam Wathan الخطوة في 9 سبتمبر. يوضح تقرير 10 سبتمبر الفرق بين المشروع المفتوح المصدر والمنتجات التجارية المحيطة به.
صدور Linux 7.3‑rc2: نسخة اختبار تحمل إصلاحات واسعة
يشمل إعلان Linus Torvalds إصلاحات للتعريفات وأنظمة الملفات والأدوات. وتظل rc2 ضمن مرحلة الاختبار، وليست الإصدار النهائي من Linux 7.3.
ماذا يعني اتفاق AWS وDuckLabs لمطوري DuckDB؟
اتفاق 26 أغسطس يتعلق بالشركة التي تقف وراء DuckDB. وتؤكد الإعلانات استمرار المشروع المفتوح المصدر وترخيص MIT مع بقاء الإتمام مشروطًا.
صدور Linux 7.2: لماذا تراجعت بعض التغييرات قبل النسخة النهائية؟
قراءة في إصدار Linux 7.2 الذي أُعلن في 16 أغسطس بتوقيت UTC. قد يكون التراجع عن تعديل جزءًا من حماية الاستقرار، وليس مجرد تقليل قائمة الميزات.
Google تقدم تحققًا رسميًا لسياسات CEL باستخدام Z3
يستهدف إطار 18 أغسطس أخطاء المنطق في القواعد والسياسات. وتبقى صياغة الخاصية المطلوب إثباتها وحدود النموذج جزءًا أساسيًا من التقييم.
Leanstral 1.5: كيف يساعد AI في إثبات خصائص الشفرة؟
أطلقت Mistral النموذج في 2 يوليو. قراءة بتاريخ 5 يوليو في الفرق بين اقتراح برنامج وإثبات خاصية محددة فيه باستخدام Lean 4.
إتاحة Linux 7.2-rc1 وبدء مرحلة الاختبار والاستقرار
أطلق Linus Torvalds أول نسخة مرشحة من Linux 7.2 في 28 يونيو، مع إغلاق نافذة الدمج وانتقال التركيز إلى إصلاح المشكلات.