ME নিউজের প্রতিবেদন অনুযায়ী, ২১ জুলাই (UTC+8), ভাইটালিক এক্স প্ল্যাটফর্মে একটি পোস্ট করেন যে, একটি পরীক্ষা করার মতো নতুন "উন্নত প্রোগ্রামিং ভাষা" হলো Lean (বা HOL ইত্যাদি) এ কম্পাইল করা ভাষা, যার উদ্দেশ্য হলো সংজ্ঞা এবং উপপাদ্যগুলি মানুষের জন্য সম্ভবত সবচেয়ে বেশি পড়ার সহজ করে তোলা। প্রমাণগুলির জন্য নয়, কারণ প্রমাণগুলি শুধুমাত্র সঠিক হলেই চলে, মূল বিষয় হলো সংজ্ঞা এবং উপপাদ্যগুলি। এর কল্পিত ব্যবহার হলো, AI একটি বড় প্রমাণের অংশ আউটপুট করে, এবং পাঠকদেরকে এই আউটপুটগুলিতে কীভাবে সঠিকভাবে দাবি করা হয়েছে, তা সহজেই বুঝতে হবে। (উৎস: ChainCatcher)
ভিটালিক সংজ্ঞা এবং উপপাদ্যগুলি সহজে পড়ার জন্য একটি নতুন প্রোগ্রামিং ভাষার প্রস্তাব দিয়েছেন
KuCoinFlashশেয়ার
জুলাই ২১-এ ভিটালিক বুটেরিন একটি নতুন উচ্চ-স্তরের প্রোগ্রামিং ভাষা প্রস্তাব করেন, যা লিয়ান বা এইচওএল-এ কম্পাইল করার জন্য ডিজাইন করা হয়েছে এবং সংজ্ঞা ও উপপাদ্যগুলির পঠনযোগ্যতা উন্নত করবে। এই ভাষাটি প্রুফ অফ ওয়ার্ক (PoW) এবং প্রুফ অফ স্টেক (PoS) সংক্রান্ত প্রমাণগুলি পরিচালনা করতে কৃত্রিম বুদ্ধিমত্তার উপর নির্ভর করবে, যাতে ব্যবহারকারীরা বিবৃতিগুলির স্পষ্টতার উপর মনোনিবেশ করতে পারে। লক্ষ্য হলো জটিল দাবিগুলিকে আরও সহজে অপেক্ষা করা, বিশেষ করে যখন AI দ্বারা দীর্ঘতর প্রমাণগুলি তৈরি হচ্ছে।
উৎস:আসল দেখান
দাবিত্যাগ: এই পৃষ্ঠার তথ্য তৃতীয় পক্ষের কাছ থেকে প্রাপ্ত হতে পারে এবং অগত্যা KuCoin এর মতামত বা মতামত প্রতিফলিত করে না। এই বিষয়বস্তু শুধুমাত্র সাধারণ তথ্যগত উদ্দেশ্যে প্রদান করা হয়, কোন ধরনের প্রতিনিধিত্ব বা ওয়ারেন্টি ছাড়াই, বা এটিকে আর্থিক বা বিনিয়োগ পরামর্শ হিসাবে বোঝানো হবে না। KuCoin কোনো ত্রুটি বা বাদ পড়ার জন্য বা এই তথ্য ব্যবহারের ফলে যে কোনো ফলাফলের জন্য দায়ী থাকবে না।
ডিজিটাল সম্পদে বিনিয়োগ ঝুঁকিপূর্ণ হতে পারে। আপনার নিজের আর্থিক পরিস্থিতির উপর ভিত্তি করে একটি পণ্যের ঝুঁকি এবং আপনার ঝুঁকি সহনশীলতা সাবধানে মূল্যায়ন করুন। আরও তথ্যের জন্য, অনুগ্রহ করে আমাদের ব্যবহারের শর্তাবলী এবং ঝুঁকি প্রকাশ পড়ুন।