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

IngressNightmare: ثغرات أمنية حرجة تؤثر على آلاف مجموعات Kubernetes

2025-03-25

اكتشفت Wiz Research سلسلة من ثغرات أمنية لتنفيذ التعليمات البرمجية عن بُعد دون مصادقة (المُلقبة بـ #IngressNightmare) في Ingress NGINX Controller لـ Kubernetes. يمنح الاستغلال وصولًا غير مصرح به إلى جميع الأسرار في جميع مساحات الأسماء، مما قد يؤدي إلى الاستيلاء على المجموعة. حوالي 43% من بيئات السحابة معرضة للخطر، مع أكثر من 6500 مجموعة متأثرة، بما في ذلك شركات من قائمة Fortune 500، تعرض مكونات ضعيفة علنًا. يُعد التصحيح الفوري أمرًا بالغ الأهمية. وتشمل إجراءات التخفيف التحديث إلى أحدث إصدار من Ingress NGINX Controller أو تعطيل مكون وحدة التحكم في القبول.

(www.wiz.io)

التطوير

حزمة تطوير سطح المكتب الحرة تنسحب من ملحق OpenH264: نزاع براءات الاختراع والمخاطر الأمنية

2025-03-25

تشرح هذه المقالة سبب سحب ملحق OpenH264 من حزمة تطوير سطح المكتب الحرة. في البداية، تم استخدام libopenh264 من شركة سيسكو عبر ملحق Flatpak لحل مشاكل براءات الاختراع الخاصة بـ H.264. ومع ذلك، فقد واجه هذا النهج بعض التحديات: شهادة SSL غير صالحة، ومخاطر أمنية، وصعوبة في التحديثات. قامت حزمة تطوير سطح المكتب الحرة بدمج فك تشفير H.264 في ملحق codecs-extra، والذي يتضمن مكتبات ترميز وفك تشفير أخرى، ويتم تثبيته تلقائيًا كملحق وقت تشغيل. وقد حل هذا الأمر العديد من المشاكل المرتبطة بملحق OpenH264، مما قلل من عبء الصيانة وتحسين الأمان.

(bbhtt.space)

التطوير حزمة تطوير سطح المكتب الحرة

إعادة بناء مكتبة C++ القياسية من الصفر: مشروع Pystd

2025-03-25

سئمًا من أوقات التجميع السيئة وقابلية قراءة مكتبة C++ القياسية (STL) الرديئة، قرر مطور برمجيات مفتوحة المصدر بناء بديل من الصفر: Pystd. مستوحى من مكتبة Python القياسية، قام بتنفيذ معالجة الملفات، ومعالجة السلاسل، والتحقق من صحة UTF-8، وخرائط التجزئة، والمتجهات، والفرز تدريجيًا. والنتيجة؟ تطبيق عملي بأقل من 1000 سطر من التعليمات البرمجية، مماثل لإصدار STL. يتميز Pystd بأوقات تجميع أسرع بشكل ملحوظ وأحجام ملفات قابلة للتنفيذ أصغر. يضمن مخطط الإصدار الفريد (مثل pystd2025) استقرار ABI مثاليًا، مما يسهل عمليات الترقية والصيانة المستقبلية.

(nibblestew.blogspot.com)

التطوير المكتبة القياسية

الفن المفقود لرسائل الالتزام: دليل لعمليات الالتزام الفعّالة في جيت

2025-03-25

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

(www.seyhan.me)

التطوير رسائل الالتزام

ترايفورس: مُشكّل حزمة لأجهزة الكمبيوتر المحمولة من آبل سيليكون

2025-03-25

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

(github.com)

التطوير تشكيل الحزمة آبل سيليكون

Vibe-Eyes: منح LLMs القدرة على رؤية ألعاب المتصفح

2025-03-25

Vibe-Eyes هو خادم MCP مبتكر يسمح لأنظمة اللغات الكبيرة (LLMs) بـ"رؤية" ما يحدث في ألعاب وتطبيقات تعتمد على المتصفح. يستخدم بنية عميل-خادم: حيث يقوم عميل متصفح خفيف الوزن بالتقاط محتوى اللوحة القماشية ومعلومات التصحيح، وإرسالها عبر WebSockets إلى خادم Node.js. يقوم الخادم بتحويل الصور إلى صور SVG مضغوطة، مما يجعلها متاحة لأنظمة LLMs عبر بروتوكول سياق النموذج (MCP). يسمح هذا لأنظمة LLMs بـ"رؤية" التطبيق وتقديم مساعدة تصحيح سياقية غنية، مما يحسن بشكل كبير كفاءة "ترميز vibe".

(github.com)

التطوير

حان الوقت للتوقف عن بناء قواعد بيانات KV

2025-03-25

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

(buttondown.com)

التطوير قاعدة البيانات المضمنة

موديلكا: نمذجة أنيقة للأنظمة السيبرانية الفيزيائية المعقدة

2025-03-25

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

(modelica.org)

التطوير موديلكا لغة النمذجة محاكاة النظام

MRubyD: آلة افتراضية mruby بلغة C# لدمج سلس مع محركات الألعاب

2025-03-24

MRubyD هي آلة افتراضية جديدة لـ mruby تم تنفيذها بلغة C# نقية، صُممت من أجل دمج سلس مع محركات ألعاب تعتمد على C#. بفضل استخدامها لميزات C# الحديثة، تتميز بأداء عالٍ وقابلية للتوسيع، مع التركيز على توافق واجهة برمجة تطبيقات Ruby. الإصدار الحالي هو إصدار تجريبي، حيث لا تزال بعض الميزات قيد التطوير، مثل الأنواع والطرق المضمنة، بالإضافة إلى إمكانية الوصول الخاص/المحمي. يمكنك تثبيتها عبر `dotnet add package MRubyD` واستكشاف إمكانياتها من خلال الأمثلة المقدمة. يُشترط وجود مُجمِّع mruby الأصلي لتجميع شفرة المصدر .rb إلى بايت كود .mrb.

(github.com)

التطوير

مكتبة إذن مرنة: مزيج من RBAC و ABAC و ReBAC

2025-03-24

مكتبة إذن مرنة تجمع بين سياسات التحكم في الوصول القائمة على الأدوار (RBAC) والسمات (ABAC) والعلاقات (ReBAC). وهي تدعم تكوين السياسات (AND و OR و NOT) ، وتتبع التقييم التفصيلي ، وواجهة برمجة التطبيقات سهلة الاستخدام ، مع سلامة النوع والدعم غير المتزامن. أضف بسهولة سياسات متعددة مثل RBAC و ABAC ، وقم بإنشاء سياسات مخصصة باستخدام PolicyBuilder. توضح الأمثلة RBAC و ReBAC ومدمجات السياسات.

(github.com)

التطوير إذن تحكم الوصول

FaunaDB تغلق أبوابها وتتحول إلى مفتوحة المصدر بعد الحصول على تمويل بقيمة 27 مليون دولار

2025-03-24

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

(www.theregister.com)

التطوير

ثغرة أمنية حرجة في Kubernetes Ingress-Nginx: خطر تنفيذ التعليمات البرمجية التعسفية

2025-03-24

تم اكتشاف العديد من الثغرات الأمنية الحرجة في Kubernetes Ingress-Nginx، وأخطرها (CVE-2025-1974) يحمل درجة CVSS 9.8، مما يسمح بتنفيذ تعليمات برمجية تعسفية واحتمالية تسرب أسرار على مستوى الكتلة بأكملها. جميع الإصدارات السابقة للإصدار v1.11.5 و v1.12.1 متأثرة. يوصى بشدة بالترقية الفورية إلى أحدث إصدار أو تعطيل وحدة التحكم في القبول المؤكدة مؤقتًا للحد من الخطر.

(groups.google.com)

التطوير

حلم المبرمج الرعوي: الهروب من الكود، واحتضان الأرض؟

2025-03-24

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

(tjmorley.com)

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

تحدي بروسبرو: عرض الأسطح الضمنية بأداء متميز

2025-03-24

يتحدى تحدي بروسبرو المطورين لعرض سطح ضمني مُعرّف بـ 7866 تعبيرًا رياضيًا بأسرع وقت ممكن. يستكشف المشاركون تقنيات تحسين متنوعة، بما في ذلك تحليل التعبيرات المسبق، وتسريع Numba، والحوسبة على وحدات معالجة الرسوميات، وتجميع LLVM، باستخدام أدوات مثل Python و Numpy و CUDA و مُجمّعات JIT. وقد حققت الحلول أوقات عرض بالميلي ثانية، وخفضت استهلاك الذاكرة بشكل كبير. ويشجع التحدي على التجريب ومشاركة النتائج لتطوير تقنيات عرض الأسطح الضمنية.

(www.mattkeeter.com)

التطوير السطح الضمني العرض

بناء واجهة برمجة تطبيقات بريد إلكتروني قوية باستخدام River

2025-03-24

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

(riverqueue.com)

التطوير القدرة على إعادة استخدام الطلبات واجهة برمجة تطبيقات البريد الإلكتروني

ليلي: بديل مبسط لـ Vim/Neovim

2025-03-24

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

(github.com)

التطوير بديل Vim خفيف

إتقان Delphi 5: استعراض لمدة 25 عامًا

2025-03-24

أصدر Marco Cantu طبعة عام 2025 المُعلّقة من كتابه الكلاسيكي "إتقان Delphi 5" مجانًا للتنزيل. يحتوي الكتاب الذي يبلغ 1139 صفحة على 475 حاشية سفلية وعشرات من لقطات الشاشة الجديدة التي تُقارن بين واجهات المستخدم القديمة والجديدة لـ IDE والتطبيقات. وعلى الرغم من أن بعض الأكواد لا يتم تجميعها، إلا أن معظم البرامج لا تزال تعمل، وهو دليل على إرث Delphi الدائم. هذه الهدية للمجتمع تحتفل بالذكرى السنوية الثلاثين لـ Delphi وتقدم رحلة حنين إلى الماضي عبر تاريخها.

(blog.marcocantu.com)

التطوير الرجوع إلى الوراء

بايكوربي: تنفيذ خفيف الوزن لروبي للمتحكمات الدقيقة

2025-03-24

بايكوربي هو تنفيذ خفيف الوزن لـ mruby مع مساحة تخزين صغيرة: 256 كيلوبايت ROM وأقل من 128 كيلوبايت RAM (هندسة 32 بت). يُعتبر قابل للنقل بدرجة عالية، ويعتمد فقط على مكتبات C القياسية، ويدعم متحكمات دقيقة مثل راسبيري باي بيكو. لا يزال قيد التطوير، ولكنه يوفر وثائق API، وأشرطة فيديو توضيحية، وأدوات بناء. يُنتج أمر `rake` ثلاثة ملفات قابلة للتنفيذ: `picorbc` (يُترجم روبي إلى رمز آلة افتراضية mruby)، و`picoruby` (ينفذ رمز روبي مباشرة)، و`r2p2` (لاستخدامات محددة). تم تطويره بواسطة HASUMI Hitoshi و Monstarlab بتمويل من جمعية روبي.

(github.com)

التطوير بايكوربي روبي مضمن

ماجيك تودو: قائمة مهام ذكية تعمل بالذكاء الاصطناعي

2025-03-24

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

(goblin.tools)

التطوير قائمة المهام

LangGraph: بناء مساعد ترميز ذكاء اصطناعي مرن ومتوافق مع أفضل الممارسات

2025-03-24

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

(www.qodo.ai)

التطوير

أوتولوجي: مترجم لغة لِسب قابل للتعديل الذاتي

2025-03-24

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

(github.com)

التطوير المترجم

خادم Apidog MCP: تمكين الذكاء الاصطناعي من خلال وثائق API الخاصة بك

2025-03-24

يربط خادم Apidog MCP وثائق API الخاصة بك من Apidog ببيئات تطوير متكاملة تعمل بالذكاء الاصطناعي مثل Cursor. يسمح هذا للمساعدين الافتراضيين بالوصول إلى مواصفات API الخاصة بك واستخدامها مباشرةً، مما يعزز سرعة التطوير والكفاءة. قم بإنشاء الرموز، وابحث في الوثائق، والمزيد – كل ذلك مدعومًا بتعريفات API الخاصة بك. تتضمن عملية الإعداد إضافة رمز تكوين JSON إلى بيئة التطوير المتكاملة الخاصة بك باستخدام رمز الوصول الخاص بك من Apidog ومعرف المشروع. يدعم مشاريع Apidog وملفات Swagger/OpenAPI. الإصدار التجريبي حاليًا - نرحب بتعليقاتك!

(www.npmjs.com)

التطوير وثائق API

أداة سطر الأوامر: OSGInt - أداة قوية لاسترجاع معلومات مستخدمي GitHub

2025-03-24

OSGInt هي أداة سطر أوامر قوية تسترجع معلومات مستخدمي GitHub باستخدام اسم المستخدم أو عنوان البريد الإلكتروني. فهي تسترجع المعلومات الأساسية مثل اسم المستخدم، الصورة الرمزية، والسيرة الذاتية، بالإضافة إلى البحث عن عناوين البريد الإلكتروني ومفاتيح GPG. تستخدم OSGInt عدة طرق، بما في ذلك تحليل عمليات الالتزام العامة، ومفاتيح GPG، وواجهة برمجة تطبيقات مستخدمي GitHub. مستوحاة من مشروع Zen، وهي قيد التطوير النشط، مع ميزات مثل محاكاة عمليات الالتزام للحصول على عناوين البريد الإلكتروني قيد التطوير.

(github.com)

التطوير استرجاع معلومات المستخدم

مُترجم سي الأصلي من دينيس ريتشي: رحلة إلى الماضي

2025-03-24

تنشر هذه المشاركة شفرة المصدر لأقدم إصدارات معروفة من مُترجم سي، والتي كتبها الراحل دينيس ريتشي الأسطوري. هذه الشفرة غير قابلة للتجميع باستخدام مُترجمي سي الحديثة مثل GCC، لكنها تمثل الشرارة التي أشعلت صناعة ستصل قيمتها قريبًا إلى تريليون دولار. توفر روابط إلى محاكي PDP-11/Unix من Aiju (للمحاولة التجميع) ومستودع Research Unix لأولئك الذين يرغبون في التعمق في تاريخ الحوسبة.

(github.com)

التطوير دينيس ريتشي

واجهة Rust الأمامية لـ GCC 15.1 تحصل على دفعة كبيرة

2025-03-24

سوف يتضمن إصدار GCC 15.1 القادم تحسينات كبيرة في واجهة Rust الأمامية، gccrs. قام آرثر كوهين من Embecosm بدمج مجموعة تصحيحات ثالثة تضيف دعم تعليمات "if let" الخاصة بـ Rust، وتغييرات كبيرة في التمثيلات الداخلية لـ AST/HIR، والتنفيذ الكامل لـ Clone و Copy. من المتوقع إجراء المزيد من التحسينات، بما في ذلك دعم PartialOrd و PartialEq، قبل الإصدار، مما يجعل gccrs بديلاً أكثر جدوى لـ rustc.

(www.phoronix.com)

التطوير

Deduce: مُحقق برهان لأغراض تعليمية

2025-03-24

Deduce هو مُحقق برهان آلي مصمم للأغراض التعليمية، لمساعدة الطلاب على تعلم كيفية إثبات صحة البرامج الوظيفية، وتعميق فهمهم للمنطق، وتحسين مهاراتهم في كتابة البراهين الرياضية. وهو موجّه للطلاب الذين لديهم مهارات أساسية في البرمجة (Java، Python، أو C++) وبعض الخبرة في المنطق من دورة في الرياضيات المنفصلة. يوفر Deduce موارد تتراوح من التثبيت وكتابة الكود إلى دليل مرجعي وورقة غش، مع برهان مثال على خوارزمية بحث خطي لتوضيح استخدامه.

(jsiek.github.io)

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

Bootc: أنشئ توزيعة لينكس الذرية الخاصة بك

2025-03-24

سئمت من إعدادات توزيعات لينكس المعقدة؟ يتيح لك Bootc إنشاء نظام تشغيل مثل إنشاء تطبيق! باستخدام تقنية الحاويات، يمكنك بسهولة إنشاء توزيعات ذرية، مما يضمن تشغيلًا ثابتًا للنظام. يستخدم المقال Nginx كمثال لإظهار بساطة Bootc، ويعرض مشروع Universal Blue، الذي يستخدم Bootc لإنشاء تجربة سطح مكتب تُضاهي SteamOS. يفتح Bootc آفاقًا جديدة لإنشاء سطح مكتب لينكس ثابت وسهل الاستخدام، مما يجعله يستحق التعلم لجميع عشاق لينكس.

(sean.thrailkill.cloud)

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

صعود ESM-Only: هل النظام البيئي لـ JavaScript جاهز؟

2025-03-24

تتناول هذه المشاركة الحالة الحالية لاعتماد ESM (وحدة ECMAScript) في نظام JavaScript البيئي وتدعو إلى الانتقال إلى حزم ESM فقط. يعيد الكاتب النظر في منشور سابق يدافع عن تنسيقات CJS/ESM المزدوجة ويشرح التحول نحو ESM فقط. أدى صعود أدوات البناء الحديثة مثل Vite وأطر العمل مثل Nuxt و SvelteKit إلى جعل ESM نظام الوحدات المهيمن. يدعم Node.js استخدام `require()` لوحدات ESM مما يزيل المزيد من عقبات التشغيل البيني. على الرغم من أن حزم CJS/ESM المزدوجة كانت بمثابة آلية انتقالية، إلا أنها تُدخِل عبء صيانة كبيرًا ومشاكل في التشغيل البيني. يوصي الكاتب باستخدام ESM فقط للمشاريع الجديدة ويوفر إرشادات لأنواع مختلفة من المشاريع (المتصفح، واجهة سطر الأوامر). تم تقديم أداة جديدة، Node Modules Inspector، للمساعدة في تحليل اعتماد ESM في تبعيات المشروع.

(antfu.me)

التطوير وحدات JavaScript

وداعًا، podman generate systemd: Quadlet يبسط إدارة حاويات Podman باستخدام systemd

2025-03-24

تُقدّم هذه المدوّنة Quadlet، وهي طريقة متفوّقة لإدارة حاويات Podman كخدمات systemd، لتحلّ محلّ الأمر المُهمَل `podman generate systemd`. يستخدم Quadlet ملفات `.container` موجزة للتكوين، مُقدّماً ميزات مثل التحديثات التلقائية، وإدارة التبعيّات، وإعادة التشغيل التلقائي بعد إعادة تشغيل الخادم. يُقدّم كبديل أكثر مرونة وقوّة وسهولة في الصيانة لنهج كتابة أوامر shell السابق. يقدّم الكاتب مقارنة مُفصّلة للطريقتين، مُسلّطاً الضوء على مزايا Quadlet، بما في ذلك ملفات التكوين الفردية، واستخدام جميع ميزات systemd، وإدارة التبعيّات الأبسط. تُشير المدوّنة أيضاً إلى وظيفة `podman auto-update` وأداة الهجرة `podlet`.

(mo8it.com)

التطوير

أدوات X11 الرائعة ولكن الغامضة: استرجاع لوظائف يونكس

2025-03-24

تقدم هذه المقالة مجموعة مختارة من الأدوات الرائعة والغامضة لنظام X Window. من نسخة ثلاثية الأبعاد من لعبة Pong إلى Free42، وهو محاكي لآلة حاسبة HP، ومن مُعاين نظام الملفات FSV2 إلى XLennart، وهي نسخة حديثة من لعبة XBill الكلاسيكية، توفر هذه المجموعة رحلة حنين عبر برامج يونكس. تتوفر تعليمات التثبيت وروابط GitHub ودلائل التجميع لكل أداة. سواء كنت مبرمجًا حنينًا للماضي أو من عشاق X11، فإن هذه المقالة تستحق القراءة.

(cyber.dabamos.de)

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

Category: التطوير