Category: التطوير

ما وراء هندلي-ميلنر: برنامج تعليمي حول مترجم كوبيمل مع كتابة فرعية جبرية

2025-06-13

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

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

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

2025-06-13
arXivLabs: مشاريع تجريبية مع متعاونين من المجتمع

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

التطوير

Tattoy: تحسين محطة العمل الخاصة بك مع تأثيرات مدعومة بمعالج الرسومات

2025-06-13
Tattoy: تحسين محطة العمل الخاصة بك مع تأثيرات مدعومة بمعالج الرسومات

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

OxCaml: تعزيز أداء OCaml

2025-06-13

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

التطوير

جوجل تتخلص من تطبيقات أندرويد الفورية

2025-06-13
جوجل تتخلص من تطبيقات أندرويد الفورية

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

التطوير تطبيقات فورية

qrkey: أداة سطر الأوامر للنسخ الاحتياطي لـ private key بدون اتصال باستخدام رموز QR

2025-06-13
qrkey: أداة سطر الأوامر للنسخ الاحتياطي لـ private key بدون اتصال باستخدام رموز QR

qrkey هي أداة سطر أوامر لإنشاء واسترداد رموز QR من الملفات للنسخ الاحتياطي لـ private key بدون اتصال. تتعامل مع الملفات الكبيرة عن طريق تقسيمها إلى رموز QR متعددة وتتضمن بيانات وصفية لتسهيل الاسترداد والتحقق. التثبيت عبر Homebrew (macOS) أو Docker، أو راجع الإصدارات لأنظمة التشغيل الأخرى. إنشاء: `qrkey generate --in --out file.pdf`; استرداد: `qrkey recover --in `.

إدارة الحالة التفاعلية في بايثون: دليل عملي

2025-06-13
إدارة الحالة التفاعلية في بايثون: دليل عملي

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

التطوير

GetHooky: لا تنسَ أبدًا استخدام أداة الفحص النحوي!

2025-06-13

هل سئمت من نسيان تشغيل أداة الفحص النحوي قبل الدفع إلى الإنتاج؟ GetHooky هي أداة سطر أوامر متعددة المنصات تقوم تلقائيًا باختبار وفحص رمزك عند الالتزام أو الدفع. سهلة الاستخدام للغاية - قم بالتثبيت مرة واحدة، واستخدمها في أي مكان. تعمل مع أي مشروع، بأي لغة، وتدعم جميع أدوات Git. ودّع الرموز غير المنظمة، ورحّب بالتنمية الفعّالة!

التطوير الفحص النحوي

عميل BitTorrent بلغة Go: قيد التطوير

2025-06-13
عميل BitTorrent بلغة Go: قيد التطوير

يقوم هذا المشروع بتنفيذ عميل BitTorrent بلغة Go، ويتعامل مع تحليل ملفات torrent، واكتشاف الأقران، وتنزيل الملفات. تم تنفيذ الوظائف الأساسية بالفعل، بما في ذلك ترميز/ فك ترميز Bencode، ومعالجة ملفات torrent، والاتصال بين الأقران، وإدارة التنزيلات لكل من ملفات torrent ذات الملف الواحد وملفات torrent متعددة الملفات. سيشمل التطوير في المستقبل دعم روابط المغناطيس، وبروتوكول تبادل البيانات الوصفية، وDHT.

التطوير

التقديم متجه الجليفات في الوقت الحقيقي: ما وراء SDFs، نحو مكافحة التعرجات عالية الدقة

2025-06-13

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

jemalloc: 20 عامًا من مُخصِّص الذاكرة مفتوح المصدر

2025-06-13
jemalloc: 20 عامًا من مُخصِّص الذاكرة مفتوح المصدر

لقد قطع jemalloc، مُخصِّص الذاكرة مفتوح المصدر، شوطًا طويلًا يمتد لـ20 عامًا منذ إنشائه في عام 2004. من أصوله كمُخصِّص ذاكرة للغة البرمجة Lyken، إلى اندماجه في FreeBSD، واعتماده على نطاق واسع من قِبل Firefox و Facebook، مرّ jemalloc بمراحل عديدة واجه خلالها تحديات مختلفة، مثل مشكلات التجزئة وإزالة دعم Valgrind. على الرغم من أن Facebook/Meta أوقفت في النهاية تطوير jemalloc النشط، إلا أن الكود لا يزال متاحًا للجمهور، وتاريخ تطويره يقدم دروسًا قيّمة لصيانة برامج المصدر المفتوح والتعاون المجتمعي.

التطوير مُخصِّص ذاكرة

بناء برامج أفضل في عصر الذكاء الاصطناعي

2025-06-13
بناء برامج أفضل في عصر الذكاء الاصطناعي

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

محاكاة iOS 14 على QEMU: من الشاشة السوداء إلى الشاشة الرئيسية

2025-06-12
محاكاة iOS 14 على QEMU: من الشاشة السوداء إلى الشاشة الرئيسية

تتناول هذه المدونة رحلة محاكاة نظام iOS 14 على QEMU. تغلب الفريق على العديد من العقبات، بما في ذلك تحليل سجلات النظام، و تصحيح أخطاء مساحة المستخدم (باستخدام رموز ذاكرة التخزين المؤقت dyld و gdb stub)، وتجاوز عملية هجرة البيانات و الشفرة المتعلقة بـ SEP. من خلال التصحيحات والحلول المبتكرة (مثل استخدام وضع إمكانية الوصول في iOS)، تمكنوا من تشغيل النظام، وفتحه، ودعم اللمس المتعدد، والاتصال بالشبكة، وحتى تثبيت وتشغيل ملفات IPA عشوائية. تقدم المدونة تفاصيل دقيقة حول الجوانب الفنية، مما يبرز خبرة الفريق و مثابرته.

التطوير

McWig: محرر نصوص يشبه Vim بلغة Go - تجربة سريعة

2025-06-12
McWig: محرر نصوص يشبه Vim بلغة Go - تجربة سريعة

McWig هو محرر نصوص نمطي يشبه Vim، مكتوب بلغة Go، ويستخدمه صاحبه حاليًا كمحرر رئيسي. يدعم فقط ملفات .go وهو في مرحلة تطوير مبكرة، لذا استخدمه بحذر لأنه قد يتلف الملفات. من بين ميزاته: إكمال LSP التلقائي، والانتقال إلى التعريف، ومعلومات التمرير، ودعم Tree-sitter، ومواضيع الألوان (مستعارة من محرر نصوص Helix). ومع ذلك، فهو يحتوي أيضًا على العديد من الأخطاء. كان المشروع تجربة سريعة لاستكشاف مساحة محرر النصوص، ويعتزم صاحبه تطويره إلى محرر ثابت كامل الميزات.

التطوير

جوجل تحذف مستودعات أجهزة بكسل من أندرويد 16: مستقبل AOSP غير مؤكد؟

2025-06-12
جوجل تحذف مستودعات أجهزة بكسل من أندرويد 16: مستقبل AOSP غير مؤكد؟

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

التطوير بكسل

Roame تبحث عن مهندس كامل المكدس الرئيسي لثورة السفر القائم على النقاط باستخدام الذكاء الاصطناعي

2025-06-12
Roame تبحث عن مهندس كامل المكدس الرئيسي لثورة السفر القائم على النقاط باستخدام الذكاء الاصطناعي

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

التطوير نقاط السفر

QEMU: أداة افتراضية قوية مفتوحة المصدر

2025-06-12
QEMU: أداة افتراضية قوية مفتوحة المصدر

QEMU هو محاكي عام وافتراضي مفتوح المصدر للآلة ومساحة المستخدم. يمكنه محاكاة آلة كاملة في البرنامج دون الحاجة إلى دعم افتراضية الأجهزة، ويحقق أداءً جيدًا من خلال الترجمة الديناميكية. يتكامل QEMU مع وحدات التحكم الظاهرية Xen و KVM، ويوفر أجهزة محاكاة بينما يسمح لوحدة التحكم الظاهرية بإدارة وحدة المعالجة المركزية لتحقيق أداء قريب من الأداء الأصلي. يسمح بتشغيل أنظمة التشغيل المصممة لهندسة معمارية واحدة على هندسة معمارية أخرى، ويوفر افتراضية واجهة برمجة تطبيقات مساحة المستخدم لتشغيل الملفات الثنائية التي تم تجميعها ضد ABIs مختلفة. يتميز QEMU بواجهة سطر أوامر مستقرة وواجهة برمجة تطبيقات مراقبة، ويتكامل مع أدوات مثل libvirt و oVirt و OpenStack و virt-manager، وهو مرخص بموجب ترخيص GPLv2. توفر الوثائق الشاملة والمجتمع النشط سهولة الاستخدام والدعم.

التطوير المحاكي

حل مشكلة ملكات LinkedIn باستخدام SMT: أسهل من SAT!

2025-06-12
حل مشكلة ملكات LinkedIn باستخدام SMT: أسهل من SAT!

تشرح هذه المشاركة كيفية حل لغز "ملكات LinkedIn" - وهو اختلاف في مشكلة N-Queens الكلاسيكية مع قيود إقليمية إضافية - باستخدام مُحلل SMT Z3. يوضح الكاتب أن التعبير عن المشكلة في SMT ، باستخدام متغيرات عدد صحيح وقيود ، أسهل بكثير من صياغة SAT المكافئة ، والتي تتطلب العديد من الشروط البولينية. على الرغم من أن مُحللات SMT قد تكون أبطأ من مُحللات SAT المُحسّنة للغاية مثل Glucose ، إلا أن سهولة الترميز تجعل SMT مُفضّلة للعديدين. تتضمن المشاركة الكود الكامل وفحوصات الصحة المفيدة للتحقق من صحة النموذج. هذا يوفر شرحًا مقنعًا لتفضيل الصناعة للأدوات التي تُجمّع إلى SAT بدلاً من استخدام SAT مباشرةً.

التطوير محلل SMT محلل SAT

صور القرص ASIF من نظام macOS Tahoe: قفزة في الأداء

2025-06-12
صور القرص ASIF من نظام macOS Tahoe: قفزة في الأداء

يُدخِل نظام macOS Tahoe تنسيق صور القرص الجديد ASIF، والذي يُحسّن بشكل كبير أداء الجهاز الظاهري. صور ASIF مستقلة عن إمكانات نظام الملفات المضيف، وتصل إلى سرعات قريبة من السرعات الأصلية؛ فعلى سبيل المثال، على جهاز MacBook Pro M3 Pro، وصلت سرعات القراءة والكتابة لحجم APFS غير المشفر إلى 5.8 جيجابايت/ثانية و6.6 جيجابايت/ثانية على التوالي. يوفر ASIF ميزة سرعة هائلة مقارنةً بصور UDSP السابقة، كما أنه يوفر مساحة على القرص. حاليًا، لا يمكن إنشاء صور ASIF إلا في Tahoe، لكنها تعمل في Sequoia. ومن المتوقع أن تدعم برامج المحاكاة الظاهرية المستقبلية ASIF، مما يُحسّن أداء الجهاز الظاهري بشكل أكبر.

التطوير جهاز افتراضي

أوقات تجميع Rust البطيئة: دراسة متعمقة

2025-06-12

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

كيف أصبحت مهندسًا بمعدل إنتاجية 10 أضعاف باستخدام الذكاء الاصطناعي: تغيير في العقلية

2025-06-12
كيف أصبحت مهندسًا بمعدل إنتاجية 10 أضعاف باستخدام الذكاء الاصطناعي: تغيير في العقلية

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

التطوير

جوجل تجعل تطوير نظام التشغيل ROM المخصص لهواتف Pixel أكثر صعوبة

2025-06-12
جوجل تجعل تطوير نظام التشغيل ROM المخصص لهواتف Pixel أكثر صعوبة

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

توليد الشفرة بواسطة الذكاء الاصطناعي: الدقة والثقة هما المفتاح

2025-06-12
توليد الشفرة بواسطة الذكاء الاصطناعي: الدقة والثقة هما المفتاح

أبلغ 3.8% فقط من المطورين عن تجربة انخفاض الهلوسة وثقة عالية في شحن الكود الذي تم إنشاؤه بواسطة الذكاء الاصطناعي. هذه هي الفرق التي تستفيد حقًا من الذكاء الاصطناعي في الإنتاج. إنهم يثقون بالاقتراحات، ويشحنون بشكل أسرع، ويغلقون الحلقة من خلال ردود فعل عالية الجودة. من بين هذه المجموعة منخفضة الهلوسة، أولئك الذين يشعرون أيضًا بالثقة (17%) يبلغون عن ما يلي: احتمال أعلى بنسبة 1.3 مرة لرؤية مكاسب في جودة الكود (44% مقابل 35%)؛ ثقة أكبر بنسبة 2.5 مرة في شحن كود الذكاء الاصطناعي (24% مقابل 9%). هذه هي المجموعة التي نعتبرها "الوضع الأمثل" - وداخلها، يبلغ أكثر من نصف المشاركين (53%) عن تحسينات واضحة في جودة الكود. هذا يشير إلى وجود ارتباط قوي بين الدقة والجودة والثقة. عندما يرى المطورون عددًا أقل من الأخطاء ومخرجات ذات جودة أعلى، يكونون أكثر عرضة للثقة بالذكاء الاصطناعي واستخدامه في الإنتاج. نرى أيضًا أن انخفاض الهلوسة يجعل المطورين أكثر عرضة بنسبة 1.3 مرة للقول إن الذكاء الاصطناعي قد حسّن جودة الكود (44% مقابل 35% بشكل عام). ومع ذلك، فإن معظم المطورين - حتى أولئك الذين لديهم مخرجات دقيقة - لا يزالون مترددين. هذا هو المكان الذي يمكن أن تصل فيه عمليات التحقق من الجودة الآلية إلى الفجوة.

التطوير ثقة المطور

أدوات ترميز الذكاء الاصطناعي: زيادة الإنتاجية، وعجز في الثقة

2025-06-12
أدوات ترميز الذكاء الاصطناعي: زيادة الإنتاجية، وعجز في الثقة

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

التطوير

التغلب على التسويف: من الملاحظات اللاصقة إلى طابعة الإيصالات الحرارية

2025-06-12
التغلب على التسويف: من الملاحظات اللاصقة إلى طابعة الإيصالات الحرارية

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

ملاحظات محاضرة في الحوسبة الكمومية من معهد ماساتشوستس للتكنولوجيا لعام 2022

2025-06-12

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

Next.js 15.1+ معطل خارج Vercel: كابوس محركات البحث وثغرة أمنية

2025-06-12

إصدارات Next.js 15.1 والإصدارات الأحدث بها عيوب خطيرة خارج عمليات نشر Vercel. ميزة بث البيانات الوصفية من Vercel، المقصودة لتحسين الأداء، تُعطّل معالجة البيانات الوصفية على المنصات غير Vercel، مما يُلحق الضرر بمحركات البحث. لا تستطيع برامج زحف محركات البحث قراءة البيانات الوصفية التي تم إنشاؤها بواسطة JavaScript، وحتى الإنشاءات الثابتة تتطلب تنفيذ JavaScript للبيانات الوصفية. علاوة على ذلك، يحتوي الإصدار 15.1.8 على ثغرة أمنية حرجة (CVE-2025-29927)، تم إصلاحها فقط في الإصدار 15.2.3. تنصح هذه المقالة بشدة بتجنب استخدام Next.js 15.1+ والنظر في البدائل لتجنب احتكار Vercel والمخاطر الأمنية المحتملة.

التطوير

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

2025-06-12
arXivLabs: مشاريع تجريبية مع متعاونين من المجتمع

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

التطوير

SchemeFlow: مطلوب مهندس كامل المكدس (مدعوم من Y Combinator)

2025-06-12
SchemeFlow: مطلوب مهندس كامل المكدس (مدعوم من Y Combinator)

تبحث شركة SchemeFlow، وهي شركة ناشئة للذكاء الاصطناعي في لندن مدعومة من Y Combinator، عن مهندس كامل المكدس ذي مهارات عالية. تستخدم الشركة الذكاء الاصطناعي لتبسيط العملية البيروقراطية لمشاريع البناء، بهدف تسريع تطوير البنية التحتية في الغرب. يجب أن يتمتع المرشح المثالي بخبرة قوية في التطوير الكامل للمكدس (Vue.js، FastAPI، Google Cloud، Supabase، إلخ) وفهم عميق لاحتياجات المستخدم. يوفر راتبًا تنافسيًا، وحصصًا في الشركة، وإمكانية الانتقال إلى سان فرانسيسكو.

التطوير

البرمجة الوكيلية: نصائح وحيل عملية

2025-06-12
البرمجة الوكيلية: نصائح وحيل عملية

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

التطوير
1 2 61 62 63 65 67 68 69 213 214