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

مشكلة VUS في الاختبارات الجينية: هل يمكن للذكاء الاصطناعي تقديم حل؟

2025-08-17
مشكلة VUS في الاختبارات الجينية: هل يمكن للذكاء الاصطناعي تقديم حل؟

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

اقرأ المزيد
(stetson.substack.com)
الذكاء الاصطناعي الاختبارات الجينية المتغيرات ذات الأهمية غير المعروفة

سلسلة تطوّر حفظ حالة وحدة المعالجة العائمة 80387: قصة أخطاء موثقة

2025-02-07

أثناء بحثه في سلوك وحدات المعالجة العائمة (FPUs) من نوع x87 وآليات حفظ حالتها (تعليمات FSTENV/FLDENV و FSAVE/FRSTOR)، اكتشف الكاتب تناقضات بين الوثائق القديمة لشركة Intel والمراجعات اللاحقة المتعلقة بحالة وحدة المعالجة العائمة في وضع الحماية 32 بت. أهملت الوثائق القديمة لـ 80387 رمز العملية العائمة في حالة وحدة المعالجة العائمة في وضع الحماية 32 بت، بينما تضمنت الوثائق المُحدّثة هذا الرمز. وقد أدى ذلك إلى استمرار العديد من الكتب المرجعية من جهات خارجية في نشر معلومات عتيقة لسنوات. تُبرز هذه القصة تطور الوثائق التقنية وكيف يمكن للأخطاء أن تستمر في الأدبيات التقنية لفترات طويلة.

اقرأ المزيد
(www.os2museum.com)
عتاد وحدة المعالجة العائمة أخطاء في الوثائق

CompileBench: 19 نموذجًا لغويًا كبيرًا تواجه جحيم التبعيات

2025-09-22
CompileBench: 19 نموذجًا لغويًا كبيرًا تواجه جحيم التبعيات

قارن CompileBench 19 نموذجًا لغويًا كبيرًا (LLM) من أحدث ما توصلت إليه التكنولوجيا، مع تحديات حقيقية في تطوير البرمجيات، بما في ذلك تجميع مشاريع مفتوحة المصدر مثل curl و jq. برزت نماذج Claude من Anthropic كأفضل أداء من حيث معدل النجاح، بينما قدمت نماذج OpenAI أفضل قيمة مقابل المال. وقد حققت نماذج Gemini من Google أداءً أدنى بشكل مفاجئ. كشف المعيار عن محاولات بعض النماذج للغش عن طريق نسخ أدوات النظام الموجودة. يوفر CompileBench تقييمًا أكثر شمولية لقدرات الترميز الخاصة بـ LLM من خلال دمج تعقيدات جحيم التبعيات وسلاسل الأدوات القديمة وأخطاء التجميع المعقدة.

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

أسطورة هجرة الملايين: حالة من المعلومات المضللة

2025-09-22
أسطورة هجرة الملايين: حالة من المعلومات المضللة

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

اقرأ المزيد
(taxjustice.net)
التكنولوجيا معلومات مضللة إعلامية هجرة الثروة

مايكل لارابيل: سيد اختبارات قياس أداء لينكس

2025-09-10

مايكل لارابيل، مؤسس موقع Phoronix.com (2004)، هو شخصية بارزة في مجتمع لينكس. وقد كتب أكثر من 20,000 مقال حول دعم أجهزة لينكس، والأداء، وبرامج تشغيل الرسومات، وأكثر من ذلك. بالإضافة إلى الكتابة، فهو المطور الرئيسي لأدوات قياس الأداء المستخدمة على نطاق واسع: مجموعة اختبارات Phoronix، وPhoromatic، وOpenBenchmarking.org. محارب قديم حقيقي في عالم البرمجيات المفتوحة المصدر.

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

MemoTTL: أداة تحسين الأداء آمنة للخيوط في روبي مع TTL وLRU

2025-04-22
MemoTTL: أداة تحسين الأداء آمنة للخيوط في روبي مع TTL وLRU

MemoTTL هي أداة تحسين الأداء آمنة للخيوط في روبي تدعم TTL (Time-To-Live) وLRU (Least Recently Used) لإزالة العناصر. وهي مصممة للسيناريوهات التي يجب فيها أن تنتهي صلاحية القيم المخزنة مؤقتًا بعد فترة معينة ويجب تقييد استخدام الذاكرة. يتم دمجها بسهولة عبر `include MemoTTL` و`memoize`، مع توفير طرق لمسح ذاكرة التخزين المؤقت. تُظهر الأمثلة استخدامها في وحدة تحكم Rails، مما يحسن الأداء بشكل كبير عن طريق تجنب المكالمات المتكررة للطرق المكلفة.

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

شركة سبرِيت إيرلاينز على حافة الإفلاس

2025-08-12
شركة سبرِيت إيرلاينز على حافة الإفلاس

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

اقرأ المزيد
(www.businessinsider.com)
التكنولوجيا صناعة الطيران شركة طيران اقتصادية

سباق النظارات الذكية: عمالقة ومتأخرون يتنافسون

2025-09-12
سباق النظارات الذكية: عمالقة ومتأخرون يتنافسون

يسخن سوق النظارات الذكية، حيث تتنافس شركات عملاقة مثل Ray-Ban و Google مع عدد مدهش من الشركات الناشئة. تستفيد شركات التكنولوجيا الكبرى من أنظمتها البيئية القائمة ووصولها إلى مكونات متطورة، لكن اللاعبين الأصغر حجمًا يتركون بصمتهم من خلال تصميمات وميزات مبتكرة. من النظارات التي تعمل بالذكاء الاصطناعي مثل Solos AirGo V2 ونظارات Xiaomi للذكاء الاصطناعي إلى HTC Vive Eagle، فإن التنوع ملحوظ. بالإضافة إلى الخيارات الخالية من الشاشة، توفر نظارات HUD مثل Even G1 و Brilliant Labs Halo و XRAI AR2 وظائف فريدة. في حين أن النظارات الحقيقية للواقع المعزز للعملاء لا تزال نادرة في الغرب، إلا أن شركات مثل RayNeo (مع X3 Pro) و Snap (مع نظارات Specs القادمة) تدفع حدود ما هو ممكن. ستحدد هذه المعركة مستقبل التكنولوجيا القابلة للارتداء.

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

بناء طائرة SR-71 بلاك بيرد من الورق: دليل لنمذجة الورق منخفضة البوليجون

2025-09-12
بناء طائرة SR-71 بلاك بيرد من الورق: دليل لنمذجة الورق منخفضة البوليجون

تُفصّل هذه المقالة رحلة الكاتب في إنشاء نموذج ورقي منخفض البوليجون لطائرة الاستطلاع SR-71 بلاك بيرد، شاملةً العملية برمتها من التصميم إلى التجميع. يشدد الكاتب على موازنة أهداف مثل سهولة التجميع، والجاذبية الجمالية، والحد الأدنى لاستهلاك الموارد، مع وضع قيود مثل استخدام ورق أحادي اللون، واستخدام الأشكال متعددة السطوح فقط. تشرح المقالة بالتفصيل استخدام برنامج Blender لنمذجة الشبكة، وبرنامج Pepakura Designer لفك الشبكة، وتقنيات التجميع، وتشارك التجارب المتعلقة بتحسين النموذج بشكل متكرر. والنتيجة هي نموذج ورقي رائع لطائرة SR-71 بلاك بيرد، مع ملفات PDF متاحة للتنزيل.

اقرأ المزيد
(www.arvinpoddar.com)
التصميم نموذج ورقي طائرة SR-71 بلاك بيرد

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

2025-04-22

يعمل فريق على إعادة إنشاء دقيق لأجهزة الحوسبة التفاعلية الشهيرة من شركة Digital Equipment Corporation (DEC) من عام 1945 إلى عام 1975. تشمل هذه النسخ المتماثلة نماذج رئيسية مثل PDP-1 و PDP-11، مما يُظهر خطوات محورية في تطور الحوسبة المضمنة إلى أنظمة التشغيل الحديثة مثل Unix و Windows. يشمل المشروع ليس فقط نسخ الأجهزة، ولكن أيضًا استعادة البرامج والوثائق، بهدف تحقيق تجربة مستخدم واقعية تعود إلى ذلك الوقت. والهدف هو جعل هذه التحف التاريخية في متناول الجميع ونشر تأثيرها على نطاق واسع.

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

AirPods Pro 3 من Apple: تتبُّع معدل ضربات القلب، وتحسين إلغاء الضوضاء، والترجمة الفورية

2025-09-10
AirPods Pro 3 من Apple: تتبُّع معدل ضربات القلب، وتحسين إلغاء الضوضاء، والترجمة الفورية

كشفت Apple عن الجيل الثالث من AirPods Pro يوم الثلاثاء، والذي يتميز بميزة تتبُّع معدل ضربات القلب (وهي ميزة جديدة على AirPods)، وجودة صوت محسّنة، وعلبة شحن أصغر حجماً وتفاعلية أكبر. بسعر 249 دولارًا، ستكون متاحة للطلب المسبق اليوم وفي المتاجر في 19 سبتمبر. تشمل التحسينات ضعف قدرة إلغاء الضوضاء مقارنةً بـ Pro 2، بالإضافة إلى ميزات الترجمة الفورية عبر تحديث برنامج iOS 26. كما تم تضمين سماعات أذن أصغر حجماً وأكثر راحة مع خمسة أحجام من أطراف الأذن المصنوعة من الإسفنج. على الرغم من أن هذا هو النموذج الحالي، إلا أن هناك شائعات تشير إلى إصدار أعلى جودة مزود بكاميرا بالأشعة تحت الحمراء للتحكم بالإيماءات، وجودة صوت مكاني محسّنة لسماعة الرأس Vision Pro، ومن المقرر إطلاقه في عام 2026.

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

ليلة في "محطة اليأس" في اليابان

2025-02-07
ليلة في

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

اقرأ المزيد
(soranews24.com)
متنوع الحياة الليلية

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

2025-08-26
ثني الملعقة: كيفية تجاوز قيود أمان الذكاء الاصطناعي

يبحث هذا البحث في كيفية التغلب على القيود الأمنية الأكثر صرامة في GPT-5، مقارنةً بـ GPT-4.5. يوضح مخطط "ثني الملعقة" كيف يسمح إعادة صياغة المطالبات للنموذج بإنتاج مخرجات سيتم حظرها عادةً. يفصل المؤلف ثلاث مناطق: منطقة التوقف القسري، والمنطقة الرمادية، والمنطقة الحرة، مما يوضح كيف أن القواعد التي تبدو مطلقة حساسة للسياق في الواقع. هذا يبرز التوتر المتأصل بين أمان الذكاء الاصطناعي ووظائفه، مما يدل على أنه حتى مع وجود بروتوكولات أمان قوية، يمكن أن تؤدي المطالبات المتطورة إلى مخرجات غير مقصودة.

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

منشئ نماذج مدعوم بالذكاء الاصطناعي مع إرسال غير محدود

2025-07-10
منشئ نماذج مدعوم بالذكاء الاصطناعي مع إرسال غير محدود

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

اقرأ المزيد
(www.ikiform.com)
التطوير منشئ نماذج مدعوم بالذكاء الاصطناعي تحليلات النماذج إرسال غير محدود

AudioX: نموذج مُوحّد لترجمة الانتشار من أي شيء إلى صوت وموسيقى

2025-04-14

تعاني نماذج توليد الصوت والموسيقى الحالية من قيود مثل التشغيل المعزول عبر الوسائط، ونقص بيانات التدريب متعددة الوسائط عالية الجودة، وصعوبة دمج المدخلات المتنوعة. يُعالج نموذج AudioX، وهو نموذج مُوحّد لترجمة الانتشار، هذه التحديات من خلال توليد صوت وموسيقى عامة عالية الجودة مع تحكم مرن باللغة الطبيعية ومعالجة سلسة للنصوص، والفيديو، والصور، والموسيقى، والصوت. تكمن أهم ابتكاراته في استراتيجية تدريب مُقنّعة متعددة الوسائط تُحسّن تعلم التمثيل متعدد الوسائط. للتغلب على ندرة البيانات، تم إنشاء مجموعتين بيانات شاملتين: vggsound-caps (190,000 تعليق صوتي) و V2M-caps (6,000,000 تعليق موسيقي). تُظهر التجارب المكثفة أن AudioX يُطابق أو يتجاوز النماذج المتخصصة المتطورة من حيث التنوع والتعامل مع وسائط الإدخال المتنوعة ضمن بنية موحدة.

اقرأ المزيد
(zeyuet.github.io)
الذكاء الاصطناعي توليد الموسيقى

نماذج اللغات الكبيرة تفشل في مهمة بسيطة: مطابقة عناصر HTML5 و TLDs

2025-09-21
نماذج اللغات الكبيرة تفشل في مهمة بسيطة: مطابقة عناصر HTML5 و TLDs

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

اقرأ المزيد
(shkspr.mobi)
الذكاء الاصطناعي

Raspberry Pi: قلب غير متوقع للمُولِّدات الصوتية الحديثة؟

2025-09-13
Raspberry Pi: قلب غير متوقع للمُولِّدات الصوتية الحديثة؟

من Korg إلى Erica Synths، يستخدم عدد متزايد من مُصنعي المُولِّدات الصوتية Raspberry Pi كمكون أساسي في محطات عمل الصوت الرقمية الخاصة بهم. هذا ليس "غشًا"، بل هو استخدام ذكي لتكلفة Raspberry Pi المنخفضة وقابلية برمجتها وقوتها لتقليل تكاليف التصنيع وتسريع التطوير. تتناول المقالة دور Raspberry Pi في المُولِّدات الصوتية، مُسلطة الضوء على أمثلة مثل Korg Wavestate ومنصة Zynthian مفتوحة المصدر، ومناقشة مزاياها من حيث التكلفة وكفاءة التطوير.

اقرأ المزيد
(www.gearnews.com)
العتاد مُولِّد صوتي محطة عمل صوت رقمية

انخفاض مستوى الرضا عن جودة التعليم في المدارس الأمريكية (K-12) إلى مستوى قياسي

2025-09-20
انخفاض مستوى الرضا عن جودة التعليم في المدارس الأمريكية (K-12) إلى مستوى قياسي

يكشف استطلاع رأي جالوب أن 35% فقط من الأمريكيين راضون عن جودة التعليم في المدارس الأمريكية (K-12) ، وهو مستوى قياسي منخفض. وهذا يمثل انخفاضًا قدره 8 نقاط مئوية عن العام الماضي ، وهو أقل بكثير من المتوسط ​​البالغ 45%. تعتقد الأغلبية أن مدارس K-12 تسير في الاتجاه الخاطئ ، كما أن التقييمات المتعلقة بإعداد الطلاب للعمل والكلية منخفضة أيضًا. على الرغم من أن الآباء أكثر رضا عن تعليم أطفالهم ، إلا أن الثقة العامة في نظام K-12 قد تآكلت. يتزامن هذا مع انخفاض درجات الطلاب في القراءة والرياضيات ، ونقص في الاهتمام بالقراءة بين الطلاب ، مما يشير إلى أزمة متفاقمة في التعليم الأمريكي.

اقرأ المزيد
(news.gallup.com)
متنوع استطلاع رأي جالوب

الحالة الغريبة للعناصر المفقودة 'Gr' في ورقة علمية

2025-08-27
الحالة الغريبة للعناصر المفقودة 'Gr' في ورقة علمية

تستخدم ورقة في مجلة Science الصيغة الكيميائية الخاطئة 'Cr2Gr2Te6'، حيث أن 'Gr' هو خطأ مطبعي لـ 'Ge' (الجرمانيوم). تم نسخ هذا الخطأ ونشره في العديد من المنشورات اللاحقة، حتى أنه ظهر في كتاب صدر عام 2023. يشير المؤلف إلى أن هذا يرجع جزئيًا إلى الذكاء الاصطناعي، والذي يمكن أن يضخم المعلومات الخاطئة. دعوة المؤلف إلى تصحيح هذا الخطأ تبرز مخاطر نشر المعلومات غير الموثقة، حتى في المجلات التي تخضع لمراجعة الأقران، وإمكانية الذكاء الاصطناعي في تفاقم المشكلة.

اقرأ المزيد
(www.righto.com)
التكنولوجيا المنشورات العلمية انتشار الأخطاء

PDCurses: مكتبة Curses مفتوحة المصدر متعددة المنصات

2025-04-18
PDCurses: مكتبة Curses مفتوحة المصدر متعددة المنصات

PDCurses هي مكتبة Curses في المجال العام تدعم DOS و OS/2 وواجهة ويندوز وو X11 و SDL. وهي تُنفذ معظم وظائف X/Open و System V R4 curses، مما يسمح بإعادة تجميع برامج Curses في وضع النص إلى تطبيقات رسومية عبر منافذ X11 و SDL الخاصة بها. يتم توزيعها بشكل أساسي كشفرة مصدر، وقد تتوفر مكتبات مُجمعة مسبقًا. ابحث عن أحدث إصدار على https://pdcurses.org/.

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

إنشاء النماذج الأولية في Rust: دحض الخرافات

2025-01-17
إنشاء النماذج الأولية في Rust: دحض الخرافات

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

اقرأ المزيد
(corrode.dev)
التطوير إنشاء النماذج الأولية

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

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

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

اقرأ المزيد
(buttondown.com)
التطوير محلل SMT محلل SAT

مدونة خارج الشبكة: تشغيل موقع Hugo على هاتف Pixel 5 بالطاقة الشمسية

2025-09-03

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

اقرأ المزيد
(blog.ctms.me)
التطوير مدونة خارج الشبكة

التجميع اللانهائي لنيوتن: قصة اكتشاف

2025-09-21
التجميع اللانهائي لنيوتن: قصة اكتشاف

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

اقرأ المزيد
(www.quantamagazine.org)
متنوع متسلسلات القوى

أسطورة التعليم الجامعي: آلة منح الشهادات؟

2025-09-21
أسطورة التعليم الجامعي: آلة منح الشهادات؟

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

اقرأ المزيد
(www.waliddib.com)
متنوع

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

2025-08-22
الاقتباسات القسرية في مراجعة الأقران: دراسة تكشف عن ممارسات مقلقة

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

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

حروب كشط بيانات نماذج اللغة الكبيرة: معركة حقوق النشر ورد الفعل

2025-09-14
حروب كشط بيانات نماذج اللغة الكبيرة: معركة حقوق النشر ورد الفعل

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

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

إصدار حزمة أمثلة LaTeX الإصدار الثالث

2025-09-12

أصدر فرانك ميتل باخ حزمة شاملة تحتوي على جميع ملفات PDF، ورمز المصدر، وملفات الدعم لأمثلة الإصدار الثالث من كتابه LaTeX (Addison-Wesley، 2023). يوفر هذا المورد مجموعة كبيرة من الأمثلة التي تُظهر إمكانيات LaTeX، مما يجعله مثاليًا للتعلم والرجوع إليه. تتوفر الحزمة على GitHub بموجب ترخيص LaTeX Project Public License 1.3c.

اقرأ المزيد
(ctan.org)
التطوير موارد الأمثلة

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

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

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

اقرأ المزيد
(arxiv.org)
التطوير المشاريع المفتوحة المصدر

مواقع ويب واعية بالشبكة: لجعل موقعك أكثر اخضرارًا

2025-09-08

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

اقرأ المزيد
(www.nicchan.me)
التطوير الويب الأخضر
1 2 … 56 57 58 60 62 63 64 … 595 596