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

إطلاق العنان لقوة الذكاء الاصطناعي القابل للبرمجة من قِبل المستخدم النهائي: تقديم Universalis

2025-08-10

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

اقرأ المزيد
(queue.acm.org)
الذكاء الاصطناعي لغة برمجة الذكاء الاصطناعي

WebAssembly ودعم DOM: مستقبل أكواد الربط

2025-07-23

تتناول المقالة مسألة ما إذا كان WebAssembly (Wasm) جاهزًا بالفعل للإنتاج في تطبيقات الويب، بالنظر إلى حاجته إلى التكامل مع صفحات الويب وواجهات برمجة التطبيقات مثل DOM. تجادل المقالة بأن الوصول المباشر إلى DOM في Wasm ليس ضروريًا؛ حيث توفر واجهات برمجة تطبيقات JavaScript الحالية وأكواد الربط التي يولدها المُجمِّع تكاملًا سلسًا. بينما قد يتم إضافة آلية للاتصال المباشر بواجهات برمجة التطبيقات الخاصة بالويب في المستقبل، إلا أن ذلك سيتطلب جهدًا كبيرًا. في الوقت الحالي، يستخدم Wasm استيراد دوال JavaScript (مثل `console.log`) ويستخدم بذكاء مؤشرات مصفوفة كائنات JavaScript لإدارة مراجع الكائنات، مما يسمح بالتفاعل المرن مع JavaScript. هذا النهج، على الرغم من أنه ليس Wasm خالصًا، يعزز الأداء بشكل فعال. التحسينات المستمرة في معالجة الاستثناءات، وعمليات الإدخال/الإخراج المُحجَّزة، وإدارة القمامة تُحسِّن كفاءة تكامل Wasm-JavaScript أكثر. يخلص الكاتب إلى أن تركيز Wasm يجب أن يكون على تحسين أداء البرنامج، وليس على تجنب JavaScript تمامًا. مستقبل WebAssembly يتضمن تحسين نموذج المكونات وسلاسل الأدوات لتحسين التشغيل البيني مع JavaScript دون التضحية بالأداء أو حجم الكود.

اقرأ المزيد
(queue.acm.org)
التطوير

ماوسك هو قاعدة بيانات: تدفقات البيانات غير المتزامنة و Rx

2025-04-10

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

اقرأ المزيد
(queue.acm.org)
التطوير

خمسون عامًا من أمن سلسلة التوريد لبرامج المصدر المفتوح: من مولتكس إلى هجوم xz

2025-04-07

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

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

ممارسات صحة الأنظمة في أمازون ويب سيرفيسز: الاستفادة من الأساليب الرسمية وشبه الرسمية

2025-04-01

تسعى أمازون ويب سيرفيسز (AWS) إلى تقديم خدمات موثوقة يمكن للعملاء الوثوق بها تمامًا. يتطلب هذا الحفاظ على أعلى معايير الأمان والمتانة والنزاهة والتوفر - مع خدمة صحة الأنظمة كحجر الزاوية لتحقيق هذه الأولويات. في البداية، استخدمت AWS لغة TLA+ لنمذجة الأنظمة الحرجة، حيث تم تحديد الأخطاء الدقيقة والقضاء عليها في وقت مبكر من عملية التطوير. مع نموها، أدخلت AWS لغة البرمجة P، وهي لغة أكثر ملاءمة للمطورين، لنمذجة وتحليل الأنظمة الموزعة، وهو أمر بالغ الأهمية بالنسبة للهجرات مثل هجرة Amazon S3 إلى الاتساق القوي. كما يتم استخدام أساليب خفيفة الوزن على نطاق واسع، مثل اختبارات القائمة على الخصائص والمحاكاة الحتمية واختبارات الضبابية. كما أطلقت AWS خدمة FIS (خدمة حقن الأعطال) لتعزيز المرونة. بالنسبة لحدود الأمان الحرجة، تستخدم AWS براهين رسمية، كما هو الحال في تطوير Cedar و Firecracker. يضمن هذا النهج الشامل الموثوقية وتحسين الأداء مع تقليل التكاليف.

اقرأ المزيد
(queue.acm.org)
التطوير صحة الأنظمة