العلامات الشائعة：
الافتراضية أمان DNS التحقق الرسمي تحليل قابلية الوصول أخطاء المترجم تضارب الماكرو امتدادات الويب إطار عمل تطوير كومودور 64 بياسيك 2.0 جميع العلامات

وضع "التعلّم معًا" الجديد في ChatGPT: معلم ذكاء اصطناعي أم مُيسّر للغش؟

2025-07-08
وضع

يُفيد بعض مشتركي ChatGPT Plus بوجود ميزة جديدة تسمى "التعلّم معًا". وبدلاً من الإجابة مباشرة على المطالبات، يُقال إن هذا الوضع يطرح أسئلة، مما يدفع المستخدمين للمشاركة بنشاط، مثل معلم ذكاء اصطناعي. هناك تكهنات حول ما إذا كان سيتطور إلى ميزة مجموعة دراسية متعددة المستخدمين ومدى فعاليتها في منع الغش الأكاديمي. لم تُصدر OpenAI أي تعليق، ويبقى ChatGPT نفسه غامضًا بشأن إطلاق الميزة على نطاق أوسع. يُبرز هذا الوضع الجديد الدور المزدوج لـ ChatGPT في التعليم: فهو يمكن أن يُساعد في التعلّم، ولكنه يُمكن أن يُسهّل الغش أيضًا؛ وقد تكون ميزة "التعلّم معًا" محاولة من OpenAI لتوجيه الاستخدام نحو تطبيقات إيجابية.

اقرأ المزيد
(techcrunch.com)
الذكاء الاصطناعي التعليم بالذكاء الاصطناعي وضع الدراسة

أنيمي نتفليكس يهيمن على البث العالمي: أكثر من مليار مشاهدة في عام 2024

2025-07-08
أنيمي نتفليكس يهيمن على البث العالمي: أكثر من مليار مشاهدة في عام 2024

كشفت نتفليكس عن النجاح الهائل لاستراتيجيتها في مجال الأنمي في معرض أنيمي إكسبو. أكثر من مليار مشاهدة على مستوى العالم في عام 2024، مع أكثر من 50٪ من أعضائها (يُقدر عددهم بـ 300 مليون مشاهد) يشاهدون الأنمي. تضاعفت المشاهدات ثلاث مرات في خمس سنوات، مع 33 عنوان أنمي في قائمة أفضل 10 أعمال عالمية على نتفليكس (غير إنجليزية) في عام 2024. لتلبية الطلب، تقدم نتفليكس الآن نسخًا مدبلجة وترجمة أسفل الشاشة بما يصل إلى 33 لغة. تشمل العناوين القادمة فيلم "أيام ساكاموتو" المليء بالحركة، و"سايبر بانك: إيدجرانرز 2" المنتظر بشدة، و"ميلودي الجميلة وكورومي" الجذاب، وأكثر من ذلك بكثير، مما يُظهر مجموعة متنوعة من الأنواع التي تُرسخ هيمنة نتفليكس على عالم الأنمي.

اقرأ المزيد
(www.hollywoodreporter.com)
الألعاب البث العالمي

إعلان F1 كامل الشاشة في تطبيق Apple TV: معيار مزدوج؟

2025-07-08
إعلان F1 كامل الشاشة في تطبيق Apple TV: معيار مزدوج؟

أثار إعلان كامل الشاشة لفيلم F1 في تطبيق Apple TV، والذي يربط مباشرةً بموقع ويب لشراء التذاكر، جدلاً واسعاً. يبدو أن قواعد Apple الصارمة المتعلقة بالشراء داخل التطبيق (IAP)، والتي تُفرض على المطورين الآخرين، تُطبق بشكل غير متسق هنا. وتجادل المقالة بأن شراء تذاكر السينما ليس "محتوى رقميًا" وبالتالي فهو معفى من IAP، وهي نقطة اختلاف قد تكون محيرة لمعظم المستخدمين. هذا التناقض يثير تساؤلات حول تجربة المستخدم وشفافية سياسات Apple. هذه نبأ تكنولوجي.

اقرأ المزيد
(daringfireball.net)
التكنولوجيا شراء داخل التطبيق

حكومة دلهي تتراجع عن حظر السيارات القديمة المثير للجدل بعد ردود فعل عامة

2025-07-08
حكومة دلهي تتراجع عن حظر السيارات القديمة المثير للجدل بعد ردود فعل عامة

تراجعت حكومة دلهي عن خطة لحظر السيارات القديمة من طرق المدينة بعد معارضة عامة كبيرة. أثارت الخطة، التي كانت ستستخدم كاميرات التعرف التلقائي على لوحات الترخيص (ANPR) في محطات الوقود لمنع تزويد السيارات القديمة بالوقود، غضباً واسعاً، خاصة بين الطبقة المتوسطة. أدت مخاوف بشأن صعوبات التنفيذ والآثار الاقتصادية، بالإضافة إلى التحديات التكنولوجية وعدم التنسيق بين الولايات، إلى التراجع عن السياسة. وبينما تلتزم بمكافحة تلوث الهواء، أقرت الحكومة بضرورة تحقيق التوازن بين الشواغل البيئية والاحتياجات الاجتماعية والاقتصادية لمواطنيها، واختارت حلولاً للنقل المستدام على المدى الطويل.

اقرأ المزيد
(nz.news.yahoo.com)
متنوع حظر السيارات حكومة دلهي

استراتيجية نينتندو لمواجهة ارتفاع تكاليف تطوير سويتش 2

2025-07-08
استراتيجية نينتندو لمواجهة ارتفاع تكاليف تطوير سويتش 2

في مواجهة ارتفاع تكاليف تطوير ألعاب سويتش 2، اعترف رئيس نينتندو، شونتارو فوروغاوا، بزيادة المخاطر، لكنه أكد أن الشركة تستكشف طرقًا مختلفة للحفاظ على نهجها التقليدي في تطوير الألعاب. ويشمل ذلك الاستثمار في عمليات تطوير أكثر كفاءة وتطوير المزيد من الألعاب الأصغر حجماً لتقليل التكاليف والأسعار. على الرغم من أن ألعاب سويتش 2 مثل ماريو كارت وورلد تُظهر طموحًا أكبر وأسعارًا أعلى، إلا أن نينتندو تدرك العقبة المحتملة التي يمثلها السعر وتراقب الوضع عن كثب. وهذا يتناقض مع عمليات التسريح الجماعي وإلغاء الألعاب التي شوهدت في شركات أخرى، مما يبرز النهج الحذر والعملي الذي تتبعه نينتندو.

اقرأ المزيد
(www.theverge.com)
الألعاب سوييتش 2 تكاليف تطوير الألعاب

إبِك غيمز تتسوية مع سامسونج، مُنهيةً معركة متجر التطبيقات

2025-07-08
إبِك غيمز تتسوية مع سامسونج، مُنهيةً معركة متجر التطبيقات

بعد النجاح الكبير الذي حققته لعبة فورتنايت، سعت إبِك غيمز بقوة إلى نشر متجر تطبيقاتها على المزيد من الهواتف، مما أدى إلى معارك قانونية. بعد الفوز في قضية احتكار ضد جوجل في أواخر عام 2023، رفعت إبِك دعوى قضائية ضد سامسونج بسبب ميزة "حظر التلقائي" التي تعيق تثبيت تطبيقات الجهات الخارجية، بما في ذلك متجر إبِك غيمز. قبل أيام من إطلاق هاتف سامسونج الجديد، توصلوا إلى تسوية. نشأ النزاع من تحدي إبِك لسياسات متاجر تطبيقات أبل وجوجل، مما أدى إلى إزالة فورتنايت. وعلى الرغم من فوز أبل، إلا أن جوجل خسرت، حيث أثبتت إبِك جهود جوجل في خنق المنافسة. تُنهي هذه التسوية فصلاً مهماً في معركة إبِك من أجل الوصول إلى متجر التطبيقات.

اقرأ المزيد
(arstechnica.com)
الألعاب إبِك غيمز

توسع Waymo في شمال شرق الولايات المتحدة: رحلات إلى نيويورك وفيلادلفيا

2025-07-08
توسع Waymo في شمال شرق الولايات المتحدة: رحلات إلى نيويورك وفيلادلفيا

بدأت Waymo رحلاتها إلى فيلادلفيا ونيويورك، مما يشير إلى جهودها التوسعية في أسواق شمال شرق الولايات المتحدة. تتضمن هذه الرحلات رسم خرائط المدن باستخدام مركبات يقودها بشر مجهزة بنظام القيادة الذاتية من Waymo، يليها اختبارات ذاتية القيادة مع وجود سائق أمان. وقد أدت رحلات مماثلة إلى إطلاق خدمات تجارية في مدن أخرى. على الرغم من أن Waymo تقدمت بطلب للحصول على تصريح لاختبار المركبات ذاتية القيادة في نيويورك، إلا أن الموافقة لا تزال معلقة، ويظل النشر التجاري هدفًا طويل الأجل. تركز استراتيجية Waymo الأوسع على توسيع خدمات سيارات الأجرة الروبوتية التجارية الخاصة بها، مع عمليات إطلاق مخطط لها في ميامي هذا العام وفي واشنطن العاصمة في عام 2026.

اقرأ المزيد
(techcrunch.com)
التكنولوجيا التوسع في السوق

iOS 26 بيتا 3: تصميم Liquid Glass يحصل على لمسة نهائية غير لامعة

2025-07-08
iOS 26 بيتا 3: تصميم Liquid Glass يحصل على لمسة نهائية غير لامعة

لقد خضعت لغة تصميم Liquid Glass الجديدة من Apple في iOS 26 بيتا 3 لتغيير كبير. أصبحت شريط التنقل والأزرار والعلامات التبويب أقل شفافية، مما يعالج شكاوى المستخدمين حول مشاكل القراءة في الإصدارات التجريبية السابقة. بينما يهدف ذلك إلى تحسين سهولة الاستخدام، يشعر بعض المستخدمين بأن هذا التغيير يقلل من الجمالية الزجاجية المميزة التي تم عرضها في مؤتمر WWDC، واصفين إياه بأنه تراجع. يشير هذا الإصدار التجريبي للمطورين إلى أن Apple لا تزال تقوم بضبط التصميم قبل الإصدار العام في سبتمبر.

اقرأ المزيد
(www.theverge.com)
التطوير

FuboTV تسوية دعوى قضائية بشأن مشاركة بيانات المستخدمين بشكل غير قانوني

2025-07-08
FuboTV تسوية دعوى قضائية بشأن مشاركة بيانات المستخدمين بشكل غير قانوني

وافقت خدمة البث الرياضي FuboTV على دفع 3.4 مليون دولار لتسوية دعوى قضائية جماعية تتهمها بتوزيع معلومات التعريف الشخصية (PII) الخاصة بالمستخدمين بشكل غير قانوني دون موافقتهم. وادعت الدعوى أن Fubo انتهكت قانون حماية خصوصية الفيديو (VPPA) من خلال مشاركة سجل مشاهدة المستخدمين مع معلنين من جهات خارجية للإعلان المستهدف دون موافقة مطلعة. وعلى الرغم من أن سياسة خصوصية Fubo ذكرت أنها لا تشارك إلا بيانات غير PII ، إلا أن المدعي جادل بأن Fubo شاركت PII دون الحصول على موافقة المستخدم.

اقرأ المزيد
(arstechnica.com)
التكنولوجيا دعوى قضائية جماعية

شغّل سجل شفافية الشهادات على خادم واحد فقط!

2025-07-08
شغّل سجل شفافية الشهادات على خادم واحد فقط!

تشرح هذه المقالة مدى سهولة تشغيل سجل شفافية الشهادات (CT)، وهو مكون أساسي في أمن الويب. يبرز الكاتب أنه بفضل واجهة برمجة التطبيقات الثابتة الجديدة لـ CT وتطبيق Sunlight، أصبح تشغيل سجل CT أرخص وأسهل بكثير الآن، حيث لا يتطلب سوى خادم واحد وعرض نطاق ترددي ضئيل ومساحة تخزين. وهذا يمثل فرصة للمنظمات أو الأفراد الذين لديهم موارد متاحة للمساهمة في أمن الويب وتحسين مهاراتهم التقنية.

اقرأ المزيد
(words.filippo.io)
التكنولوجيا

رحلة بابيج الآسرة في فك الشفرات

2025-07-08

يروي تشارلز بابيج في سيرته الذاتية تجاربه الآسرة مع فك الشفرات. منذ صغره، أظهر موهبة في فك شفرات أقرانه بسهولة، على الرغم من أن هذا كان يؤدي أحيانًا إلى عواقب جسدية. كان بابيج يعتقد إيمانًا راسخًا بأنه يمكن كسر أي شفرة، وشارك في تحدٍ ممتع مع صديق. وقد مكّنته رؤيته الاستثنائية وصبره في النهاية من فك شفرة صديقه المعقدة على ما يبدو، وكشف عن بساطتها الكامنة، وأظهر موهبته الاستثنائية في التشفير.

اقرأ المزيد
(mathshistory.st-andrews.ac.uk)
متنوع بابيج فك الشفرات

إيجاد معنى في جهاز ماك كلاسيكي: قصة تقنية شخصية

2025-07-08
إيجاد معنى في جهاز ماك كلاسيكي: قصة تقنية شخصية

يُحب والد الكاتب السيارات الكلاسيكية، ويرى فيها رموزًا لعصر تقني قديم. وقد قام الكاتب، متتبعًا نهجه، بشراء جهاز ماك SE/30 من عام 1989، ليس من باب الحنين إلى الجهاز نفسه، بل لاستكشاف فترة من الحوسبة فاته. يُمثل هذا الجهاز تحية لعصر مضى، ورمزًا للتقدم الذي أحرز منذ ذلك الحين، تمامًا مثل السيارات الكلاسيكية التي يُحبها والده. يخطط الكاتب لإصلاح واستخدام الكمبيوتر بشكلٍ متقطع، تمامًا كما يقوم والده برحلاتٍ متقطعة بسياراته الكلاسيكية.

اقرأ المزيد
(blog.decryption.net.au)
التكنولوجيا كمبيوتر كلاسيكي

إنجازات ثورية في الحوسبة الكمومية الضوئية: تمهيد الطريق لأجهزة الكمبيوتر الكمومية المتسامحة مع الأخطاء

2025-07-08
إنجازات ثورية في الحوسبة الكمومية الضوئية: تمهيد الطريق لأجهزة الكمبيوتر الكمومية المتسامحة مع الأخطاء

في السنوات الأخيرة، شهدنا تطورات كبيرة في بناء أجهزة الكمبيوتر الكمومية المتسامحة مع الأخطاء باستخدام الفوتونات. استخدم الباحثون تقنيات متنوعة، مثل توليد حالات قطة شرودنجر وحالات الشبكة من خلال تراكب حالات عدد الفوتونات، بالإضافة إلى دمجها مع رموز تصحيح الخطأ الكمومي مثل رموز جوتسمان-كيتايف-برسكيل (GKP). وقد أدى ذلك إلى إنشاء وحدات قياس فوتونية أكثر قوة، مما يمهد الطريق لبناء أجهزة كمبيوتر كمومية متسامحة مع الأخطاء وقابلة للتطوير. وقد نُشرت هذه النتائج الرائدة في دوريات مرموقة مثل Science و Nature، مما يُمثل علامة فارقة جديدة في تقنية الحوسبة الكمومية الضوئية.

اقرأ المزيد
(www.nature.com)
التكنولوجيا الفوتونيات تصحيح الخطأ الكمومي

إعادة تقييم مسار أنطونين: تأثير التضاريس على طريق الطريق الروماني

2025-07-08
إعادة تقييم مسار أنطونين: تأثير التضاريس على طريق الطريق الروماني

استخدم الباحثون نموذج MADO وخوارزميات المسار الأقل تكلفة، بالإضافة إلى بيانات التضاريس، لإعادة تقييم جزء من مسار أنطونين من توي إلى لوقو (الطريق الروماني الحادي عشر). كشف البحث عن اختلافات كبيرة في مواقع المواقع المقترحة سابقًا، ويرجع ذلك أساسًا إلى تأثير انحدار الأرض على اختيار المسار. من خلال دمج التضاريس، تم اقتراح مسار مثالي جديد، والذي يُظهر توافقًا جيدًا مع النتائج الأثرية. كما يوضح البحث الانحرافات بين بعض المعالم والمسار الأمثل.

اقرأ المزيد
(link.springer.com)
متنوع الطريق الروماني نمذجة مكانية

سحر جوراسيك بارك الدائم: لماذا لا يزال يحكم؟

2025-07-08
سحر جوراسيك بارك الدائم: لماذا لا يزال يحكم؟

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

اقرأ المزيد
(briannazigler.substack.com)
ألعاب جوراسيك بارك ستيفن سبيلبرغ

طريقة ميياواكي: معجزة أم وهم؟

2025-07-08
طريقة ميياواكي: معجزة أم وهم؟

يتناول هذا البودكاست طريقة ميياواكي، وهي تقنية إعادة التحريج السريعة التي اكتسبت شعبية عالمية لسرعتها وكثافتها المذهلتين. ومع ذلك، يشكك الضيوف في فعاليتها وقابليتها للتطبيق. يجادل البعض بأنها مبسطة للغاية، متجاهلةً الاختلافات البيئية الإقليمية، مما يؤدي إلى انخفاض معدلات بقاء الأشجار واضطراب محتمل للنظام البيئي. بينما يرى آخرون أنها أداة قوية لإشراك الجمهور في الحفاظ على البيئة، بمثابة مدخل لفهم أعمق للبيئة. يقدم الخبراء تحليلًا شاملاً من منظور علمي وعملي، مع مراعاة فوائدها ومخاطرها المحتملة.

اقرأ المزيد
(www.futureecologies.net)
التكنولوجيا إعادة التحريج

أداة محاكاة هيدروليكية ثورية تعمل بنظام المصدر المفتوح: epanet-js

2025-07-08

epanet-js هو تطبيق ويب يجمع بين خرائط الويب الحديثة وخوارزمية المحاكاة الهيدروليكية EPANET. تم إنشاؤه بواسطة Iterating باستخدام رمز من مشروع Placemark مفتوح المصدر، وهو يوفر بديلاً قائمًا على المتصفح للبرامج باهظة الثمن والخاصة. هذه الأداة المبتكرة تتحدى الوضع الراهن، حيث توفر حلاً قوياً يمكن الوصول إليه لتخطيط وتحديث أنظمة المرافق المائية. المكتبة الأساسية مفتوحة المصدر، مما يُظهر قوة مساهمة المجتمع ومبادئ المصدر المفتوح.

اقرأ المزيد
(macwright.com)
التطوير محاكاة هيدروليكية

مشروع مفتوح المصدر لمُبدّل إيثرنت: الكشف عن ميزات مُخبأة في رقاقة Microchip VSC8512

2025-07-08

أثناء بناء مُبدّل إيثرنت مُدار مفتوح المصدر ذي وحدة قياسية واحدة (1U) يُدعى LATENTRED، واجه الكاتب تحديًا بسبب نقص الوثائق الخاصة برقاقة PHY من Microchip VSC8512. لم تتضمن الوثائق الرسمية معلومات حول إعدادات مُعادل SERDES TX، مما استلزم اتفاقية عدم إفصاح (NDA) للحصول على التفاصيل الكاملة. من خلال تحليل الوثائق المُتاحة للعامة، ونموذج IBIS-AMI، وواجهة برمجة التطبيقات (API) لمُبدّل إيثرنت من Microchip (MESA)، بالإضافة إلى تقنيات الهندسة العكسية، نجح الكاتب في إيجاد طريقة لتعديل إعدادات المُعادل. اكتشف واجهة MCU غير مُوثقة داخل VSC8512، ومن خلال سلسلة من عمليات معالجة السجلات، تمكن من ضبط مُعادل SERDES TX بنجاح، مُحسّنًا بذلك سلامة الإشارة. يُظهر هذا المشروع قوة مبادئ المصدر المفتوح والهندسة العكسية، مُقدمًا خبرة قيّمة للمُطوّرين الآخرين.

اقرأ المزيد
(serd.es)
عتاد

نماذج توليدية تعمل بالذكاء الاصطناعي تعيد تشكيل الصور الانكسارية

2025-07-08

لا تكشف الصور الانكسارية التقليدية عن شكلها الحقيقي إلا من زاوية نظر محددة. تستخدم هذه الورقة نماذج تدفق مصححة كامنة وتقنية جديدة لتشويه الصور تسمى تشويه هرم لابلاس لإنشاء صور انكسارية تحتفظ بتفسير صحيح حتى عند مشاهدتها مباشرةً. يوسع هذا العمل الألغاز البصرية إلى نماذج الفضاء الكامن ومجموعة أوسع من التحويلات المكانية، مما يسمح بإنشاء أوهام إدراكية توليدية جديدة، ويفتح إمكانيات جديدة في مجال توليد الصور.

اقرأ المزيد
(studios.disneyresearch.com)
الذكاء الاصطناعي صور انكسارية

ادخل إلى أرض وسطى: لعبة The Two Towers MUD

2025-07-08

15 مارس، 3019 من العصر الثالث. شنّ سورون حربًا على شعوب أرض وسطى الأحرار. اشتعلت المعركة في حقول بيليينور، عند أبواب ميناس تيريث. خضعت لوثورين، ومملكة ثراندويل، ودايل، وإيربور للحصار. انضم إلى المعركة في لعبة The Two Towers MUD، وهي لعبة تقمص أدوار عبر الإنترنت متعددة اللاعبين مجانية تعتمد على النصوص وتقع في عالم تولكين. استكشف أكثر من 100000 غرفة، وأكمل مئات المهام، وانضم إلى مجتمع عالمي مزدهر. تعمل هذه اللعبة منذ عام 1994، وتُحافظ عليها متطوعون مكرسون. اختر جانبك وانضم إلى الصراع الملحمي!

اقرأ المزيد
(t2tmud.org)
الألعاب

قيود ماكرو Rust `#[derive]` والحلول البديلة

2025-07-08
قيود ماكرو Rust `#[derive]` والحلول البديلة

ماكرو Rust `#[derive]`، عند توليد تنفيذات لسمات مثل `Clone`، يتطلب أن جميع المعلمات العامة تنفذ `Clone` أيضًا. هذا يحد من قابليته للتطبيق. تحلل المقال مثالين يوضحان سبب منع هذه القيود من تجميع التعليمات البرمجية. يقترح الكاتب حلين: تقديم RFC لتغيير سلوك المُترجم، وكتابة ماكرو مخصص لتجاوز القيد. يختار الكاتب الخيار الثاني، ويخطط لتنفيذ ماكروات `derive` أكثر مرونة في كرت `derive_more` أو كرت خاص به لحل هذه المشكلة.

اقرأ المزيد
(rgbcu.be)
التطوير

الهندسة المُحدّبة تحلّ لغز تعبئة الكرات العالق لعقود

2025-07-08
الهندسة المُحدّبة تحلّ لغز تعبئة الكرات العالق لعقود

أحرز تقدمٌ هامٌ في مشكلةٍ رياضيةٍ عتيقةٍ، وهي التعبئة الفعّالة للكرات في الفضاء ذي الأبعاد العالية. استخدم الأستاذ بوآز كلارتاغ نهجًا جديدًا من الهندسة المُحدّبة، مُحسّنًا طريقةً موجودةً بذكاء، مُحقّقًا زيادةً كبيرةً في كفاءة التعبئة. من خلال عمليةٍ عشوائيةٍ لضبط مُستطيل، وجد طريقةً أكثر كفاءةً لتعبئة الكرات من أيّ طريقةٍ سابقة، مُحسّنًا الكفاءة بمئات أو حتى ملايين المرات في الأبعاد العالية. هذا الاختراق لا يُنشئ فقط رقمًا قياسيًا جديدًا لتعبئة الكرات، بل يُعيد أيضًا إثارة النقاش حول التعبئة المثلى للكرات في الفضاء ذي الأبعاد العالية، مُقدّمًا رؤىً جديدةً في التشفير والاتصالات.

اقرأ المزيد
(www.quantamagazine.org)
متنوع

Lean 4.22: بنية تحتية جديدة للتحقق من صحة البرامج الإمبراطورية

2025-07-07

يقدم Lean 4.22 ميزة جديدة مثيرة: بنية تحتية جديدة للتحقق من صحة البرامج الإمبراطورية لإثبات خصائصها. تستخدم هذه المقالة مثالًا بسيطًا - تحديد ما إذا كانت قائمة تحتوي على رقمين صحيحين مجموعهما صفر - لإظهار كيفية استخدام هذه الميزة ومقارنتها بأدوات مشابهة مثل Dafny و Verus. يستخدم الإطار الجديد، Std.Do، ثلاثيات هواري ويجمع بين تكتيكات `mvcgen` و `grind` لتبسيط عملية التحقق من صحة البرامج الإمبراطورية بشكل كبير، حتى تلك التي تحتوي على تدفق تحكم معقد مثل الحلقات والعودة المبكرة. على عكس الأنظمة الآلية التي تعتمد على حلول SMT الخارجية، يوفر نهج الإثبات التفاعلي في Lean موثوقية أكبر، وسهولة تصحيح أخطاء أفضل، وصيانة أفضل، مما يجعله خيارًا مقنعًا لمهام التحقق من صحة البرامج في العالم الحقيقي.

اقرأ المزيد
(markushimmel.de)
التطوير التحقق من صحة البرامج البرمجة الإمبراطورية

بناء نماذج أولية للخرائط الداخلية باستخدام نماذج اللغة والرؤية: من الصور إلى المواقع

2025-07-07

في عطلة نهاية أسبوع، قام الكاتب ببناء نموذج أولي لنظام تحديد المواقع الداخلي باستخدام صورة واحدة فقط ونماذج متقدمة للغة والرؤية (VLMs). من خلال تدوين خريطة مركز تسوق، وتحديد المتاجر المرئية في الصورة، واستخدام قدرات التعرف على الصور في VLM، نجح النظام في مطابقة موقع الصورة مع الخريطة. على الرغم من وجود بعض الغموض، إلا أن النتائج دقيقة بشكل مدهش، مما يظهر إمكانات VLMs في تحديد المواقع الداخلية. هذا يفتح آفاقًا مثيرة للتطبيقات المستقبلية للواقع المعزز (AR) والروبوتات، مع تسليط الضوء أيضًا على المخاوف البيئية المحتملة.

اقرأ المزيد
(arjo129.github.io)
الذكاء الاصطناعي نماذج اللغة والرؤية تحديد المواقع الداخلية

أوسيا سكور: مُسلسل مفتوح المصدر للعروض السمعية البصرية التفاعلية

2025-07-07
أوسيا سكور: مُسلسل مفتوح المصدر للعروض السمعية البصرية التفاعلية

أوسيا سكور هو مُسلسل مفتوح المصدر مصمم لفنانين السمعيات البصرية لإنشاء عروض تفاعلية. يسمح بتسلسل OSC و MIDI و DMX والصوت والفيديو وأكثر من ذلك عبر العديد من البرامج والأجهزة. أنشئ نتائج تفاعلية ومتعددة الوسائط، وقم بكتابة البرامج وتشغيلها مباشرةً باستخدام JavaScript و ISF Shaders و Faust و PureData أو C++. تفاعل مع عصي التحكم و Wii Remotes و Leap Motions وواجهات برمجة التطبيقات على الويب وأجهزة الاستشعار BLE. عالج الصور عبر Spout و Syphon و NDI و Shmdata أو Sh4lt؛ وقم بتحويل مجموعات البيانات إلى أصوات باستخدام دعم CSV و HDF5. مجاني، مفتوح المصدر، ويعمل على سطح المكتب والجوال والويب والأنظمة المضمنة (حتى Raspberry Pi Zero 2).

اقرأ المزيد
(github.com)
التطوير عرض تفاعلي

كاميرات الذكاء الاصطناعي: السلاح الجديد لفرض قوانين المرور

2025-07-07
كاميرات الذكاء الاصطناعي: السلاح الجديد لفرض قوانين المرور

من أجل تحقيق رؤية صفر، وهو الهدف الطموح المتمثل في القضاء على جميع الوفيات والإصابات الخطيرة في حركة المرور، تستخدم العديد من المدن الأمريكية كاميرات تعمل بالذكاء الاصطناعي لتحسين امتثال السائقين لقوانين المرور. قامت شركات مثل Stop for Kids و Obvio.ai بتطوير أنظمة ذكاء اصطناعي تكتشف انتهاكات مثل تجاوز الإشارات الحمراء، والسرعة الزائدة، وعدم التنازل عن الطريق، وإصدار استدعاءات تلقائيًا. حققت Stop for Kids نتائج ملحوظة في برنامج تجريبي، حيث خفضت الانتهاكات بأكثر من 90%. ومع ذلك، لا تزال هناك مخاوف بشأن الخصوصية. تستخدم Obvio.ai مراجعة بشرية، لتحقيق التوازن بين السلامة وحماية الخصوصية. تهدف هذه الأنظمة القائمة على الذكاء الاصطناعي إلى تحسين السلامة المرورية من خلال التكنولوجيا، مع هدف نهائي يتمثل في جعلها عتيقة من خلال تحقيق صفر حوادث مرور.

اقرأ المزيد
(spectrum.ieee.org)
التكنولوجيا الكاميرات

هل تُعالج تقنية الشيخوخة الحيوية الشيخوخة بالفعل؟

2025-07-07
هل تُعالج تقنية الشيخوخة الحيوية الشيخوخة بالفعل؟

يشهد مجال تقنية الشيخوخة الحيوية ازدهارًا كبيرًا، حيث يجذب مليارات الدولارات من الاستثمارات. ومع ذلك، ليست كل الادعاءات المتعلقة بمعالجات الشيخوخة صحيحة. يناقش هذا المقال ما يشكل علاجًا فعالًا حقًا لمكافحة الشيخوخة: الوقاية من أمراض الشيخوخة المتعددة، والحفاظ على الوظائف الصحية، وعكس عملية الشيخوخة. يحذر المقال من التركيز فقط على العلامات الحيوية للشيخوخة أو "ساعات الشيخوخة"، مشددًا على أن الارتباط لا يعني السببية. يجب أن تستهدف العلاجات الفعالة المشكلات الشائعة المرتبطة بالشيخوخة، مثل فقدان الكتلة العضلية، وخلل وظائف المناعة، واضطرابات التمثيل الغذائي، باستخدام نقاط نهاية سريرية قابلة للقياس على المدى القصير. يشدد المقال على أهمية استخدام الكائنات الحية المسنة، ونماذج الأمراض التلقائية، وعينات بشرية، ويقترح استراتيجيات واعدة مثل تأخير، واستبدال، واستعادة، وإيقاف الشيخوخة.

اقرأ المزيد
(www.librariesforthefuture.bio)
التكنولوجيا التقنية الحيوية بحث الشيخوخة

tinymcp: التحكم في الأجهزة المضمنة باستخدام نماذج اللغات الكبيرة

2025-07-07
tinymcp: التحكم في الأجهزة المضمنة باستخدام نماذج اللغات الكبيرة

يُمكن مشروع tinymcp نماذج اللغات الكبيرة (LLMs) من التحكم في الأجهزة المضمنة عبر بروتوكول سياق النموذج (MCP). وهو يستفيد من حالة LightDB وعمليات استدعاء الإجراءات عن بُعد (RPCs) على منصة Golioth لتحقيق ذلك. يمكن للأجهزة الموجودة الكشف عن RPCs دون تعديل البرنامج الثابت عن طريق تحديث حالة LightDB. يقدم مثال blinky بسيطًا يُوضح كيفية عرض التحكم في مصباح LED على LLM عبر tinymcp. يحتاج المستخدمون إلى توصيل جهاز بمنصة Golioth وتشغيل خادم tinymcp محليًا. تتوفر أدوات مثل MCP Inspector وClaude Code لاختبار والتفاعل مع tinymcp.

اقرأ المزيد
(github.com)
التطوير الأجهزة المضمنة

SUS HDL: لغة وصف الأجهزة الأكثر سهولة في الاستخدام

2025-07-07

SUS HDL هي لغة وصف أجهزة (HDL) جديدة تهدف إلى تبسيط عملية تصميم الأجهزة. على عكس Verilog أو VHDL، تتميز SUS بوظيفة عدّ التأخير لتسهيل ضبط التوقيت وخطوط الأنابيب، بالإضافة إلى مُجمِّع يقوم بتتبع وعرض جوانب التصميم في المحرّر، وإمكانيات قوية للبرمجة الفوقية لإنشاء جداول البحث (LUT). وتتمثّل فلسفتها الأساسية في امتلاكها بناء جملة نظيف لتوليد قوائم الشبكة مباشرةً، ومتوافقة مع أدوات التركيب التقليدية. وعلى الرغم من أنها تتطلب أجهزة مُزامنة، إلا أن سهولة استخدامها وميزاتها القوية تجعلها بديلاً واعداً.

اقرأ المزيد
(sus-lang.org)
التطوير لغة وصف الأجهزة

تصميم دايسون: هل هو مهووس بالتكنولوجيا أم مدفوع بالتسويق؟

2025-07-07

تقدم هذه المقالة تحليلًا نقديًا لفلسفة تصميم دايسون. يجادل الكاتب بأن التركيز المفرط لديسون على التكنولوجيا يؤدي إلى أوجه قصور في بيئة العمل وسهولة الاستخدام والموثوقية. تعمل منتجات دايسون كرموز للمكانة الاجتماعية أكثر من كونها أدوات عملية بحتة، مستغلة صورة "مصمم النجوم" واتجاهات المجتمع في عبادة التكنولوجيا. باستخدام المكانس الكهربائية ومجففات اليدين من دايسون كأمثلة، يقارن الكاتب بينها وبين منتجات المنافسين، مسلطًا الضوء على افتقار دايسون للتفوق من حيث التطبيق العملي والتكلفة مقابل الفائدة. يستنتج الكاتب بحث المصممين على العودة إلى جوهر التصميم، مع التركيز على احتياجات المستخدم بدلاً من السعي الأعمى وراء إبهار التكنولوجيا.

اقرأ المزيد
(2earth.github.io)
التصميم
1 2 … 122 123 124 126 128 129 130 … 595 596