ترقية محطة Warp بتحرير الشفرة وإدارة المشاريع

2025-09-03
ترقية محطة Warp بتحرير الشفرة وإدارة المشاريع

تم تحديث محطة Warp بوظائف تحرير شفرة خفيفة الوزن، مما يسمح للمستخدمين بتعديل الشفرة التي تم إنشاؤها بواسطة الوكيل بسرعة، مثل تغيير أسماء المتغيرات أو الدوال الصغيرة. كما تم إضافة شجرة ملفات بسيطة للتصفح، وفتح، وإضافة الملفات كسياق، بالإضافة إلى فتح وإنشاء الملفات باستخدام لوحة الملفات (cmd-O). تشمل تحسينات إدارة المشاريع شاشة ترحيب جديدة بحالة الصفر لبدء مشاريع جديدة بسرعة، والتنقل في المشاريع الحالية، أو استئناف المحادثات السابقة. يتم إعداد المشاريع الجديدة بقواعد المشروع وفهرسة قاعدة البيانات، بينما يمكن للمشاريع الحالية استخدام أوامر الشريحة مثل /init للتمهيد باستخدام ملف WARP.md المُدار بالإصدارات. كما يتضمن الدعم لملفات AGENTS.md وCLAUDE.md وقواعد المؤشر.

اقرأ المزيد

Nuclear: مشغل موسيقى سطح مكتب مجاني ومفتوح المصدر يكسر حواجز الدفع للبث

2025-09-03
Nuclear: مشغل موسيقى سطح مكتب مجاني ومفتوح المصدر يكسر حواجز الدفع للبث

Nuclear هو مشغل موسيقى لسطح المكتب مجاني يجمع الموسيقى من مصادر مجانية مثل YouTube و Jamendo و Audius و SoundCloud. يوفر وظائف مشابهة لـ Spotify، ولكن بدون رسوم اشتراك وبوجود مكتبة أكبر. تتضمن الميزات البحث عن الأغاني والألبومات، وإنشاء وقائمة التشغيل وحفظها، وعرض كلمات الأغاني، وحتى تنزيلات غير محدودة من YouTube. يركز على جودة الصوت، ويقدم ميزات مثل وضع الراديو وتطبيع الصوت. المشروع مفتوح المصدر ويرحب بمساهمات المجتمع.

اقرأ المزيد
التطوير موسيقى مجانية

خط مفتوح المصدر لشاشات قمرة القيادة: PolarSys B612

2025-09-03
خط مفتوح المصدر لشاشات قمرة القيادة: PolarSys B612

PolarSys B612 هي عائلة خطوط مفتوحة المصدر عالية القابلية للقراءة، مصممة واختبرت للاستخدام على شاشات قمرة قيادة الطائرات. تم تطويرها من خلال تعاون بين شركة Airbus و ENAC وجامعة تولوز الثالثة، وتهدف إلى تحسين عرض المعلومات، مع التركيز على الوضوح والراحة. وتشمل الميزات الرئيسية تعظيم المسافة بين الأحرف، واحترام بدائيات الحروف، ومواءمة الأشكال والمسافات بينها. قامت شركة Intactile DESIGN بإنشاء ثمانية اختلافات في عام 2012، مع تطبيق إرشادات كاملة على جميع الأحرف.

اقرأ المزيد

الثعبان البحري الغامض: من تشريح فرويد الفاشل إلى بحر سارجاسو

2025-09-03
الثعبان البحري الغامض: من تشريح فرويد الفاشل إلى بحر سارجاسو

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

اقرأ المزيد

نماذج الآلة المجردة للمبرمج: فهم جوهر البرمجيات

2025-09-03
نماذج الآلة المجردة للمبرمج: فهم جوهر البرمجيات

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

اقرأ المزيد

غسالة ملابس عمرها 20 عامًا تتلف: ملحمة تسجيل الضمان

2025-09-03
غسالة ملابس عمرها 20 عامًا تتلف: ملحمة تسجيل الضمان

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

اقرأ المزيد
متنوع

تنفيذ محرك قوالب Django في Rust: التغلب على تحديات أعمار الذاكرة و PyO3

2025-09-03

تتناول هذه المقالة التحديات التي تم مواجهتها أثناء إعادة تنفيذ محرك قوالب Django في Rust، مع التركيز بشكل خاص على معالجة العلامات المخصصة للقوالب والسياق. نظرًا لأعمار الذاكرة في Rust وقيود PyO3، يستخدم الكاتب ببراعة أدوات مثل `std::mem::take` و `std::mem::replace` و `Arc` و `Mutex` لنقل بيانات السياق وتعديلها بأمان بين Rust و Python، مما يحل في النهاية مشاكل إدارة دورة حياة السياق أثناء عرض العلامات المخصصة.

اقرأ المزيد
التطوير

قاضي يتجاوز احتكار جوجل للذكاء الاصطناعي في قضية مكافحة الاحتكار

2025-09-03
قاضي يتجاوز احتكار جوجل للذكاء الاصطناعي في قضية مكافحة الاحتكار

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

اقرأ المزيد
التكنولوجيا

دائرة نغمات كولترين: فك رموز هندسة الجاز

2025-09-03
دائرة نغمات كولترين: فك رموز هندسة الجاز

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

اقرأ المزيد
الألعاب

ممارسات أبل المناهضة للمنافسة تقضي على مستقبل معايير الويب

2025-09-03

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

اقرأ المزيد
التكنولوجيا

دراسة من معهد ماساتشوستس للتكنولوجيا: استخدام ChatGPT يؤدي إلى تدهور معرفي في كتابة المقالات

2025-09-03
دراسة من معهد ماساتشوستس للتكنولوجيا: استخدام ChatGPT يؤدي إلى تدهور معرفي في كتابة المقالات

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

اقرأ المزيد
الذكاء الاصطناعي

المشاركة مخيفة: الرابط غير المتوقع بين مشاركة الملفات السحابية ودلالات لغات البرمجة

2025-09-03

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

اقرأ المزيد

دينامو إيه آي: مدير منتج للذكاء الاصطناعي الموثوق – تشكيل مستقبل الذكاء الاصطناعي للمؤسسات

2025-09-03
دينامو إيه آي: مدير منتج للذكاء الاصطناعي الموثوق – تشكيل مستقبل الذكاء الاصطناعي للمؤسسات

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

اقرأ المزيد

HunyuanWorld-Voyager من تنسنت: توليد فيديو ثلاثي الأبعاد متماسك من صورة واحدة

2025-09-03
HunyuanWorld-Voyager من تنسنت: توليد فيديو ثلاثي الأبعاد متماسك من صورة واحدة

يقدم فريق الذكاء الاصطناعي في تنسنت HunyuanWorld-Voyager، وهو إطار عمل جديد لانتشار الفيديو ينتج تسلسلات سحابة نقاط ثلاثية الأبعاد متماسكة من صورة واحدة مع مسارات كاميرا محددة من قبل المستخدم. ينتج Voyager مقاطع فيديو ثلاثية الأبعاد متماسكة للمشهد لاستكشاف عوالم افتراضية على طول مسارات مخصصة، كما ينتج فيديو عمق و RGB محاذية لإعادة بناء ثلاثية الأبعاد فعالة. تم تدريبه على أكثر من 100000 مقطع فيديو يجمع بين لقطات من العالم الحقيقي وعمليات عرض اصطناعية من Unreal Engine، ويحقق Voyager نتائج متقدمة في مقياس WorldScore. التعليمات البرمجية والنماذج المدربة مسبقًا متاحة للجمهور.

اقرأ المزيد

VibeVoice: إطار عمل مفتوح المصدر لتوليد الصوت من النصوص، طويل الأمد ومتعدد المتحدثين

2025-09-03

VibeVoice هو إطار عمل مفتوح المصدر جديد مصمم لتوليد صوت محادثة معبر، طويل الأمد، ومتعدد المتحدثين، مثل البودكاست، من النصوص. يعالج هذا الإطار التحديات في أنظمة تحويل النص إلى كلام (TTS) التقليدية، خاصة فيما يتعلق بالقابليّة للتوسّع، واتساق المتحدثين، وتبادل الأدوار الطبيعي. وتتمثل إحدى الابتكارات الرئيسية في VibeVoice في استخدام مُقسّمات الكلام المستمر (الصوتية والدلالية) التي تعمل بمعدل إطار منخفض للغاية يبلغ 7.5 هرتز. تحافظ هذه المُقسّمات على دقة الصوت بكفاءة مع تعزيز الكفاءة الحسابية بشكل كبير لمعالجة التسلسلات الطويلة. يستخدم VibeVoice إطار عمل انتشار الرمز التالي، مستخدمًا نموذجًا لغويًا كبيرًا (LLM) لفهم سياق النص وتدفق الحوار، ورأس انتشار لتوليد تفاصيل صوتية عالية الدقة. يمكن للنموذج توليد صوت يصل إلى 90 دقيقة مع ما يصل إلى 4 متحدثين مختلفين، متجاوزًا حدود 1-2 متحدثين في العديد من النماذج السابقة.

اقرأ المزيد
الذكاء الاصطناعي

انفجار أعمال خوادم الذكاء الاصطناعي لدى ديل: ركوب موجة الذكاء الاصطناعي التوليدي

2025-09-03
انفجار أعمال خوادم الذكاء الاصطناعي لدى ديل: ركوب موجة الذكاء الاصطناعي التوليدي

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

اقرأ المزيد
العتاد

كيفية تقديم عرض تقديمي رائع في مؤتمرات لغات البرمجة

2025-09-03
كيفية تقديم عرض تقديمي رائع في مؤتمرات لغات البرمجة

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

اقرأ المزيد

انتصار هندسة العكس: محاكي LaserActive هنا أخيرًا

2025-09-03
انتصار هندسة العكس: محاكي LaserActive هنا أخيرًا

بعد 16 عامًا من العمل الدؤوب، أصدر معجب Sega، Nemesis، أخيرًا أول محاكي لنظام Pioneer LaserActive. واجهت هذه المنصة الصعبة والمعروفة بتقنية LaserDisc الفريدة و فك تشفير الفيديو المعقد، تحديات لا تُحصى. لقد تغلب Nemesis على أعطال الأجهزة، ومشاكل التقاط وفك تشفير الفيديو، وأكثر من ذلك، محققًا أخيرًا محاكاة مثالية لألعاب LaserActive في محاكي Ares. يُمثل إنجازه علامة فارقة مهمة في الحفاظ على الألعاب.

اقرأ المزيد

ارتباط التعرض قبل الولادة للكلوروبيريفوس بتشوهات الدماغ عند الأطفال

2025-09-03
ارتباط التعرض قبل الولادة للكلوروبيريفوس بتشوهات الدماغ عند الأطفال

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

اقرأ المزيد

أزمة مواسير الرصاص في شيكاغو: العنصرية البيئية في دائرة الضوء

2025-09-03
أزمة مواسير الرصاص في شيكاغو: العنصرية البيئية في دائرة الضوء

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

اقرأ المزيد

نحن نعيش بالفعل تحت نظام الائتمان الاجتماعي

2025-09-03
نحن نعيش بالفعل تحت نظام الائتمان الاجتماعي

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

اقرأ المزيد

أكثر من 1100 خادم LLM مكشوف: تحليل معمق للثغرات الأمنية

2025-09-03
أكثر من 1100 خادم LLM مكشوف: تحليل معمق للثغرات الأمنية

اكتشف الباحثون أكثر من 1100 خادم LLM مكشوف للجمهور يعمل على إطار عمل Ollama، حيث يستضيف حوالي 20٪ منها نماذج نشطة معرضة للوصول غير المصرح به. باستخدام Shodan وأداة قائمة على Python، كشف البحث عن نقص حرج في خطوط الأساس الأمنية في نشر LLMs، مما يوفر أساسًا لمراقبة سطح التهديدات لـ LLMs في المستقبل. وشملت نقاط الضعف الوصول غير المصرح به إلى واجهة برمجة التطبيقات، وهجمات استخراج النماذج، واختراق السجن وإساءة استخدام المحتوى، واختطاف الموارد، وحقن الأبواب الخلفية. يوصي الباحثون بتنفيذ العديد من إجراءات التخفيف الأمنية، بما في ذلك فرض المصادقة والتحكم في الوصول، وتجزئة الشبكة وجدران الحماية، والحد من المعدل وكشف إساءة الاستخدام، وتعطيل المنافذ الافتراضية، والمراقبة المستمرة لحماية بنية LLM الأساسية.

اقرأ المزيد
التكنولوجيا

مجتمع المكفوفين يتبنى الذكاء الاصطناعي: أمل ومخاوف

2025-09-03

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

اقرأ المزيد

أكورن: نهج ثوري لإثبات النظريات باستخدام الذكاء الاصطناعي

2025-09-03
أكورن: نهج ثوري لإثبات النظريات باستخدام الذكاء الاصطناعي

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

اقرأ المزيد
الذكاء الاصطناعي برنامج إثبات النظريات

إضافة Neovim لـ Amazon Q Developer: مساعد ترميز مدعوم بالذكاء الاصطناعي

2025-09-03
إضافة Neovim لـ Amazon Q Developer: مساعد ترميز مدعوم بالذكاء الاصطناعي

أصدرت AWS إضافة Neovim التي تدمج Amazon Q Developer، مما يوفر اقتراحات كود مدعومة بالذكاء الاصطناعي، وإعادة هيكلة، ووظائف دردشة. يدعم كلاً من الطبقة المجانية والاشتراكات المدفوعة، وتثبيت الإضافة سهل من خلال مديري الإضافات أو الاستنساخ اليدوي. تستخدم الإضافة LSP لإكمال الكود وتوفر أوامر مثل `:AmazonQ` لفتح نافذة الدردشة و `zq` لإضافة النص المحدد إلى سياق الدردشة. وهي حاليًا في مرحلة تجريبية، و نرحب بالمساهمات والتعليقات.

اقرأ المزيد
التطوير

الذكاء الاصطناعي يكتب الآن 80% من كودي: منظور مطور

2025-09-03
الذكاء الاصطناعي يكتب الآن 80% من كودي: منظور مطور

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

اقرأ المزيد
التطوير

أرض الوسط: من اللغة الأنجلوسكسونية إلى تولكين

2025-09-03

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

اقرأ المزيد

بطارية الرمل الفنلندية تحدث ثورة في تخزين الحرارة

2025-09-03
بطارية الرمل الفنلندية تحدث ثورة في تخزين الحرارة

طورت شركة Polar Night Energy الفنلندية حلاً مبتكرًا لتخزين الطاقة: بطارية الرمل. يستخدم هذا النظام فائض الطاقة المتجددة لتسخين كميات هائلة من الرمل (أو مواد أخرى مقاومة للحرارة)، ويخزن الطاقة الحرارية لعدة أشهر قبل إطلاقها لتوفير التدفئة للمنازل والمصانع وما إلى ذلك. وقد أدى تطبيق واسع النطاق في بورناينن، فنلندا، من قبل شركة Loviisan Lämpö إلى خفض انبعاثات الكربون من التدفئة المركزية بنسبة 70٪، وأظهر ربحية من خلال المشاركة في أسواق احتياطي الكهرباء. تعد هذه التكنولوجيا واعدة بشكل خاص لتطبيقات الحرارة الصناعية وتطبيقات التدفئة المركزية، حيث تقدم نهجًا جديدًا للتحول إلى الطاقة النظيفة.

اقرأ المزيد
التكنولوجيا بطارية الرمل

استغلال ثغرة CVE-2024-50264: سباق مع الزمن في نواة لينكس

2025-09-03
استغلال ثغرة CVE-2024-50264: سباق مع الزمن في نواة لينكس

تتناول هذه المقالة رحلة الكاتب في استغلال ثغرة CVE-2024-50264 المعقدة في نواة لينكس باستخدام مشروع kernel-hack-drill الخاص به. تُشكّل هذه الثغرة، وهي حالة تنافس صعبة، العديد من العقبات، بما في ذلك كتابة UAF تحدث بعد kfree() ببضع ميكروثوانٍ، مما يُعيق هجمات ذاكرة التخزين المؤقت المتقاطعة. استخدم الكاتب بذكاء الإشارة "الخالدة" 33 لإيقاف استدعاء النظام connect()، بالإضافة إلى هجوم ذاكرة تخزين مؤقت متقاطعة وتقنية جديدة لرش msg_msg، متجاوزًا القيود في النهاية محققًا تصعيدًا للوصول. يُظهر هذا الاستغلال الصعب مهارات متقدمة في الهندسة العكسية واستغلال الثغرات، مُبرزًا قيمة kernel-hack-drill في بحث الثغرات الأمنية.

اقرأ المزيد

مُنشئ لارافيل يحذر من تعقيد الكود المفرط

2025-09-03
مُنشئ لارافيل يحذر من تعقيد الكود المفرط

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

اقرأ المزيد
التطوير
1 2 34 35 36 38 40 41 42 595 596