Webtagr - ملخصات الأخبار التكنولوجية

عميل LSP في كلوجر: 200 سطر من التعليمات البرمجية، تفاعل بسيط مع خادم اللغة

2025-05-11

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

(vlaaad.github.io)

التطوير

مطورو Rust يعتقدون أننا يائسون: دعونا نثبت لهم خطأهم (مع تسريبات ذاكرة C++)!

2025-05-11

يعيد هذا البرنامج التعليمي التفاعلي طرح السؤال حول تصور مطوري C++ بأنهم يكافحون باستمرار تسريبات الذاكرة. إنه يُظهر من خلال برنامج C++ بسيط كيفية إنشاء هذه التسريبات عمدًا ثم تتبعها بكفاءة باستخدام أدوات التصحيح مثل `_CrtDumpMemoryLeaks`. يقدم المؤلف البحث عن تسريبات الذاكرة كمغامرة ممتعة، شبه متهورة، مما يوفر في النهاية دليلًا عمليًا لتحديد وإصلاح مشاكل الذاكرة في C++.

(www.babaei.net)

التطوير

تسريبات الذاكرة في C++: أظهِر لمطوري Rust من هو المسؤول!

2025-05-11

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

(www.babaei.net)

التطوير تسريبات الذاكرة

تطبيق مهام ويندوز الأصلي بلغة C نقية

2025-05-11

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

(github.com)

التطوير واجهة برمجة تطبيقات Win32 تطبيق مهام

تطوير الويب بدون أطر عمل: دليل لـ Vanilla JS

2025-05-11

يوفر هذا الموقع دليلًا شاملاً حول كيفية إنشاء مواقع ويب وتطبيقات ويب باستخدام محرر فقط، ومتصفح، ومعايير الويب - بدون أدوات بناء أو أطر عمل. إنه يتعمق في استخدام مكونات الويب ككتل بناء أساسية، والاستفادة من قدرات CSS الحديثة، وإنشاء مشاريع ويب وتطبيقات صفحة واحدة بدون أدوات بناء، أو أطر عمل، أو منطق على جانب الخادم. يستهدف هذا البرنامج التعليمي المطورين الذين لديهم معرفة مسبقة بـ HTML و CSS و JavaScript، ويدعم نهجًا أبسط وأكثر قابلية للصيانة لتطوير الويب، معالجة التعقيدات ومصاريف الصيانة المرتبطة غالبًا بأطر العمل الحديثة.

(plainvanillaweb.com)

التطوير CSS الحديث

تصور الإثبات الرياضي: رؤى من Lean Blueprints

2025-05-11

Lean Blueprints، وهي أداة تخطيط للمشاريع مستوحاة من أسلوب المخططات الذي يستخدمه الرياضيون لتوثيق الأدلة، توفر رؤى فريدة حول عملية الإثبات. تستخدم هذه الأداة رسمًا بيانيًا حيث تمثل العقد التعريفات والنظريات والفرضيات، مع ألوان تشير إلى حالتها (أخضر: مثبت، أزرق: تم ذكره ولكنه غير مثبت، أسود: غير مكتوب). من خلال تتبع التحكم في الإصدارات الخاصة بمشاريع Lean (مثل توثيق Terrence Tao للفرضية PFR)، يمكننا تصور تطور الأدلة، وكشف كيفية عمل الرياضيين وتوفير البيانات اللازمة لبناء أدوات لمساعدتهم. يوفر هذا التصور رؤى خفية سابقًا حول كيفية بناء الأدلة الرياضية.

(kirancodes.me)

التطوير إثبات رسمي

تطوير تطبيقات iOS على أجهزة غير تابعة لشركة أبل: حقل ألغام قانوني

2025-05-11

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

(forums.swift.org)

التطوير تطوير iOS مخاطر قانونية اتفاقية مطوري أبل

تشغيل أسرع لـ Java مع تحسينات ملف تعريف ذاكرة التخزين المؤقت AOT

2025-05-11

يُقلل هذا التحسين بشكل كبير من وقت الإحماء لتطبيقات Java من خلال جمع ملفات تعريف تنفيذ الطريقة أثناء تشغيل تدريب التطبيق وتخزينها في ذاكرة التخزين المؤقت AOT. عند بدء التشغيل في الإنتاج، يمكن لـ JIT compiler استخدام هذه الملفات على الفور لإنشاء رمز أصلي، مما يلغي انتظار جمع الملفات الشخصية ويؤدي إلى بدء تشغيل وأداء ذروة أسرع. هذه التقنية لا تتطلب أي تغييرات في التعليمات البرمجية ومتوافقة مع أوامر إنشاء ذاكرة التخزين المؤقت AOT الحالية. تُظهر التجارب انخفاضًا بنسبة 19% في وقت الإحماء لبرنامج مثال بسيط.

(openjdk.org)

التطوير ذاكرة التخزين المؤقت AOT

GlassFlow: معالجة بيانات ETL المتدفقة في الوقت الحقيقي لـ ClickHouse

2025-05-11

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

(github.com)

التطوير معالجة البيانات في الوقت الحقيقي

مراجعة جودة توثيق نظام Rust البيئي: الإيجابيات والسلبيات

2025-05-11

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

(www.harudagondi.space)

التطوير

روام توظف: مهندس كامل المكدس الرئيسي لثورة حجوزات السفر بالذكاء الاصطناعي

2025-05-11

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

(www.ycombinator.com)

التطوير حجوزات السفر

Solid Queue في Rails 8: غوص عميق في معالج المهام الخلفية الجديد (الجزء الأول)

2025-05-11

يقدم Rails 8 مكتبة Solid Queue الجديدة لمعالجة المهام الخلفية، والتي تلغي الحاجة إلى خدمات خارجية مثل Redis. تتعمق هذه المقالة في بنية Solid Queue، موضحة التفاعل بين الوظائف (Jobs) والعمال (Workers) وكيفية استخدام جداول قاعدة البيانات (solid_queue_jobs، solid_queue_ready_executions، solid_queue_claimed_executions، solid_queue_processes) لإدارة وضع المهام في قائمة الانتظار، وتنفيذها، ومراقبتها. تحقق Solid Queue أداءً عالياً وموثوقية عالية من خلال تصميم قاعدة بيانات ذكي واستخدام جمل FOR UPDATE SKIP LOCKED، مع استخدام عملية مراقبة لمنع فقدان المهام. تسلط المقالة الضوء أيضًا على قيود SQLite وإمكانيات مراقبة الأداء من AppSignal، مع وعد بمزيد من التعمق في الجزء الثاني.

(blog.appsignal.com)

التطوير المهام الخلفية

arXivLabs: مشاريع تجريبية مع متعاونين من المجتمع

2025-05-11

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

(arxiv.org)

التطوير

إصدار Lazarus IDE 4.0!

2025-05-11

يسر فريق Lazarus الإعلان عن إصدار Lazarus 4.0! تم بناء هذا الإصدار باستخدام FPC 3.2.2، وهو يتضمن العديد من التحسينات وإصلاحات الأخطاء. تتوفر عمليات التنزيل على SourceForge (ومرايا) لأنظمة Windows وLinux وmacOS. تم تحديث متطلبات النظام الدنيا؛ راجع الموقع الرسمي للحصول على التفاصيل. كما يتوفر كود المصدر على Gitlab للمساهمات المجتمعية.

(forum.lazarus.freepascal.org)

التطوير

تشغيل NetBSD على جهاز i486SX قديم: وُلد محاكي FPU برمجي

2025-05-11

نجح مطور في محاكاة وحدة معالجة الأرقام العائمة (FPU) المفقودة على كمبيوتر محمول i486SX قديم. بعد أشهر من العمل، تمكن بنجاح من تنفيذ محاكي FPU برمجي على NetBSD 10 ونشر المشروع كمصدر مفتوح. هذا المشروع لا يعيد الحياة فقط لأجهزة i486SX القديمة، بل يوفر أيضًا إمكانيات جديدة لهواة الحوسبة القديمة. وقد تم اختباره بنجاح على آلة افتراضية 86Box.

(mezzantrop.wordpress.com)

التطوير

كتابة برنامج تشغيل ASUS ACPI WMI للتحكم في المروحة في OpenBSD

2025-05-11

يُفصّل الكاتب رحلته في كتابة برنامج تشغيل ASUS ACPI WMI لنظام OpenBSD للتحكم في سرعة مروحة حاسوبه المحمول. اشتملت العملية على التغلب على تحديات تتعلق بترتيب البايتات في ACPI و WMI، واستخدام acpidump و iasl لتحليل شفرة ACPI الخاصة بالنظام، وفي النهاية تحقيق التحكم في سرعة المروحة. قارن الكاتب بين أساليب تطوير برامج التشغيل في أنظمة Linux و FreeBSD، مسلطًا الضوء على تنظيم الشفرة المريح في OpenBSD.

(flak.tedunangst.com)

التطوير تطوير برامج التشغيل

مهندس جوجل المخضرم يغادر الشركة بعد 19 عامًا، ويعكس تطور جو

2025-05-11

غادر مهندس كبير عمل في جوجل لمدة 19 عامًا، وكان مشاركًا بشكل كبير في تطوير لغة البرمجة جو، الشركة. تعكس المقالة رحلته التي استمرت 14 عامًا مع جو، من المساهمة في واجهة برمجة الكمبايلر الأمامية إلى تشكيل ميزات اللغة مثل الجينريكس، وتأثيره على الاتجاه العام للمشروع. يعتقد الكاتب أن جو لا تزال لديها مجال كبير للنمو، ويأمل في المساهمة في تطويرها في المستقبل.

(www.airs.com)

التطوير

الهاش المتكيّف في SBCL: جعل جداول الهاش أسرع وأكثر قوة

2025-05-11

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

(quotenil.com)

التطوير الهاش المتكيّف جدول الهاش

صعود وسقوط (وصعود؟) فيجوال بيسك

2025-05-11

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

(retool.com)

التطوير فيجوال بيسك

كارثة أداء OpenSSL 3.0 ومستقبل نظام بيئة مكتبات SSL

2025-05-11

يتعمق فريق HAProxy في كارثة الأداء التي تسببها OpenSSL 3.0 وتأثيرها على نظام بيئة مكتبات SSL. أدى إصدار OpenSSL 3.0 إلى تدهور كبير في الأداء في بيئات متعددة الخيوط، مما شكل تحديًا للعديد من المشاريع التي تعتمد على OpenSSL. تقارن المقالة حلولًا بديلة مثل BoringSSL وLibreSSL وWolfSSL وAWS-LC، وتحليل التوازنات بين الوظائف والأداء والصيانة. تكشف اختبارات الأداء أن OpenSSL 3.0 يقدم أداءً أقل بكثير مقارنةً بالمكتبات الأخرى في سيناريوهات متعددة الخيوط، مما يجبر المنظمات على توفير المزيد من الأجهزة للحفاظ على الإنتاجية. تستكشف المقالة أيضًا بروتوكول QUIC وعلاقته بمكتبات SSL، بالإضافة إلى كيفية تعامل فريق OpenSSL مع واجهة برمجة التطبيقات QUIC. في النهاية، توصي المقالة مستخدمي HAProxy باختيار مكتبات SSL مناسبة بناءً على احتياجاتهم، مثل AWS-LC أو WolfSSL، وتدعو المجتمع للتعاون لحل مشاكل أداء OpenSSL 3.0.

(www.haproxy.com)

التطوير مكتبات SSL

أصول البرمجة الشيئية المفهومة بشكل خاطئ: تصحيح الحقائق

2025-05-10

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

(www.hillelwayne.com)

التطوير

LoopMix128: مُولِّد أعداد عشوائية زائفة سريع وقوي بفترة 2^128

2025-05-10

LoopMix128 هو مُولِّد أعداد عشوائية زائفة (PRNG) سريع للغاية مع فترة مضمونة مقدارها 2^128، وله حقنة مثبتة، واجتاز اختبارات BigCrush و PractRand (32 تيرابايت) بنجاح. صُمِّم للاستخدامات غير المشفرة حيث السرعة والجودة الإحصائية أساسيتان، ويتفوق بشكل ملحوظ على مُولِّدات المكتبات القياسية، ويتنافس مع مُولِّدات الأعداد العشوائية عالية السرعة الحديثة مثل wyrand و xoroshiro128++ أو يتفوق عليها. أداءه مدعوم باختبارات صارمة، حيث اجتاز اختبارات BigCrush و PractRand بدون أي شذوذ، ويحتوي على حالة حقنة مثبتة من 192 بت تُمكّن من التدفقات المتوازية.

(github.com)

التطوير

رسم مثلث سيربينسكي باستخدام عمليات البت: اختراق مذهل لمعالجة البتات

2025-05-10

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

(lcamtuf.substack.com)

التطوير فراكتل عمليات البت

arXivLabs: تجربة التعاون المجتمعي على الميزات الجديدة

2025-05-10

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

(arxiv.org)

التطوير

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

2025-05-10

اقترح سوبهاش خوت في عام 2002، تخمين الألعاب الفريدة (UGC)، والذي ينص على أن تقريب قيمة نوع محدد من الألعاب، المعروف باسم اللعبة الفريدة، هو NP-صعب. لهذا التخمين آثار كبيرة على نظرية خوارزميات التقريب؛ إذا كان صحيحًا و P≠NP، فلن تسمح العديد من المشاكل المهمة بتقريبات جيدة في وقت متعدد الحدود، وليس فقط الحلول الدقيقة. المجتمع الأكاديمي منقسم حول صحة هذا التخمين، مع وجود صيغ مكافئة تشمل مشاكل تغطية العلامات و Max2Lin(k). على الرغم من دحض إصدارات أقوى، فقد حفز استكشاف UGC أبحاثًا رياضية كبيرة، وقد تم إحراز بعض التقدم نحو إثباته، بما في ذلك إثبات تخمين مرتبط، وهو تخمين ألعاب 2-2.

(en.wikipedia.org)

التطوير خوارزميات التقريب NP-صعب

هندسة التطبيقات المحلية أولاً في Flutter: دليل لبناء تطبيقات تعمل دون اتصال بالإنترنت

2025-05-10

تتناول هذه المقالة هندسة التطبيقات المحلية أولاً في Flutter، حيث تُعطى الأولوية لتخزين البيانات ومزامنتها محلياً لتوفير تجارب مستخدم متفوقة. على عكس النهج التقليدي الذي يعطي الأولوية للإنترنت، تُحدد هندسة التطبيقات المحلية أولاً قاعدة البيانات المحلية كمصدر بيانات أساسي، مما يضمن وظائف التطبيق حتى في وضع عدم الاتصال بالإنترنت. تُفصّل المقالة مزايا هندسة التطبيقات المحلية أولاً، وتحديات بناء محرّك المزامنة (بما في ذلك تتبع التغييرات، وحل النزاعات، وحالات الحافة، ومعالجة الأخطاء، وتحسين الأداء)، وتُظهر كيفية بناء تطبيق Todo باستخدام Riverpod وDrift وPowerSync المتصل بخادم Supabase الخلفي. هذه الأدوات تُبسّط بناء تطبيقات قوية قادرة على العمل دون اتصال، مما يُحسّن تجربة المستخدم.

(dinkomarinac.dev)

التطوير

GPT-3 يولد برنامجًا تعليميًا لـ Datasette: عرض مذهل لقدرات الكتابة للذكاء الاصطناعي

2025-05-10

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

(simonwillison.net)

التطوير

هل برنامج Cursor رائع حقًا؟ مراجعة صادقة من مبرمج متمرس

2025-05-10

يقدم الكاتب مقارنة متعمقة لأداة إكمال الكود الشهيرة Cursor مع خيارات أخرى. يكتشف أن التكنولوجيا الأساسية لـ Cursor ليست مختلفة بشكل جوهري عن Copilot، حيث تعتمد كلاهما على نماذج Claude أو GPT. يتميز Cursor بالبحث والرجوع إلى ملفات أخرى داخل المشروع بنشاط، لكنه قد يكون في بعض الأحيان ذكيًا جدًا، بل ويصل إلى إنشاء ملفات جديدة دون إذن. يفضل الكاتب نموذج o1 لقدرته على تصحيح الأخطاء بدقة وموثوقية أكبر. ويختتم المقال بأن من يمدحون Cursor بشكل مفرط قد يفتقرون إلى الخبرة في البرمجة، حيث يخلطون بين قوة الذكاء الاصطناعي وقوة الأداة نفسها. ويشدد الكاتب على أن اختيار المحرر يجب أن يعتمد على التفضيل الشخصي وليس على اتباع الاتجاهات بشكل أعمى.

(en.smallyu.net)

التطوير أدوات الذكاء الاصطناعي

أزمة تعليم البرمجة اللوجيكية (برولوغ): نداء للإصلاح من مستخدم ستاك أوفرفلون

2025-05-10

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

(storytotell.org)

التطوير ستاك أوفرفلون

MCP: بروتوكول يحتاج إلى مراجعة شاملة؟

2025-05-10

تقدم هذه المقالة تحليلًا نقديًا لبروتوكول سياق النموذج (MCP). حاول الكاتب إنشاء خادم MCP، لكنه وجد أن الوثائق غير كافية، وأن قرارات التصميم غريبة، وأن خيارات نقل HTTP (SSE+HTTP وما يسمى بـ "HTTP القابل للبث") معقدة ومربكة للغاية، وأدنى بكثير من بساطة وفعالية WebSockets. يجادل الكاتب بأن المرونة المفرطة في MCP تؤدي إلى زيادة التعقيد، وزيادة تكاليف الصيانة، ومخاطر أمنية. يقترح استبدال نقل HTTP الحالي بـ WebSockets، وتبسيط تصميم البروتوكول لتحسين قابلية الاستخدام.

(raz.sh)

التطوير تصميم البروتوكول

Category: التطوير