بحث
البرمجة
Leanstral 1.5: كيف يساعد AI في إثبات خصائص الشفرة؟
أطلقت Mistral النموذج في 2 يوليو. قراءة بتاريخ 5 يوليو في الفرق بين اقتراح برنامج وإثبات خاصية محددة فيه باستخدام Lean 4.
الحواسيب
إتاحة Linux 7.2-rc1 وبدء مرحلة الاختبار والاستقرار
أطلق Linus Torvalds أول نسخة مرشحة من Linux 7.2 في 28 يونيو، مع إغلاق نافذة الدمج وانتقال التركيز إلى إصلاح المشكلات.