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

تصعيد المعركة ضد القرصنة في فرنسا: مزود خدمة DNS Quad9 يحجب مواقع القرصنة عالميًا

2024-12-12

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

اقرأ المزيد
(torrentfreak.com)
التكنولوجيا حقوق النشر حياد الشبكة حجب DNS

Windows 365 Link من مايكروسوفت: قفص في السحابة؟

2025-01-06
Windows 365 Link من مايكروسوفت: قفص في السحابة؟

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

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

بروتوكول سياق النموذج (MCP): تبسيط تكامل الذكاء الاصطناعي من خلال بروتوكول جديد

2025-05-22

يُعد بروتوكول سياق النموذج (MCP) بروتوكولاً ناشئاً مصممًا لتبسيط تكامل تطبيقات الذكاء الاصطناعي مع مصادر البيانات والأدوات المختلفة. فهو يقلل من احتكاك التكامل بتحويل مشكلة التكامل M × N إلى مشكلة M + N. تتصل خوادم MCP بمصادر البيانات وتُظهر الأدوات، بينما يمكن للعملاء MCP (الذين عادةً ما يكونون جزءًا من تطبيقات الذكاء الاصطناعي) الاتصال بأي خادم MCP. يُظهر الكاتب مثالاً على كيفية دمج تطبيق ذكاء اصطناعي بسهولة مع بيانات CKAN باستخدام خادم MCP للوصول إلى البيانات المفتوحة من CKAN، ويستخدم تطبيق سطح مكتب Claude لتحليل البيانات. وعلى الرغم من أن MCP ليس حلاً سحرياً، إلا أنه يوفر طريقة أكثر ملاءمة ومرونة لتطوير تطبيقات الذكاء الاصطناعي، خاصة في السيناريوهات التي تتطلب التكامل مع أنظمة خارجية متعددة.

اقرأ المزيد
(blog.nilenso.com)
الذكاء الاصطناعي

Veav: محرك متصفح ويب تجريبي ذو وظائف محدودة

2025-05-18
Veav: محرك متصفح ويب تجريبي ذو وظائف محدودة

Veav هو محرك متصفح ويب تجريبي يدعم معظم أنواع العرض (باستثناء الشبكة)، وسلوك التسلسل الهرمي CSS القياسي، والترقيم باستخدام قواعد @page، وإخراج الطباعة بتنسيق PDF، وجميع وحدات CSS. يقوم بتحميل مستندات HTML وXHTML، لكن قدراته على الشبكات أساسية جدًا، حيث يدعم فقط http:// و file://. تتوفر معلومات تفصيلية حول التوافق على صفحة حالة WPT الخاصة به. يتم توفير تعليمات التثبيت (باستخدام Arch Linux كمثال)، والتي تتطلب العديد من التبعيات ومجمع `clang-prefixed-release`. يوجد أيضًا رسم تخطيطي للبنية (بتنسيق tldraw).

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

LeetArxiv: LeetCode لأوراق Arxiv - أدلة ترميز عملية للبحث

2025-02-24
LeetArxiv: LeetCode لأوراق Arxiv - أدلة ترميز عملية للبحث

يوفر LeetArxiv أدلة ترميز أسبوعية خطوة بخطوة بناءً على أوراق Arxiv، موجهة للمبرمجين الذين ينتقلون إلى وظائف بحثية. تركز دراسة حالة على تنفيذ تحويل جيب التمام المنفصل (DCT) AAN من ورقة بحثية عام 1981. يوفر الدليل تنفيذًا بلغة C (يمكن تكييفه بسهولة مع لغات أخرى) يفصل معادلة DCT-II وتحسينات AAN: تقليل حسابات جيب التمام المكلفة، واستغلال التناظر، واستخدام ثوابت محسوبة مسبقًا، وتمكين التوازي. يغطي العرض مخطط التدفق ورمز الخوارزمية، مما يجعل البحث المعقد في متناول اليد من خلال تمارين الترميز العملية.

اقرأ المزيد
(leetarxiv.substack.com)
التطوير تحويل جيب التمام المنفصل خوارزمية AAN

غوص عميق في شفرة لعبة Elite الكلاسيكية

2024-12-23

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

اقرأ المزيد
(elite.bbcelite.com)
الألعاب ألعاب قديمة تحليل الشفرة

مستقبل تصميم لوحات المعلومات؟

2024-12-23
مستقبل تصميم لوحات المعلومات؟

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

اقرأ المزيد
(surfingcomplexity.blog)
التطوير تصميم لوحات المعلومات الملاحظة واجهة المستخدم

التقديم المتطرف من جانب الخادم (XSSR): دراسة حالة لـ Flappy Bird

2025-02-23
التقديم المتطرف من جانب الخادم (XSSR): دراسة حالة لـ Flappy Bird

تُقدم هذه المقالة تقنية التقديم المتطرف من جانب الخادم (XSSR) ، وهي تقنية تُرَجِّع صفحات الويب الديناميكية بدون استخدام جافا سكريبت من خلال إنشاء HTML ديناميكيًا على الخادم وإرسال تحديثات مستمرة للعميل. يُظهر الكاتب XSSR باستخدام لعبة Flappy Bird ، ويناقش أداءها وتأثيرات عرض النطاق الترددي وإمكانية حدوث هجمات حجب الخدمة (DoS). يعمل XSSR بشكل جيد في بيئات منخفضة الكمون ، لكنه يعاني من التأخر في سيناريوهات عالية الكمون. هذه التقنية واعدة لتشغيل صفحات الويب الحديثة على الأجهزة القديمة أو المتصفحات التي لا تدعم جافا سكريبت.

اقرأ المزيد
(www.scd31.com)
التطوير بدون جافا سكريبت

عرض SSR المتدفق باستخدام React Relay وVite: غوص عميق

2025-01-17
عرض SSR المتدفق باستخدام React Relay وVite: غوص عميق

يشارك فريق الهندسة في Aqora رحلته في تطبيق عرض الخادم الجانبي (SSR) المتدفق باستخدام React Relay وVite. تُفصّل المقالة التحديات التي تم مواجهتها أثناء دمج React Router وRelay، بما في ذلك التعامل مع Suspense مع SSR، وإدارة تدفق بيانات Relay store، وتوليد علامات التعريف الوصفية. تضمنت الحلول استخدام `createStaticHandler`، و`renderToPipeableStream`، و`preloadQuery`، و`react-helmet-async`، مما أدى إلى SSR فعال يحسّن محركات البحث والأداء. يتم توفير أجزاء من التعليمات البرمجية الرئيسية وقرارات التصميم المعماري، مما يوفر رؤى قيّمة للمطورين.

اقرأ المزيد
(aqora.io)
التطوير

DM50: آلة حاسبة مفتوحة المصدر رخيصة وعالية الدقة

2025-01-24
DM50: آلة حاسبة مفتوحة المصدر رخيصة وعالية الدقة

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

اقرأ المزيد
(50calc.com)
العتاد

TinyStories: هل لا تزال نماذج اللغات الصغيرة قادرة على إنتاج نصوص إنجليزية متماسكة؟

2025-01-02
TinyStories: هل لا تزال نماذج اللغات الصغيرة قادرة على إنتاج نصوص إنجليزية متماسكة؟

يقدم الباحثون TinyStories، وهي مجموعة بيانات اصطناعية من القصص القصيرة التي تستخدم فقط المفردات التي يفهمها الأطفال من سن 3 إلى 4 سنوات، تم إنشاؤها بواسطة GPT-3.5 و GPT-4. يُظهرون أن نماذج اللغات المدربة على TinyStories، حتى تلك التي تحتوي على أقل من 10 ملايين معلمة وهياكل بسيطة (كتلة محول واحدة)، يمكن أن تولد قصصًا متماسكة وسلسة من فقرات متعددة، وتظهر قواعد نحوية و قدرات استدلالية جيدة بشكل مدهش. هذا يتحدى فكرة أن إنشاء نص متماسك يتطلب نماذج ضخمة وهياكل معقدة، ويقدم أسلوبًا جديدًا للتقييم يستخدم GPT-4 لتصنيف القصص المُولدة مثل معلم بشري، متغلبًا على قيود المعايير القياسية.

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

مبنى بلدية بوسطن: تحفة معمارية مثيرة للجدل

2024-12-20
مبنى بلدية بوسطن: تحفة معمارية مثيرة للجدل

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

اقرأ المزيد
(www.bostonglobe.com)
التصميم مبنى بلدية بوسطن التصميم المعماري التجديد الحضري

طفل في الثالثة يقرأ الهوبيت: دليل للآباء حول محو الأمية المبكرة

2025-05-29
طفل في الثالثة يقرأ الهوبيت: دليل للآباء حول محو الأمية المبكرة

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

اقرأ المزيد
(www.theintrinsicperspective.com)
متنوع القراءة المبكرة

AT&T تعد بتقديم ائتمانات على الفواتير بعد انقطاع واسع النطاق للخدمة

2025-01-08
AT&T تعد بتقديم ائتمانات على الفواتير بعد انقطاع واسع النطاق للخدمة

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

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

استعادة التحكم في متصفحك: علامات مرجعية وإضافات

2025-02-09

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

اقرأ المزيد
(andregarzia.com)
التطوير إضافات المتصفح

جدل في مؤتمر FOSDEM: خطاب الملياردير جاك دورسي يثير غضبًا

2025-01-16

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

اقرأ المزيد
(drewdevault.com)
التطوير جاك دورسي البرامج الحرة

تتبع أجهزة البلوتوث عبر شبكة البحث عن جهازي من أبل باستخدام جو

2025-01-11
تتبع أجهزة البلوتوث عبر شبكة البحث عن جهازي من أبل باستخدام جو

يستخدم مشروع جو هايستاك OpenHaystack و Macless-Haystack لتتبع أجهزة البلوتوث الشخصية باستخدام أدوات مكتوبة بلغة جو/تينيجو. وهو يدعم العديد من أجهزة البلوتوث، بما في ذلك Adafruit Bluefruit و BBC micro:bit، ويتضمن TinyScan لمسح الأجهزة المحلية. يحتاج المستخدمون إلى معرف أبل مع تمكين 2FA ويجب عليهم إعداد anisette-v3-server و macless-haystack. ستظهر معلومات الجهاز في النهاية في واجهة مستخدم الويب الخاصة بـ Macless-Haystack.

اقرأ المزيد
(github.com)
التطوير تتبع البلوتوث ابحث عن جهازي من أبل

من بلدة في ولاية آيوا إلى أسطورة وادي السيليكون: صعود بوب نويس والدائرة المتكاملة

2025-03-05
من بلدة في ولاية آيوا إلى أسطورة وادي السيليكون: صعود بوب نويس والدائرة المتكاملة

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

اقرأ المزيد
(classic.esquire.com)
التكنولوجيا بوب نويس الدائرة المتكاملة

هندسة عكسية لناقل السرعة الإلكتروني من VanMoof - الجزء الثاني - فك رموز الإشارات

2025-01-19
هندسة عكسية لناقل السرعة الإلكتروني من VanMoof - الجزء الثاني - فك رموز الإشارات

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

اقرأ المزيد
(mikecoats.com)
العتاد ناقل سرعة إلكتروني

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

2025-01-25
شركة شرودنجر: شركة التكنولوجيا الحيوية التي تحاول فك شفرة اكتشاف الأدوية باستخدام الذكاء الاصطناعي

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

اقرأ المزيد
(hntrbrk.com)
التكنولوجيا

محكمة استئناف فلوريدا ترفض مبادرة الحق في المياه النظيفة

2024-12-30
محكمة استئناف فلوريدا ترفض مبادرة الحق في المياه النظيفة

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

اقرأ المزيد
(floridaphoenix.com)
التكنولوجيا حماية البيئة الحكومة المحلية

ModernBERT: بديل ثوري لـ BERT

2024-12-19
ModernBERT: بديل ثوري لـ BERT

تقدم Answer.AI و LightOn ModernBERT، وهي عائلة من نماذج المُشفّر فقط الأحدث من نوعها والتي تتفوق على BERT من حيث السرعة والدقة. يدمج ModernBERT العديد من التطورات الحديثة في أبحاث LLM، مع طول سياق مُمتد (8192 رمزًا)، ومعالجة أسرع، وأداءً أفضل عبر معايير مُختلفة. إن قدرات استرجاع الكود القوية بشكل خاص تُفتح أبواب تطبيقات جديدة مثل البحث عن الكود على نطاق واسع وميزات IDE مُحسّنة. يعد ModernBERT بديلاً مُباشرًا لنماذج BERT وهو مُتاح على Hugging Face.

اقرأ المزيد
(huggingface.co)
AI نموذج المُشفّر

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

2024-12-20

تُعرف البرمجة المتزامنة بأنها معقدة بشكلٍ كبيرٍ بسبب صعوبة تعداد جميع الحالات الممكنة. تستخدم هذه المقالة التصوّر لشرح كيفية فهم آلية تنفيذ البرامج المتزامنة. تبدأ المقالة بتعريف مفهوم حالة البرنامج، وهو مزيج من قيم المتغيرات وموقع التعليمات، ثم تُظهر عملية انتقال حالات البرنامج وتوليد مساحة الحالة باستخدام مثال بسيط لبرنامج مشابه للغة C. بعد ذلك، تُقدّم المقالة البرامج المتزامنة، وباستخدام برنامجين متزامنين، P و Q، تشرح كيفية تمثيل حالة البرنامج المتزامن وبناء مساحة الحالة. وأخيراً، تستكشف المقالة كيفية استخدام أداة التحقق من النموذج SPIN ولغة LTL للتحقق من صحة البرامج المتزامنة، مع تسليط الضوء على الدور المهم للتحقق من النموذج في ضمان صحة البرامج المتزامنة.

اقرأ المزيد
(wyounas.github.io)
التطوير مساحة الحالة التحقق من النموذج

احتكار جوجل للذكاء الاصطناعي: كيف أسكت موقع سفر ( وآلاف آخرين)

2025-05-29
احتكار جوجل للذكاء الاصطناعي: كيف أسكت موقع سفر ( وآلاف آخرين)

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

اقرأ المزيد
(travellemming.com)
الشركات الناشئة احتكار محركات البحث

AO3: أرشيف قصص المعجبين الذي يديره المعجبون ويتميز بهيكلة رائعة

2025-02-25
AO3: أرشيف قصص المعجبين الذي يديره المعجبون ويتميز بهيكلة رائعة

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

اقرأ المزيد
(www.wired.com)
التكنولوجيا قصص المعجبين هيكلة موقع الويب نظام الوسم

جافا سكريبت الحديث لمطوري Django: دليل شامل

2025-01-15
جافا سكريبت الحديث لمطوري Django: دليل شامل

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

اقرأ المزيد
(www.saaspegasus.com)
التطوير تطوير الواجهة الأمامية

ظواهر ضوئية عابرة نادرة تم التقاطها فوق جبال الهيمالايا

2025-07-06
ظواهر ضوئية عابرة نادرة تم التقاطها فوق جبال الهيمالايا

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

اقرأ المزيد
(www.nationalgeographic.com)
التكنولوجيا ظواهر ضوئية عابرة الأشباح الحمراء

مكافآت ضخمة من ميتا: زيادات هائلة بعد التسريحات الجماعية تثير غضباً

2025-02-22
مكافآت ضخمة من ميتا: زيادات هائلة بعد التسريحات الجماعية تثير غضباً

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

اقرأ المزيد
(www.theregister.com)
التكنولوجيا مكافآت المديرين

RAG النمطية: هل يمكن لأنماط الاستدلال أن تحل محل أنابيب الاسترجاع التقليدية؟

2025-02-26
RAG النمطية: هل يمكن لأنماط الاستدلال أن تحل محل أنابيب الاسترجاع التقليدية؟

أجرت kapa.ai تجربة على نظام توليد مُعزز بالاسترجاع (RAG) نمطي قائم على نماذج الاستدلال، بهدف تبسيط مساعد الذكاء الاصطناعي لديها وتقليل الحاجة إلى ضبط المعلمات يدويًا. باستخدام نموذج o3-mini، وجدوا أنه بينما كانت هناك مكاسب متواضعة في توليد التعليمات البرمجية، إلا أن النظام لم يتفوق على أنابيب RAG التقليدية في مهام الاسترجاع الأساسية، مثل جودة استرجاع المعلومات واستخراج المعرفة. كشفت التجربة عن مغالطة "الاستدلال ≠ الخبرة": نماذج الاستدلال تفتقر إلى الخبرة العملية في أدوات الاسترجاع، وتحتاج إلى استراتيجيات توجيه محسّنة أو تدريب مسبق لاستخدامها بكفاءة. الخلاصة هي أن نظام RAG النمطية القائم على الاستدلال ليس حاليًا متفوقًا على أنابيب RAG التقليدية ضمن قيود زمنية معقولة، لكن مرونته وقابلية توسيعه لا تزالان جذابين.

اقرأ المزيد
(www.kapa.ai)
الذكاء الاصطناعي استرجاع المعلومات

ارتفعت إنتاجية العمل في مطاعم الولايات المتحدة خلال فترة كوفيد: ثورة الوجبات السريعة؟

2025-03-14
ارتفعت إنتاجية العمل في مطاعم الولايات المتحدة خلال فترة كوفيد: ثورة الوجبات السريعة؟

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

اقرأ المزيد
(bfi.uchicago.edu)
التكنولوجيا إنتاجية العمل تأثير كوفيد الوجبات السريعة
1 2 … 559 560 561 563 565 566 567 … 595 596