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

Sesame AI تطلق نموذجًا لغويًا محادثيًا صوتيًا بـ 1 مليار معلمة

2025-03-18
Sesame AI تطلق نموذجًا لغويًا محادثيًا صوتيًا بـ 1 مليار معلمة

أطلقت مختبرات Sesame AI نموذج CSM (Conversational Speech Model) وهو نموذج توليد كلام محادث بـ 1 مليار معلمة، يعتمد على بنية Llama. يُنتج CSM رموزًا صوتية RVQ من مدخلات نصية وصوتية، ونقطة التحكم فيه متاحة على Hugging Face. كما يتوفر عرض توضيحي تفاعلي للصوت ومساحة على Hugging Face لاختبار توليد الصوت. على الرغم من قدرته على إنتاج أصوات متنوعة، إلا أن CSM لم يتم ضبطه بدقة على أصوات محددة ولديه دعم محدود للغات متعددة. تشدد Sesame AI على استخدامه لأغراض البحث والتعليم فقط، وتحظر تقليد الآخرين، ونشر المعلومات الخاطئة، والأنشطة غير القانونية.

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

كيف تُفسر المتصفحات 'chucknorris' كلون؟

2024-12-20
كيف تُفسر المتصفحات 'chucknorris' كلون؟

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

اقرأ المزيد
(htmhell.dev)
التطوير تحليل HTML قيم الألوان تساهل المتصفح

المطورون في عصر الذكاء الاصطناعي الاستنتاجي: سادة أم دمى؟

2024-12-23
المطورون في عصر الذكاء الاصطناعي الاستنتاجي: سادة أم دمى؟

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

اقرأ المزيد
(near.tl)
التطوير المطورون نموذج o3

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

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

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

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

تقرير PlasticList: تعزيز الاقتصاد الدائري

2024-12-27
تقرير PlasticList: تعزيز الاقتصاد الدائري

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

اقرأ المزيد
(www.plasticlist.org)
التكنولوجيا إعادة تدوير البلاستيك الاقتصاد الدائري التكنولوجيا البيئية

أغطية عيدان الطعام: ملحمات مصغرة من فن الطباعة والثقافة اليابانية

2025-01-19
أغطية عيدان الطعام: ملحمات مصغرة من فن الطباعة والثقافة اليابانية

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

اقرأ المزيد
(letterformarchive.org)
التصميم فن الطباعة التصميم

مشاكل في مساحات الألوان والسطوع الحسي: اختلاف اللون الأحمر

2025-01-17
مشاكل في مساحات الألوان والسطوع الحسي: اختلاف اللون الأحمر

تتناول هذه المقالة قيود مساحة ألوان CIELab والمتغيرات الحديثة لها (CIECAM02 و Oklab) في التنبؤ بالسطوع الحسي. على الرغم من تصميمها لتكون متسقة حسياً، إلا أنها لا تتنبأ بدقة تامة بإدراك الإنسان للون، خاصةً مع الألوان المشبعة للغاية مثل الأحمر. يُعرف هذا الانحراف باسم تأثير Helmholtz-Kohlrausch، مما يجعل الأحمر يبدو أغمق في CIELab مما هو عليه في الواقع. يقترح الكاتب طريقة جديدة تعتمد على "السطوع اللاصبغي المكافئ المتوقع" (L_EAL) لمعالجة هذا الأمر، مع تسليط الضوء على دقتها العالية في تطبيقات مثل إزالة تشبع الصورة.

اقرأ المزيد
(johnaustin.io)
التطوير مساحة الألوان السطوع الحسي تأثير Helmholtz-Kohlrausch

لوحة مفاتيح ارغونومية مفتوحة المصدر: Ergo S-1 - ابتكر راحتك الخاصة

2025-01-03
لوحة مفاتيح ارغونومية مفتوحة المصدر: Ergo S-1 - ابتكر راحتك الخاصة

Ergo S-1 هي لوحة مفاتيح ارغونومية لاسلكية منفصلة مفتوحة المصدر، متوافقة مع مفاتيح Cherry/Gateron وغطاء المفاتيح Cherry/OEM/DCS، تعمل بنظام ZMK. صُممت هذه اللوحة خلال فترة بطالة، حيث تعطي الأولوية لسهولة التجميع بنظام DIY، مما يجعلها في متناول جمهور أوسع. يوفر المشروع تعليمات تجميع شاملة، وقائمة بقطع الغيار، وملفات تصميم Fusion 360، بالإضافة إلى دعم تخطيطات لوحة المفاتيح المخصصة. على الرغم من عدم توفر مجموعات كاملة حتى الآن، إلا أن لوحات المفاتيح المُجمّعة مسبقًا تُباع على Etsy، ويعمل المُنشئ بنشاط على إنشاء مجموعات أسهل في التجميع.

اقرأ المزيد
(github.com)
العتاد لوحة مفاتيح ارغونومية افعلها بنفسك

وداعًا، مرشحات البريد الإلكتروني: استراتيجيتي للبريد الوارد الأقل

2025-01-18
وداعًا، مرشحات البريد الإلكتروني: استراتيجيتي للبريد الوارد الأقل

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

اقرأ المزيد
(coryd.dev)
متنوع إدارة البريد الإلكتروني

هل من الممكن صنع قطرة أمير روبرت كروية مثالية؟

2024-12-14
هل من الممكن صنع قطرة أمير روبرت كروية مثالية؟

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

اقرأ المزيد
(engineering.stackexchange.com)
التكنولوجيا قطرة أمير روبرت زجاج علم المواد

خرائط القصاصات الهندسية: عرض بسيط للتضاريس مع مستوى التفاصيل

2024-12-12

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

اقرأ المزيد
(mikejsavage.co.uk)
الألعاب عرض التضاريس خرائط القصاصات الهندسية

إعادة هيكلة التعليمات البرمجية في C++: أفضل التقنيات والممارسات

2024-12-13
إعادة هيكلة التعليمات البرمجية في C++: أفضل التقنيات والممارسات

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

اقرأ المزيد
(blog.jetbrains.com)
التطوير إعادة الهيكلة تطوير البرمجيات

مسبار باركر الشمسي على وشك الغوص التاريخي في غلاف الشمس الجوي

2024-12-20
مسبار باركر الشمسي على وشك الغوص التاريخي في غلاف الشمس الجوي

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

اقرأ المزيد
(arstechnica.com)
التكنولوجيا مسبار باركر الشمسي الرياح الشمسية الغلاف الجوي للشمس

مايكروسوفت ستحذف كلمات المرور الخاصة بمليار مستخدم، وتعزز استخدام مفاتيح المرور

2024-12-17
مايكروسوفت ستحذف كلمات المرور الخاصة بمليار مستخدم، وتعزز استخدام مفاتيح المرور

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

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

مايكروفون شريطي منزلي الصنع بجودة استوديو: من غضب المودميك إلى صوت مذهل

2025-01-22

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

اقرأ المزيد
(khz.ac)
العتاد مايكروفون هندسة الصوت

Devlands: تعلم Git من خلال التجول في قاعدة الكود الخاصة بك

2025-03-02
Devlands: تعلم Git من خلال التجول في قاعدة الكود الخاصة بك

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

اقرأ المزيد
(initialcommit.com)
التطوير تصور Git التعلم الممتع

انخفاض غير مسبوق في تعاطي المخدرات بين المراهقين لا يزال يفاجئ الخبراء

2024-12-20
انخفاض غير مسبوق في تعاطي المخدرات بين المراهقين لا يزال يفاجئ الخبراء

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

اقرأ المزيد
(arstechnica.com)
الصحة العامة تعاطي المخدرات بين المراهقين أثر الجائحة

شروط استخدام فايرفوكس: نظرة متعمقة

2025-02-28
شروط استخدام فايرفوكس: نظرة متعمقة

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

اقرأ المزيد
(www.mozilla.org)
التطوير شروط الاستخدام

مشروع بطارية زينوبي سعة 300 ميجاوات ساعة: دفع عجلة التحول للطاقة الخضراء في اسكتلندا

2025-03-04
مشروع بطارية زينوبي سعة 300 ميجاوات ساعة: دفع عجلة التحول للطاقة الخضراء في اسكتلندا

تقوم شركة الطاقة البريطانية زينوبي ببناء مشروع ضخم لتخزين البطاريات بسعة 300 ميجاوات / 600 ميجاوات ساعة، وهو مشروع بلاكهيلوك، في اسكتلندا. سيكون هذا أكبر منشأة لتخزين البطاريات في اسكتلندا حتى الآن، حيث يمثل 32٪ من القدرة المركبة الحالية للبلاد. بتمويل قدره 101 مليون جنيه إسترليني من خلال تمويل الديون، سيقدم المشروع خدمات حيوية لاستقرار الشبكة، مما يقلل انبعاثات ثاني أكسيد الكربون بنحو 2.6 مليون طن سنوياً، ويوفر أكثر من 170 مليون جنيه إسترليني للمستهلكين على مدى 15 عاماً. سيكون لدى بلاكهيلوك أيضًا القدرة على تزويد أكثر من 3.1 مليون منزل بالطاقة لمدة ساعتين. تعد زينوبي لاعباً رئيسياً في قطاع الحافلات الكهربائية في المملكة المتحدة، وتشغل أكثر من 2000 سيارة كهربائية في جميع أنحاء العالم.

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

تحليل الروابط المتداخلة بين Lobste.rs و Hacker News

2024-12-23

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

اقرأ المزيد
(lobhn.skyshelf.app)
متنوع أخبار التكنولوجيا تحليل الروابط مقارنة المجتمعات

جمع الدورات المتزامن: مؤشرات ذكية مع جمع القمامة في Rust لـ Scheme

2024-12-13

تشرح هذه المقالة بالتفصيل تنفيذ جامع دورات متزامن في Rust للمؤشرات الذكية مع جمع القمامة (Gc) داخل مُفسّر Scheme. يعمل Gc بشكل مشابه لـ Arc>، مع دعم قابلية التعديل الداخلية، والنسخ، والإرسال عبر مؤشرات الترابط. تشرح المقالة بالتفصيل تنفيذ Gc، بما في ذلك قابلية التعديل الداخلية الآمنة للخيوط باستخدام الإشارات الضوئية وأقفال القراءة/الكتابة، وتفاصيل تنفيذ جمع الدورات المتزامن بناءً على خوارزمية Bacon وRajan. وهذا يشمل سمة Trace، وكشف الدورات، وآليات التعامل مع التعديلات المتزامنة.

اقرأ المزيد
(maplant.com)
التطوير جمع القمامة التزامن

إثبات النظرية الأخيرة لفرمات: الحواسيب تواجه تحديًا رياضيًا

2024-12-12
إثبات النظرية الأخيرة لفرمات: الحواسيب تواجه تحديًا رياضيًا

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

اقرأ المزيد
(xenaproject.wordpress.com)
التطوير النظرية الأخيرة لفرمات الرياضيات الرسمية

دليل مرجع AP5: امتداد قائم على المنطق لـ Common Lisp

2024-12-21

AP5 عبارة عن امتداد لـ Common Lisp يسمح للمستخدمين بـ "البرمجة" على مستوى أكثر "تحديدًا"، مع التركيز على ما يجب أن تفعله الآلة بدلاً من كيفية القيام بذلك. فهو يجمع بين جوانب Lisp ولغة المواصفات Gist، مدمجًا أجزاء قابلة للترجمة من Gist ويوفر آليات تعليق توضيحي لضبط الأداء. يستخدم AP5 نموذجًا علائقي لتمثيل البيانات ويدعم لغة منطق من الدرجة الأولى للوصول إلى البيانات والتعامل معها. يحدد المبرمجون العلاقات والقواعد والقيود، مع تحسين الأداء من خلال التعليقات التوضيحية. يفصل الدليل بينات AP5، وعمليات قاعدة البيانات، والقواعد، والأنواع، والتكافؤ، ومواصفات التنفيذ، مع توفير العديد من الأمثلة والتفسيرات.

اقرأ المزيد
(www.ap5.com)
التطوير برمجة منطقية قاعدة بيانات علائقية

وهم الذكاء: الذكاء الاصطناعي، والتفاعل، وتأثير هانس الذكي

2024-12-15
وهم الذكاء: الذكاء الاصطناعي، والتفاعل، وتأثير هانس الذكي

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

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

بروتوكولات الشبكة: معجزة تبدو بسيطة

2024-12-17

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

اقرأ المزيد
(www.destroyallsoftware.com)
التكنولوجيا بروتوكولات الشبكة هندسة الشبكات

نظام ملفات خسارة المنازل بعد حرائق الغابات: مورد رقمي

2025-01-14
نظام ملفات خسارة المنازل بعد حرائق الغابات: مورد رقمي

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

اقرأ المزيد
(docs.google.com)
متنوع استعادة الكوارث مطالبات التأمين خسارة الممتلكات

Hugging Face مفتوحة المصدر: "البحث والتعلم"

2024-12-20
Hugging Face مفتوحة المصدر:

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

اقرأ المزيد
(github.com)
AI توسيع النماذج

إعادة كتابة SQLite بلغة Rust: يحقق Limbo انخفاضًا بنسبة 100 ضعف في زمن الوصول

2024-12-16

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

اقرأ المزيد
(avi.im)
التطوير مدخلات/مخرجات غير متزامنة

فشل نظام الإبلاغ عن المخالفات لدى بوينغ وإدارة الطيران الفيدرالية، مما يترك المبلغين عن المخالفات في وضع صعب

2024-12-30
فشل نظام الإبلاغ عن المخالفات لدى بوينغ وإدارة الطيران الفيدرالية، مما يترك المبلغين عن المخالفات في وضع صعب

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

اقرأ المزيد
(www.seattletimes.com)
التكنولوجيا حماية المبلغين عن المخالفات بوينغ

صيادو كولورادو يتبرعون بلحم الصيد لمكافحة انعدام الأمن الغذائي

2024-12-12
صيادو كولورادو يتبرعون بلحم الصيد لمكافحة انعدام الأمن الغذائي

في كولورادو، يتعاون معمل معالجة اللحوم Meat Cleaver مع الصيادين للتبرع بكميات إضافية من لحوم الغزلان والأيائل وغيرها من لحوم الصيد إلى بنوك الطعام المحلية، لمكافحة انعدام الأمن الغذائي. ويمول البرنامج Farmers and Hunters Feeding the Hungry (FHFH) ، ويُقلل من الهدر ويوفر البروتينات الصحية للعائلات الضعيفة. وعلى الرغم من أنه يقتصر حاليًا على Meat Cleaver، إلا أن البرنامج قد نجح في التبرع بآلاف الكيلوغرامات من اللحوم، وحظي بإشادة المجتمع. ويجد الصيادون المشاركون، رغم نظام تراخيص الصيد التنافسي، إشباعًا في مساعدة المحتاجين.

اقرأ المزيد
(collective.coloradotrust.org)
متنوع بنوك الطعام التبرع بلحم الصيد المساعدة المجتمعية
1 2 … 588 589 590 591 593 595 596