ME نیوز کے مطابق، 21 جولائی (UTC+8)، وٹالک نے X پلیٹ فارم پر ایک نئی "اونچی سطح کی پروگرامنگ زبان" کے بارے میں لکھا جو Lean (یا HOL وغیرہ) میں کمپائل ہو، اور اس کا اہم مقصد اس بات کو یقینی بنانا ہے کہ انسانوں کے لیے تعریفیں اور نظریات کو سمجھنا آسان ہو۔ ثبوت نہیں، کیونکہ ثبوت صرف درست ہونے چاہئیں، اصل بات تعریفیں اور نظریات خود ہیں۔ اس کا خیال یہ ہے کہ AI ایک لمبا ثبوت پیدا کرے، اور پڑھنے والے کو اس میں کون سے بالکل درست دعوے ثابت کیے گئے ہیں، اسے آسانی سے سمجھنا چاہئیے۔ (ذرائع: ChainCatcher)
ویتالیک نے تعریفوں اور نظریات کو آسانی سے پڑھنے کے لیے ایک نئی پروگرامنگ زبان کی تجویز کی ہے
KuCoinFlashبانٹیں
خلاصہ
جولائی 21 کو وٹالک بیوٹیرن نے ایک نیا بلند سطح کا پروگرامنگ زبان پیش کیا، جسے لین یا ہول میں کمپائل کرنے کے لیے ڈیزائن کیا گیا ہے اور تعریفوں اور قضایا کی قابلیت پڑھنے میں بہتری لانے کے لیے۔ یہ زبان AI پر انحصار کرے گا جو ثبوت کا کام (PoW) اور اسٹیک کا ثبوت (PoS) سے متعلق ثبوت پر کام کرے، جس سے صارفین تجاویز کی وضاحت پر توجہ مرکوز کر سکیں۔ مقصد یہ ہے کہ پیچیدہ دعوؤں کو زیادہ قابل رسائی بنایا جائے، خاص طور پر جب AI لambda لمبے ثبوت پیدا کر رہا ہو۔
ذریعہ:اصل دکھائیں۔
اعلان دستبرداری: اس صفحہ پر معلومات تیسرے فریق سے حاصل کی گئی ہوں گی اور یہ ضروری نہیں کہ KuCoin کے خیالات یا خیالات کی عکاسی کرے۔ یہ مواد کسی بھی قسم کی نمائندگی یا وارنٹی کے بغیر صرف عام معلوماتی مقاصد کے لیے فراہم کیا گیا ہے، اور نہ ہی اسے مالی یا سرمایہ کاری کے مشورے کے طور پر سمجھا جائے گا۔ KuCoin کسی غلطی یا کوتاہی کے لیے، یا اس معلومات کے استعمال کے نتیجے میں کسی بھی نتائج کے لیے ذمہ دار نہیں ہوگا۔
ڈیجیٹل اثاثوں میں سرمایہ کاری خطرناک ہو سکتی ہے۔ براہ کرم اپنے مالی حالات کی بنیاد پر کسی پروڈکٹ کے خطرات اور اپنے خطرے کی برداشت کا بغور جائزہ لیں۔ مزید معلومات کے لیے، براہ کرم ہماری استعمال کی شرائط اور خطرے کا انکشاف دیکھیں۔