Bitget App
تداول بذكاء
شراء العملات المشفرةنظرة عامة على السوقالتداولالعقود الآجلةEarnمربعالمزيد
فيتاليك: يجب أن تسهّل لغات البرمجة المتقدمة الجديدة قراءة التعريفات والنظريات.

فيتاليك: يجب أن تسهّل لغات البرمجة المتقدمة الجديدة قراءة التعريفات والنظريات.

Odaily星球日报Odaily星球日报2026/07/21 15:06
عرض النسخة الأصلية

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

0
0

إخلاء المسؤولية: يعكس محتوى هذه المقالة رأي المؤلف فقط ولا يمثل المنصة بأي صفة. لا يُقصد من هذه المقالة أن تكون بمثابة مرجع لاتخاذ قرارات الاستثمار.

منصة PoolX: احتفظ بالعملات لتربح
ما يصل إلى 10% + معدل الفائدة السنوي. عزز أرباحك بزيادة رصيدك من العملات
احتفظ بالعملة الآن!

You may also like

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

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

智通财经2026/08/17 03:26
لماذا تصبح الأسهم التكنولوجية "أرخص كلما ارتفعت"؟ قفزة الأرباح بنسبة 80% تدعم التقييمات، وإذا خابت توقعات الذكاء الاصطناعي ستصبح باهظة الثمن على الفور

حتى المال لا يشتريه! اختلال التوازن بين العرض والطلب يفاقم أكبر موجة ارتفاع في أسعار فوسفيد الإنديوم في التاريخ

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

华尔街见闻2026/08/17 00:51