;; W1 pure representative: ordinary Clojure-shaped values/functions only.
(ns examples.w1-pure)
(defn double [n]
(+ n n))
(defn main []
(double 21))
-
উৎস CID
bafkreiaeohkv2zu…IPFS CIDv1 · রা · sha2-256 hello.kotoba এর -
সোর্স SHA-256
0471d55d668ed5f9…এখানে প্রদর্শিত সঠিক ফাইলের sha-256 -
পরীক্ষিত KIR SHA-256
92635333e1e0da86…টাইপ করা, প্রভাব-পরীক্ষিত উপস্থাপনা যা কম্পাইলার স্বীকার করেছে -
আর্টিফ্যাক্ট পরিচয় SHA-256
cfea3b89cc022a6b…উৎস, নীতি, কম্পাইলার চুক্তি এবং লক্ষ্য ABI বাঁধে
সোর্স CID খুলে hello.kotoba। SHA-256 ডাইজেস্টগুলি সোর্স বাইট, যাচাইকৃত KIR, এবং আর্টিফ্যাক্ট পরিচয় নির্ধারণ করে; এগুলি IPFS ঠিকানা নয়।
নিরাপদ + দ্রুত · AI-উৎপাদিত সফটওয়্যারের জন্য নির্মিত
নিরাপদ কোড। মেশিন গতি জন্য নির্মিত।
Kotoba একটি Lisp-আকৃতির ভাষা যা নিরাপদ, অতিদ্রুত AI-উৎপন্ন সফটওয়্যারের জন্য ডিজাইন করা হয়েছে। পরিদর্শনযোগ্য প্রোগ্রাম, স্পষ্ট সক্ষমতা, এবং বিষয়বস্তু-ঠিকানাযুক্ত আর্টিফ্যাক্ট কম্পাইলার পরীক্ষা নিয়ন্ত্রিত কার্যকরীর সাথে সংযুক্ত করে।
এই হোস্টে যেকোন টুলচেইনের দ্রুততম ঠান্ডা বিল্ড।
11.75মি.সেক
Kotoba সোর্স থেকে WebAssembly আর্টিফ্যাক্ট, প্রক্রিয়া-ঠান্ডা — তারপর কার্যকর, এবং ঘড়ি থামার পর উত্তর যাচাই করা হয়েছে।
প্রক্রিয়া-ঠান্ডা বিল্ড ওয়াল টাইম মিলিসেকেন্ডে; কম সময় দ্রুত। K=1 উৎস, এক হোস্টে লেন ইন্টারলিভড, 7 নমুনা প্রতিটি।
সমস্ত 4 ক্রম পাস করে পার্গেট তার অবিচলিত ডিফল্ট নীতিতে — অন্তত 5% এবং আলাদা হাতের নিজস্ব বিস্তার — তাই অর্ডারিং বজায় থাকে যদিও হোস্ট ব্যস্ত ছিল। এই হোস্ট, এই উৎস আকার এবং এই রান সীমাবদ্ধ: বিল্ড সময় নয় কার্যকরী গতি, উৎস বাড়ার সাথে সুবিধা সংকীর্ণ হয়, এবং রিলিজড বাইনারির একটি কঠোর সঠিকতার সীমানা রয়েছে। সমস্ত পাঁচটি বেঞ্চমার্ক, যার মধ্যে রয়েছে যা Kotoba এর বিরুদ্ধে যায়, নিচে। পরিমাপ করা হয়েছে 2026-08-31 চালু অ্যাপল M4.
যখন AI ধারাবাহিকভাবে কোড তৈরি, বিল্ড, পরীক্ষা এবং পুনরায় তৈরি করে, বিল্ড বিলম্ব অবকাঠামোর থ্রুপুট হয়ে ওঠে।
কোনো পরিবেশগত কর্তৃত্ব নেই
কোনো স্বতঃসিদ্ধ ফাইলসিস্টেম, নেটওয়ার্ক, প্রসেস, ক্লক, মডেল, বা গোপনীয়তা নেই।
কর্তৃত্ব কম্পাইলেশন টিকে থাকে
টাইপ, প্রভাব, সম্পদ এবং লক্ষ্য সমর্থন ইমিশনের আগে অনুমোদিত।
শুধুমাত্র অনুমতিটি সীমাবদ্ধ
হোস্ট এবং প্রদানকারী কঠোর পরিধি প্রয়োগ করে এবং সিদ্ধান্ত রেকর্ড করে।
শুধুমাত্র ক্লাসিক্যাল ডাউনগ্রেড নেই
নতুন এনক্রিপশন এবং প্রকাশনার সীমাবদ্ধতাগুলি ML-KEM বা ML-DSA প্রমাণ প্রয়োজন এবং ছেঁড়া PQ উপাদান প্রত্যাখ্যান করে।
AI মানুষের চেয়ে দ্রুত লিখতে পারে যা মানুষ পর্যালোচনা করতে পারে
উত্পন্ন কোড উপকারী হতে পারে এবং এখনও একটি ফাইল, নেটওয়ার্ক, গোপন, প্রক্রিয়া, মডেল, বা পেমেন্ট পৃষ্ঠায় পৌঁছাতে পারে যা অনুরোধ কখনো প্রকাশ করতে চায়নি।
বিস্তৃতভাবে তৈরি করুন, পরে সীমাবদ্ধ করুন
একটি সাধারণ উদ্দেশ্যের প্রোগ্রাম পরিবেশগত সেমান্টিক্স দিয়ে শুরু হয়। স্যান্ডবক্স, IAM, কন্টেইনার, নীতি, এবং স্বাক্ষর এর চারপাশে যোগ করা হয় উদ্দেশ্যপ্রণোদিত সীমা পুনরুদ্ধার করতে।
সঙ্কীর্ণভাবে অনুমতি দিন, তারপর কম্পাইল করুন
প্রভাব এবং সক্ষমতা স্বীকৃত গণনার অংশ। যদি লক্ষ্য গ্রান্ট প্রমাণ এবং বাঁধতে না পারে, তবে এটি আর্টিফ্যাক্ট নির্গত বা চালায় না।
Kotoba রানটাইম এবং OS আইসোলেশন সম্পূরক; এটি ঐ স্তরগুলো অপ্রয়োজনীয় করে না।
যেখানে Lisp এর মন এবং GP 2 এর গ্রাফ রিরাইটিং Rust এর শৃঙ্খলার সাথে মিলিত হয়
Kotoba একটি ছোট, ডেটা-কেন্দ্রিক, ক্লোজার-আকৃতির ভাষা। এর নকশা Lisp এর কোড-অ্যাস-ডেটা ঐতিহ্যের উপর ভিত্তি করে এবং GP 2 এর নিয়ম-ভিত্তিক গ্রাফ পুনর্লিখন, কর্তৃত্ব, প্রভাব, সম্পদ, প্যাকেজ এবং আর্টিফ্যাক্ট পরিচয়ের চারপাশে স্থির শৃঙ্খলা সহ।
পাঠযোগ্য ডেটা হিসাবে কোড
অপরিবর্তনীয় মান, সাধারণ ফাংশন, স্পষ্ট ডেটা, এবং একটি সংযোজ্য সিনট্যাক্স মানুষের এবং মডেলের জন্য সহজে তৈরি এবং পরিদর্শনযোগ্য।
কি ঘটতে পারে তা বলুন
প্রভাব, সক্ষমতা, সম্পদ, নির্ভরতা, এবং লক্ষ্যগুলি প্রবেশাধিকারযোগ্য ইনপুট—মোতায়েনের পরে আবিষ্কৃত বিস্ময় নয়।
কম ভাষা, কঠিন সীমানা
গ্রহণকৃত কম্পোনেন্ট সারফেসে কোনো পরিবেশগত ইন্টারঅপ, রানটাইম কোড লোডিং, অসীম পরিবর্তন, অতিথি-সংজ্ঞায়িত ম্যাক্রো, বা অসীম সমান্তরালতা নেই।
নিরাপদ + দ্রুত · AI-উত্পন্ন সফটওয়্যারের জন্য নির্মিত।এটি একটি সীমাবদ্ধতা নির্দেশনা, 'অহ্যাকযোগ্য নয়' দাবি নয়। কম্পাইলার, ভেরিফায়ার, রানটাইম, প্রদানকারী, নীতি মূল, কী কাস্টডি, এবং OS বিচ্ছিন্নতা বিশ্বাসযোগ্য কম্পিউটিং বেসে থাকে।
সম্পূর্ণ গণনার নিরাপত্তা
সীমা উদ্দেশ্য থেকে কার্যকরী পর্যায়ে বহন করা হয়। প্রতিটি ধাপ কর্তৃপক্ষ সংকুচিত বা যাচাই করে; পরবর্তী কোনো ধাপ একটি অনুমতি উদ্ভাবন করতে পারে না।
ঘোষিত উদ্দেশ্য
একটি ছোট, Clojure-আকৃতির পৃষ্ঠাটি প্রোগ্রামগুলি পাঠযোগ্য রাখে এবং পরিবেশগত পালানোর পথগুলি বাদ দেয়।
পরীক্ষিত KIR
টাইপ এবং ট্রানজিটিভ প্রভাবগুলি একটি লক্ষ্য-স্বাধীন, পরিদর্শনযোগ্য উপস্থাপনা হয়ে ওঠে।
কর্তৃত্ব ছেদ করুন
অনুরোধকৃত, প্রতিনিধিত্বকৃত, স্থানীয় নীতি, সম্পদ, এবং লক্ষ্য অনুমতি শুধুমাত্র সংকীর্ণ হতে পারে।
আর্টিফ্যাক্ট ঠিকান করুন
কোড, নির্ভরতা, নীতি, কম্পাইলার চুক্তি, এবং লক্ষ্য ABI গণনার পরিচয় বাঁধে।
হোস্টে বাইন্ড করুন
রানটাইম এবং প্রোভাইডার শুধুমাত্র অনুমোদিত ক্ষমতা বেঁধে দেয়, সীমিত বাজেট প্রয়োগ করে, এবং রসিদ ইমিট করে।
বিষয়বস্তু পরিচয় কর্তৃত্ব নয়।CID যাচাইকরণ, স্বাক্ষর, প্রত্যাহার, হোস্ট নীতি, সম্পদ পরীক্ষা, এবং OS বিচ্ছিন্নতা পৃথক সীমা হিসেবে থাকে।
লিস্প ইভ্যাল, পরিবেশগত হোস্ট ইভ্যাল ছাড়া
Kotoba যাচাই করা কোডকে বিষয়বস্তু-অ্যাড্রেসড ডেটা হিসেবে মূল্যায়ন করে। পরিচিত (eval request) সারফেস টাইপ করা পর্যন্ত নেমে আসে :code/eval ক্ষমতা; এটি কখনই সোর্স টেক্সট, একটি রিডার ফর্ম, একটি নেমস্পেস, বা একটি হোস্ট অবজেক্ট গ্রহণ করে না।
কোন কোড?
CID একটি হ্যাশ-ভেরিফায়েড যাচাইকৃত-KIR সংজ্ঞা এবং তার CID-শুধুমাত্র নির্ভরশীলতা বন্ধন নির্বাচন করে।
এখানে এটি চলবে?
নির্দিষ্ট ইন্টারফেস, সম্পূর্ণ প্রভাব সারি, বর্তমান অনুমতি, জ্বালানি, এবং হ্রাসমান মূল্যায়ন গভীরতা কার্যকর করার আগে সীমাবদ্ধ।
কি ফিরে এসেছে?
টাইপ করা ফলাফল বিষয়বস্তু-ঠিকানাভিত্তিক প্রমাণ হিসাবে সংরক্ষিত হয়। এর হ্যাশ পূর্ববর্তী কোনো প্রভাব অনুমোদন করতে পারে না।
পরিচয়, কর্তৃত্ব, এবং ফলাফল প্রমাণ তিনটি ভিন্ন তথ্য।
মেশিন চুক্তি: lang/typed-eval.edn. কম্পাইলার তারের সক্ষমতা: 30. সীমাবদ্ধ প্রয়োগ সাধারণ বন্ধ-মডিউল ক্লোজার প্রয়োগ থাকে।
AI-প্রথম কম্পিউটিং স্ট্যাকের জন্য ডিফল্ট
এগুলি প্রকৌশল দাবিসমূহ তাদের যোগ্যতার সাথে সংযুক্ত। ডিফল্ট, সীমাবদ্ধ-প্রস্তুত, আংশিক, এবং দিকনির্দেশ ভিন্ন অবস্থা; কোনোটিই নীরবে সার্বজনীন হিসেবে উন্নীত হয় না।
দ্রুত বিল্ড করুন। দ্রুত চালান। বাউন্ডারি বজায় রাখুন।
Kotoba কম্পাইলার-স্টার্টআপ, ডেভেলপার-লুপ, নেটিভ-রানটাইম এবং ওয়ার্কলোড-ডোমেইন পরিমাপ সঠিক ফলাফলের চেক সহ প্রকাশ করে। বর্তমান গতি র্যাঙ্কগুলি তাদের নীরব-হোস্ট গেট পাস না করা পর্যন্ত আটকে রাখা হয়; নিরাপত্তা স্বীকৃতি কখনোই সময় জেতার জন্য সরানো হয় না।
ভাষার সীমা ছাড়া স্টোরেজ।
Kotobase বিষয়বস্তু পরিচয়, রেঞ্জ রিড, অপরিবর্তনীয় ইতিহাস, এবং প্রদানকারী-নিরপেক্ষ স্টোরেজ ব্যবহার করে। শারীরিক ক্ষমতা, ভাড়াটিয়া, ধারণ, খরচ, প্রতিলিপি, এবং কার্যকরী বাজেট স্পষ্ট থাকে; এটি অসীম-ডিস্ক দাবি নয়।
ডিফল্ট হিসেবে পোস্ট-কোয়ান্টাম ক্রিপ্টোগ্রাফি।
প্রতিটি নতুন Kotoba ক্রিপ্টোগ্রাফিক সীমানা ML-KEM বা ML-DSA প্রমাণ নাম দিতে হবে এবং একটি ক্লাসিক্যাল-শুধুমাত্র ডাউনগ্রেড প্রত্যাখ্যান করতে হবে। বিদ্যমান Passkeys, পরিবহন, বাস্তবায়ন এবং কী কাস্টডি আলাদাভাবে যোগ্য সীমানা হিসেবে থাকে।
প্রমাণীকরণ উপস্থিত। কর্তৃপক্ষ ডিফল্টভাবে অস্বীকৃত।
Passkey পরিচয় নিয়ন্ত্রণ সীমানায় থাকে। একটি যাচাইকৃত পরিচয় এখনও কোনও ফাইলসিস্টেম, নেটওয়ার্ক, স্টোরেজ, মডেল, গোপন, পেমেন্ট, বা GPU কর্তৃত্ব পায় না যতক্ষণ না একটি স্পষ্ট স্কোপড গ্রান্ট স্থানীয় নীতি এবং হোস্ট পরীক্ষাগুলি অতিক্রম করে।
নমনীয় ডেলিগেশন যা শুধুমাত্র সংকীর্ণ হতে পারে।
অনুরোধকৃত, প্রতিনিধিত্বকৃত, স্থানীয় নীতি, সম্পদ, এবং লক্ষ্য ক্ষেত্রগুলি ছেদ করে। প্রতিনিধিত্ব গঠনযোগ্য এবং হ্রাসযোগ্য, কিন্তু পরিবেশগত কর্তৃত্ব তৈরি করতে বা এর ইস্যুকারীর অনুমতি বিস্তৃত করতে পারে না।
ওয়েব3 প্রস্তুত, মূল স্তরে চেইন-নিরপেক্ষ।
একটি স্থিতিশীল Kotoba প্রিন্সিপাল এবং Passkey কন্ট্রোলার প্রধান। CAIP-10 অ্যাকাউন্ট, ERC-1271, এবং ERC-6492 স্পষ্ট লিঙ্কড-অ্যাকাউন্ট প্রমাণ; একটি ওয়ালেট ঠিকানা কখনো নীরবে স্টোরেজ বা এক্সিকিউশন কর্তৃত্বে পরিণত হয় না।
যেখানে মালিকানা অনুমতি দেয় সেখানে শূন্য-কপি; যেখানে একটি সীমা প্রয়োজন সেখানে একটি কপি।
কলামার বাইট ভিউগুলি ভেক্টর, সরাসরি ByteBuffer, এবং Uint8Array ব্যাকিং ধরে রাখে। অ্যারো প্রজেকশন অনুমোদিত Kotobase লেক পাথের মাধ্যমে কম্প্রেসড নয় এমন বাফারগুলি কলামার রাখতে পারে। নেটওয়ার্ক ইনগ্রেস, ডিকম্প্রেশন, GPU আপলোড, এবং অপরিবর্তনীয় স্থায়ী আপডেটগুলি নামকৃত কপি সীমা হিসেবে থাকে।
অ্যরো-আকৃতির ডেটা। স্পষ্ট CPU SIMD এবং ডিভাইস-স্থানীয় GPU কার্নেল।
Apple M4 তে, একটি কম্প্রেসড নয়, নালযোগ্য নয় এমন Arrow float32 কলাম একটি WebAssembly লিনিয়ার-মেমোরি ব্যাকিং বজায় রেখেছিল যখন Num তার ধার করা মানের স্লাইসের উপর একটি স্পষ্ট v128 f32x4 কার্নেল চালিয়েছিল শূন্য Arrow-থেকে-SIMD কপি সহ; একটি স্কেলার টেইল বাকি সারিগুলো ঢেকে দিয়েছিল। একই 262,147-উপাদান স্কেল ওয়ার্কলোড এবং আর্টিফ্যাক্টের তিনটি যোগ্য রান-এ, সেই SIMD কার্নেল 3.66-3.72x গুণ দ্রুত স্কেলার Wasm থেকে সম্পন্ন হয়েছিল। এটি একটি কার্নেল-এবং-হোস্ট ফলাফল, সাধারণ রানটাইম দাবি নয়। একই সীমাবদ্ধ কলাম পথ একটি ArrayBuffer CPU ভিউ দিয়ে ধরে রাখে, GPU মালিকানা সীমানা অতিক্রম করে একটি পরিমাপিত WebGPU আপলোড সহ, Metal এ চালায়, এবং একটি চার-বাইট স্কেলার ফেরত দেয়। নালযোগ্য কলাম, অন্যান্য Arrow dtype, একীভূত-মেমোরি আপলোড অপসারণ, বিস্তৃত কার্নেল, এবং সার্বজনীন CPU/GPU যোগ্যতা অপেক্ষমাণ।
AI প্রথম। ডিফল্টরূপে এজেন্ট-নিরাপদ।
Kotoba AI এজেন্ট এবং বট দ্বারা লেখা বা পরিচালিত প্রোগ্রামগুলির জন্য ডিজাইন করা হয়েছে। মডেল যত শক্তিশালী, স্পষ্ট প্রভাব, সসীম সম্পদ, সক্ষমতা সীমাবদ্ধতা, রসিদ, এবং হোস্ট প্রয়োগ তত গুরুত্বপূর্ণ হয়ে ওঠে।
AGI-সক্ষম সীমানা, AGI দাবি নয়।
স্থাপত্যটি মডেলগুলি আরও সক্ষম হওয়ার সাথে সাথে কর্তৃত্ব স্পষ্ট রাখতে উদ্দেশ্যপ্রণোদিত। Kotoba দাবি করে না যে এখানে AGI বিদ্যমান, যে তৈরি করা প্রোগ্রামগুলি বিশ্বাসযোগ্য, বা যে সীমাবদ্ধতা কম্পাইলার, রানটাইম, প্রদানকারী, কী-রক্ষণাবেক্ষণ, এবং OS বিশ্বস্ত কম্পিউটিং বেস সরিয়ে দেয়।
মেশিন কর্তৃপক্ষ: lang/product-defaults.edn. সীমাহীন শারীরিক স্টোরেজ, সর্বত্র শূন্য কপি, সার্বজনীন গতি র্যাঙ্ক, AGI অর্জিত, এবং হ্যাক-অযোগ্য থাকা নিষিদ্ধ চূড়ান্ত দাবি।
AI-লিখিত Kotoba যা অনুরোধ করতে পারে না
| সীমা | কেন এটি অনুপস্থিত |
|---|---|
compile, load, load-file, load-string, ns-resolve, read-string, require, resolve, use
|
উপাদানগুলি পরিবেশগত প্রসেস অবস্থা থেকে কোড বা কর্তৃত্ব তৈরি করতে পারে না। সোর্স স্ট্রিং, রিডার ফর্ম, লোড করা নামস্থান, এবং কম্পাইল করা হোস্ট অবজেক্টগুলি কখনোই প্রভাব-অনুমান করা হয়নি এবং একটি সংজ্ঞা CID এর অংশ নয়। তাই অনুমোদিত `(eval request)` অপারেশন আলাদা: এটি ইতিমধ্যে যাচাইকৃত KIR CID দ্বারা :code/eval এর মাধ্যমে নির্বাচন করে এবং হোস্ট দ্বারা পুনরায় অনুমোদিত হয়। |
., .., import, new
|
ইচ্ছামত JVM/JS অবজেক্ট এবং মেথড অ্যাক্সেস ক্ষমতা অনুমোদন বাইপাস করে। গ্রান্ট ডিসপ্যাচ দ্বারা অবিচলিত: ইন্টারঅপ কখনো গার্ড-কোম্পোনেন্ট-ক্ষমতা-কলে পৌঁছায় না, তাই গ্রান্ট ইন্টারসেকশন, রসিদ এবং প্রত্যাহার কল দেখতে পারে না। wasm32 ABI তে শূন্য (এমন কোনো পথ নেই); পোর্টেবল/ট্রাস্টেড এ লোড-বিয়ারিং, যেখানে সাবসেট গেট একমাত্র সীমা (সেখানে আলাদা VM স্যান্ডবক্স দাবি করা হয় না)। |
alter-var-root, atom, binding, deref, dosync, ref, reset!, set!, swap!, var, volatile!
|
বাহ্যিক পরিবর্তনশীল অবস্থা প্রদানকারী-স্বত্বাধীন এবং সক্ষমতা/নীতিমালা দ্বারা নিয়ন্ত্রিত; উপাদান-স্থানীয় অবস্থা অবশ্যই স্পষ্টভাবে সীমাবদ্ধ মডেল ব্যবহার করতে হবে। ইনভারিয়েন্ট হল পরিবেশগত, পরিবর্তন নয়। 2026-09-02 থেকে পড়ার দুটি পরিণতি রয়েছে একটির পরিবর্তে। একটি সেল যা পালিয়ে যায়, টিকে থাকে, বা একটি ফাংশন অতিক্রম করে তা প্রদানকারী-স্বত্বাধীন এবং :state-kit-desugar পথের উপর থাকে (প্রভাব সারিতে :state দেখায়, ইনস্ট্যান্টিয়েশনে একটি গ্রান্ট প্রয়োজন, সক্ষমতা হ্যান্ডেলগুলি সংরক্ষিত মান হিসাবে প্রত্যাখ্যাত হয়)। একটি সেল যা কিছুই করে না -- (let [a (atom 0)] (swap! a + 1) @a) -- কোনো হোস্টের প্রয়োজন নেই: স্থানীয়-অবস্থা স্লাইস 1 এটিকে সাধারণ let পুনর্বিন্যাসে পরিণত করে, তাই এটি শুধুমাত্র মালিকানাধীন সরল-লাইন কোড দ্বারা পর্যবেক্ষিত হয় এবং রানটাইমে কোনো সেল থাকে না। atom / swap! / reset! / deref তাই অনুমোদিত-দ্বারা-বিস্তারিতকরণ, এবং সেল পালানোর মুহূর্তে প্রত্যাখ্যাত। ref / dosync / volatile! / binding / var / alter-var-root / set! কোনো সক্ষমতা মডেল নির্ধারণ করে না এবং প্রত্যাখ্যাত থাকে। |
agent, future, locking, pmap, send, send-off
|
কম্পোনেন্ট সময়সূচী এবং সম্পদগুলি টেন্ডার-নিয়ন্ত্রিত এবং সীমানাবদ্ধ থাকতে হবে। সংজ্ঞা CID বা প্রতিনিধিত্বকৃত অনুমতিগুলি CPU বা সময়সূচী পরিমাপ করে না; জ্বালানি প্রতি-ইনস্ট্যান্স এবং পরিবেশগত থ্রেডগুলি এটি এড়িয়ে যাবে। একটি সাব-বাজেটযুক্ত জ্বালানির সাথে কাঠামোবদ্ধ-স্পন ক্ষমতা ডিজাইনযোগ্য কিন্তু সিদ্ধান্তহীন; এখনও কোনো বিস্তারের পথ নেই। |
defmacro
|
নিরাপদ উপাদান পৃষ্ঠাটি কার্যকর করার আগে স্থিরভাবে পরিদর্শনযোগ্য হতে হবে। অবিচলিত: সম্প্রসারণ কম্পাইলারের ভিতরে কোড চালায় (বিল্ড সময়), এবং সংজ্ঞা CID হ্যাশগুলি পোস্ট-ডিসুগার টাইপড KIR, তাই অসীম ম্যাক্রো উভয়ই আগে চলে এবং সোর্স পরিচয় পর্যালোচনাযোগ্য করে না। defdesugar (সীমাবদ্ধ বিশুদ্ধ ডিসুগার) অনুমোদিত বিকল্প থাকে। |
catch, throw, try
|
অ্যাম্বিয়েন্ট throw/try/catch ট্র্যাক করা হয় না এমন নন-লোকাল কন্ট্রোল ফ্লো: এটি স্কোপ থেকে বেরিয়ে যায় যা অনুমানকৃত এফেক্ট রো কখনো উল্লেখ করে না এবং আনউইন্ড বাধ্যবাধকতাগুলি এড়ায় (ডেটাস্পেস ফ্যাসেট প্রত্যাহার এখনও যাচাই করা আনউইন্ড নেই)। নিষেধাজ্ঞা অ্যাম্বিয়েন্ট ফর্মে। 2026-09-02 থেকে টাইপ করা অ্যাবোর্ট ক্ষমতা মাথাগুলিকে বিবরণ দ্বারা অনুমোদন করে: এফেক্ট অনুমানকৃত রোতে :abort হিসেবে প্রদর্শিত হয় এবং ফাংশন [:result T E] এ নেমে আসে, তাই অ্যাম্বিয়েন্ট ফর্ম পোস্ট-বিবরণে কখনো থাকে না। স্লাইস 2 (2026-09-02) :abort কলগুলির মাধ্যমে ছড়িয়ে দেয় এবং একটি অ্যাবোর্টিং অপারেন্ড বা টেস্টকে let বাইনডিংয়ে A-নরমালাইজ করে; উভয়ই ইনভারিয়েন্ট বিস্তৃত করে না, কারণ ছড়ানো অ্যাবোর্ট কলারের রোতে এবং A-নরমালাইজড একই বিবরণ ভিন্ন অবস্থানে। যেখানে আনউইন্ড পূর্বশর্ত গুরুত্বপূর্ণ, অ্যাবোর্ট প্রত্যাখ্যাত থাকে -- এখন কলের জন্য এবং throw এর জন্যও। |
এগুলো lang/surface-status.edn এ নামকৃত নিরাপত্তা সীমাবদ্ধতা, রোডম্যাপ থেকে অনুপস্থিত বৈশিষ্ট্য নয়।
সীমা সংযুক্ত প্রমাণ
Kotoba বাস্তবায়ন প্রমাণ বাজারের টান থেকে আলাদা করে এবং প্রতিটি নিরাপত্তা দাবীর পাশে অবশিষ্ট ঝুঁকি রাখে।
33 কোর
অভ্যন্তরীণ উৎপাদন ডগফুডিং
বিস্তৃত Kotoba স্ট্যাক অভ্যন্তরে 33 ইনফারেন্স কোর চালায়। এটি প্রমাণ করে দল তাদের নিজস্ব স্ট্যাক পরিচালনা করে; এটি গ্রাহক টান, পেইড গ্রহণ, বা রাজস্ব নয়।
8 দাবি
সীমাগুলি মেশিন-পঠনযোগ্য
নিরাপত্তা দাবিগুলি তাদের বিশ্বাসযোগ্য কম্পিউটিং বেস, নেতিবাচক প্রমাণ এবং অবশিষ্ট ঝুঁকি উল্লেখ করে, 'অহ্যাকযোগ্য' স্লোগানে ভেঙে না পড়ে।
ডিফল্টরূপে অস্বীকার করুন
কোনো গ্রান্ট নেই, কোনো হোস্ট প্রভাব নেই
একটি খালি নীতি কোনো ফাইলসিস্টেম, নেটওয়ার্ক, প্রক্রিয়া, ঘড়ি, মডেল, বা গোপন কর্তৃত্ব দেয় না। প্রদানকারীদের অবশ্যই নির্দিষ্ট সম্পদ পরিসর যাচাই করতে হবে।
অভ্যন্তরীণ উৎপাদন ব্যবহার শুধুমাত্র ডগফুডিং প্রমাণ। এটি বাহ্যিক গ্রাহক, পেইড পাইলট, বা আয়ের ইঙ্গিত দেয় না।
পাঁচটি বেঞ্চমার্ক। পাঁচটি ভিন্ন প্রশ্ন।
কম্পাইলার স্টার্টআপ জিজ্ঞাসা করে কত দ্রুত একটি ছোট উৎস একটি আর্টিফ্যাক্টে পরিণত হয়। বিল্ড স্কেলিং জিজ্ঞাসা করে উৎস ছোট থাকা বন্ধ হলে সংখ্যাটি কী হয়—এবং আর্টিফ্যাক্ট এখনও উত্তর দেয় কিনা। ডেভেলপার লুপ সমাধান, যাচাই, বিল্ড এবং প্রথম ফলাফল আলাদা করে। নেটিভ রানটাইম জিজ্ঞাসা করে ইতিমধ্যে তৈরি কোড কত দ্রুত চলে। ওয়ার্কলোড-ডোমেইন স্যুট জিজ্ঞাসা করে স্ট্রিং, সংগ্রহ, বরাদ্দ, I/O, সমান্তরালতা, এবং একটি ছোট বাস্তব অ্যাপ্লিকেশন কেমন আচরণ করে। ফলাফলগুলি সব পাঁচটি প্রশ্ন এবং তাদের প্রমাণের অবস্থা আলাদা রাখে।
4 টুলচেইন, 21 প্রতিটি চালায়
Kotoba 40.998 মি.সেক · রাস্ট 126.422 মি.সেক · সি 146.324 মি.সেক · জেভিএম 961.248 মি.সেক মধ্যম।
21 ঘূর্ণায়মান প্রক্রিয়া-ঠান্ডা নমুনা · load1 30.79 → 39.79 · প্রয়োজন ≤ 1 · 2026-08-29 · অ্যাপল M4
6 ওয়ার্কলোড × 5 তুলনাকারী
আমু নেটিভ রস্ট, ক্ল্যাং / C11, জিগ, গো সি-শেয়ার্ড, সুইফটের বিরুদ্ধে একটি সাধারণ নেটিভ কল সীমানা দিয়ে পরীক্ষা করা হয়।
30/30 তুলনাকারী/কাজের জোড়া · সঠিক উত্তর যাচাই করা হয়েছে
19 এর 30 জোড়া
আমু নেটিভ 30 তুলনাকারী/ওয়ার্কলোড জোড়ার মধ্যে কমপক্ষে 5% দ্বারা 19 জয়ী হয়েছে, হাতের নিজস্ব বিস্তার থেকে পৃথক। সীমাবদ্ধ দ্রুততম দাবি প্রতিটি জোড়া প্রয়োজন, তাই এটি অযোগ্য থাকে — গণনা তথ্যপূর্ণ অর্ধেক।
কমপক্ষে 2 জোড়াগুলোর মধ্যে কোনোটিই মোটেও জয়লাভ করা যায় না। সংকীর্ণ-অ্যারিথমেটিক এ, amu, Apple clang -O3 এবং rustc -O3 কার্নেলকে একই 61-ইনস্ট্রাকশন সিকোয়েন্সে কম্পাইল করে — clang এবং rustc বাইট-পরিচিত, amu কেবল রেজিস্টার নম্বরের মধ্যে ভিন্ন। একই কোডের উপর 5% মার্জিন নেই, তাই সীমাবদ্ধ দাবি অর্জনযোগ্য নয় বরং কেবল পূরণ হয়নি।
5 হোস্ট-যোগ্য রানগুলির মধ্যম; স্কোর ছিল 19–20 এবং 19 প্রতিটি 30 জোড়ার যোগ্য। একটি একক গোলমালপূর্ণ নমুনা একবারে একাধিক জোড়াকে অযোগ্য করতে পারে, তাই এক রান স্কোর একটি জোড়ার জন্য সঠিক নয়।
ব্যস্ত-CPU 0.090 → 0.069 → 0.076 · প্রয়োজনীয় ≤ 0.10 · 2026-09-07
11 টুলচেইন পথসমূহ
ডিপেন্ডেন্সি সমাধান, যাচাই, পরিষ্কার এবং পরিবর্তনহীন বিল্ড, এবং প্রক্রিয়া-ঠান্ডা প্রথম ফলাফল আলাদাভাবে রেকর্ড করা হয়।
7 নমুনা প্রতি পরিমাপ স্তর · load1 20.84 → 24.49 · প্রয়োজনীয় ≤ 1
8 উৎস আকার
একই প্রোগ্রাম একটি ফাংশন থেকে 2048, হোস্টে প্রতিটি টুলচেইন দ্বারা তৈরি এবং তারপর কার্যকর করা হয়। রিলিজকৃত বাইনারিটি এখানে সর্বনিম্ন ঠান্ডা-শুরু খরচ এবং সঠিকতা রয়েছে 128 ফাংশনের উপরে সিলিং।
ঘড়ি থামার পর আর্টিফ্যাক্ট পরীক্ষা · load1 2.73 → 2.73 · প্রয়োজন ≤ 1 · 2026-08-31
6 ডোমেইন × 6 রানটাইম পাথ
স্ট্রিং, কালেকশন, বরাদ্দ, ফাইল I/O, চার-ওয়ার্কার সমান্তরালতা, এবং একটি রিকোয়েস্ট-অ্যাডমিশন পলিসি অ্যাপ্লিকেশন কার্নেল সঠিকতা যাচাই করা হয়।
7 নমুনা উভয় প্রক্রিয়া-ঠান্ডা এবং গড়িত লেনে · load1 13.87 → 12.38 · র্যাঙ্ক সংরক্ষিত
উৎস বড় হওয়ার সাথে বিল্ড সময়
উপরের বেঞ্চমার্কগুলি একটি প্রোগ্রাম তৈরি করে যা এক স্ক্রিনে ফিট হয়, যা পরিমাপ করে কত দ্রুত একটি টুলচেইন শুরু হয়। এটি সম্পর্কে খুব কম বলে। একজন ডেভেলপার আসলে অপেক্ষা করে এমন সংখ্যা, যা ঢাল। এই পঞ্চম বেঞ্চমার্ক একই প্রোগ্রামটি বাড়তে থাকা আকারে তৈরি করে — K স্বাধীন চার-অপারেশন ফাংশন এবং একটি এন্ট্রি পয়েন্ট যা তাদের সবাইকে কল করে — এবং হোস্টের প্রতিটি টুলচেইনের মাধ্যমে এটি তৈরি করে, ঘূর্ণায়মান ক্রম।
এরপর এটি প্রতিটি টুলচেইন যা উৎপন্ন করেছে তা চালায়, ঘড়ি থামার পর। সেই পরীক্ষা সজ্জা নয়। একটি আর্টিফ্যাক্ট তৈরি করার দ্রুততম উপায় হল একটি ভাঙা তৈরি করুন, তাই একটি লেন যা কাজ বন্ধ করেছে তা অন্যথায় পোস্ট করত এর সেরা সংখ্যা ঠিক যেখানে এটি কাজ করা বন্ধ করেছিল।
উভয় অক্ষ লগারিদমিক: উৎসগুলি তিনটি মাত্রার বিস্তৃতি এবং সময়ও তেমনি। একটি লাইন একটি বিন্দুতে শেষ হয় যেখানে রান শেষ হয়েছে, একটি ক্রস যেখানে সেই লেন একটি আর্টিফ্যাক্ট তৈরি করেছে যা প্রোগ্রাম নয়, এবং একটি বার যেখানে টুলচেইন বিল্ড করতে অস্বীকার করেছে। এই তিনটি একই ঘটনা নয় এবং নিচের দুটি ব্যর্থতা একই ব্যর্থতা নয়।
| টুলচেইন / লক্ষ্য | K=1 | কে=32 | K=128 | K=129 | কে=512 | K=1023 | K=1024 | K=2048 |
|---|---|---|---|---|---|---|---|---|
| Kotoba · মুক্তিপ্রাপ্ত CLI · WebAssembly | 11.753 ms | 35.84 ms | 111.538 ms | অবৈধ আর্টিফ্যাক্ট | অবৈধ আর্টিফ্যাক্ট | অবৈধ আর্টিফ্যাক্ট | বিল্ড ব্যর্থ হয়েছে | বিল্ড ব্যর্থ হয়েছে |
| Kotoba / আমু · WebAssembly | 733.255 ms | 825.418 ms | 1123.04 ms | 1123.847 ms | 3380.63 ms | 9242.463 ms | বিল্ড ব্যর্থ হয়েছে | বিল্ড ব্যর্থ হয়েছে |
| Kotoba / আমু · নেটিভ aarch64-macos | 962.198 ms | 1509.84 ms | 2973.249 ms | 3000.243 ms | 10601.87 ms | 23725.327 ms | বিল্ড ব্যর্থ হয়েছে | বিল্ড ব্যর্থ হয়েছে |
| রাস্ট / rustc · WebAssembly | 38.992 ms | 45.622 ms | 66.066 ms | 65.56 ms | 151.592 ms | 277.88 ms | 280.867 ms | 595.812 ms |
| রাস্ট / রাস্টসি · নেটিভ হোস্ট | 56.023 ms | 62.849 ms | 82.107 ms | 82.277 ms | 159.519 ms | 261.586 ms | 260.934 ms | 469.277 ms |
| সি / ক্ল্যাং · WebAssembly | কোনো টুলচেইন নেই | কোনো টুলচেইন নেই | কোনো টুলচেইন নেই | কোনো টুলচেইন নেই | কোনো টুলচেইন নেই | কোনো টুলচেইন নেই | কোনো টুলচেইন নেই | কোনো টুলচেইন নেই |
| সি / ক্ল্যাং · নেটিভ হোস্ট | 29.078 ms | 30.442 ms | 35.765 ms | 36.581 ms | 60.594 ms | 104.992 ms | 101.728 ms | 223.232 ms |
| JVM / javac · JVM ক্লাস | 171.53 ms | 197.998 ms | 237.582 ms | 238.611 ms | 316.795 ms | 378.252 ms | 377.591 ms | 454.632 ms |
2026-08-31 পরিমাপ judahnoMac-mini.local (অ্যাপল M4) এ। K হল তৈরি ফাংশনের সংখ্যা; Kotoba উৎস 9 থেকে 14338 লাইন পর্যন্ত চলে। লক্ষ্য, ABI, অপ্টিমাইজেশন স্তর এবং রানটাইম চুক্তি লেন অনুযায়ী ভিন্ন, তাই এটি ডেভেলপার প্রতিক্রিয়া বিলম্ব সম্পর্কে প্রশ্ন করে, সমতুল্য কাজ নয়। হোস্ট-লোড গেট ব্যর্থ হয়েছে (লোড1 2.73–2.73, প্রয়োজন ≤ 1), তাই এগুলো এই রান-এর পর্যবেক্ষণ, পোর্টেবল সংখ্যা নয়। লেনগুলি আন্তঃমিশ্রিত হওয়ায়, অর্ডারিং আলাদাভাবে যোগ্যতা প্রাপ্ত।
কোন অর্ডারিংগুলি শব্দ পরীক্ষা টিকে থাকে
একটি অনুপাত হল র্যাঙ্কিং নয়। পার্গেট যে কোনো অর্ডারিং প্রত্যাখ্যান করে যার ফাঁক দুই বাহুর নিজস্ব বিস্তারের মধ্যে পড়ে, যত বড় অনুপাতই দেখাক, এবং খুব কম নমুনা সহ একটি হাত প্রত্যাখ্যান করে অথবা অত্যধিক শব্দ। এটি এখানে তার নিজস্ব ডিফল্ট নীতি অনুযায়ী চলে, অবিচলিত — একটি এই চালানোর জন্য থ্রেশহোল্ড শিথিল করা হলে এটি একটি বেঞ্চমার্ক পরিমাপ হবে তার নিজস্ব সীমা। কারণ লেনগুলি এক হোস্টে আন্তঃবিন্যস্ত, একটি ফাঁক যে এটি এই পরীক্ষা পাস করে সে হোস্ট ব্যস্ত থাকা সত্ত্বেও টিকে থাকে।
| আকার | তুলনা করা হয়েছে | Kotoba গুণ দ্রুত? | গ্যাপ বনাম সম্মিলিত বিস্তার | কেন নয়, যদি না হয় |
|---|---|---|---|---|
| K=1 | সি / ক্ল্যাং · নেটিভ হোস্ট | হ্যাঁ, যোগ্য | 17.1 মি.সেক বনাম 1.0 মি.সেক | — |
| K=1 | JVM / javac · JVM ক্লাস | হ্যাঁ, যোগ্য | 160.8 মি.সেক বনাম 5.4 মি.সেক | — |
| K=1 | রাস্ট / রাস্টসি · নেটিভ হোস্ট | হ্যাঁ, যোগ্য | 44.2 মি.সেক বনাম 0.6 মি.সেক | — |
| K=1 | রাস্ট / rustc · WebAssembly | হ্যাঁ, যোগ্য | 27.1 মি.সেক বনাম 0.5 মি.সেক | — |
| কে=32 | সি / ক্ল্যাং · নেটিভ হোস্ট | না | 5.3 মি.সেক. বনাম 1.0 মি.সেক. | সীমার নিচে উন্নতি |
| কে=32 | JVM / javac · JVM ক্লাস | হ্যাঁ, যোগ্য | 161.9 মি.সেক বনাম 1.2 মি.সেক | — |
| কে=32 | রাস্ট / রাস্টসি · নেটিভ হোস্ট | হ্যাঁ, যোগ্য | 26.7 মি.সেক বনাম 0.7 মি.সেক | — |
| কে=32 | রাস্ট / rustc · WebAssembly | হ্যাঁ, যোগ্য | 9.8 মি.সেক বনাম 0.6 মি.সেক | — |
| K=128 | সি / ক্ল্যাং · নেটিভ হোস্ট | না | 75.8 মি.সেক বনাম 1.2 মি.সেক | সীমার নিচে উন্নতি |
| K=128 | JVM / javac · JVM ক্লাস | হ্যাঁ, যোগ্য | 126.2 মি.সেক বনাম 2.2 মি.সেক | — |
| K=128 | রাস্ট / রাস্টসি · নেটিভ হোস্ট | না | 29.3 মি.সেক বনাম 1.4 মি.সেক | সীমার নিচে উন্নতি |
| K=128 | রাস্ট / rustc · WebAssembly | না | 45.8 মি.সেক বনাম 1.1 মি.সেক | সীমার নিচে উন্নতি |
সীমার নিচে উন্নতি মানে Kotoba লেনটি ঐ আকারে মোটেও দ্রুত ছিল না। সুবিধাটি বাস্তব এবং ঠান্ডা শুরুতে যোগ্য, এবং এটি C এর বিরুদ্ধে K=32 এবং রাষ্টের বিরুদ্ধে K=128 এ চলে গেছে। সেই ক্রসওভার ফলাফল, তাই এটি দেখানো হয়েছে, সংক্ষিপ্ত করা হয়নি।
দুটি ব্যর্থতা যা একই ব্যর্থতা নয়
এই চালনায় তিনটি Kotoba লেন কাজ করা বন্ধ করেছে, এবং সেগুলো একত্রে প্রকাশ করা হচ্ছে সারি ভুল হত। একটি ত্রুটি। অন্য দুটি ঘোষণা করা হয়েছে সীমাগুলি নির্দিষ্ট অনুযায়ী সঠিকভাবে প্রয়োগ করা হচ্ছে, এবং সেগুলিকে ত্রুটি হিসাবে রিপোর্ট করা হচ্ছে এর মানে হবে কম্পাইলারের পরিবর্তে সীমা পরিমাপ করা।
| পর্যবেক্ষণ | পড়া |
|---|---|
| রিলিজ করা kotoba CLI একটি মডিউল ইমিট করে যা 128 ফাংশনের উপরে কম্পাইল হবে না | একটি ত্রুটি, এবং হার্নেসের ভিতরে যাচাই করার কারণ। K=129 এ একটি কলকে ফাংশন সূচক 128 বহন করতে হয়, যা প্রথম মান যা দুইটি LEB128 বাইট প্রয়োজন, এবং ইমিটার একটি লেখে। বাইটগুলি বলে এটি একটি অনুপস্থিত এনকোডার নয় বরং একটি অব্যবহৃত: local.set 128 লেখা হয়েছে 80 01, এবং call 128 এক নির্দেশ পরে লেখা হয়েছে 80। ছাঁটাই করা অপারেন্ডের সংখ্যা ঠিক K থেকে 128 বিয়োগ। বর্তমান কম্পাইলারে এটি নেই — আমু K=129 সঠিকভাবে তৈরি করে, এবং সংশোধনটি তার ইমিটারের ডিফল্ট শাখায় ছিল এই রিলিজ ট্যাগ হওয়ার আগে থেকে। |
| প্রতিটি Kotoba লেন K=512 এ ফাঁদে পড়ে যখন ডিফল্ট সেটিংস দিয়ে তৈরি করা হয় | ত্রুটি নয়। একটি Kotoba মডিউল একটি ঘোষিত কল-ফুয়েল বাজেট বহন করে এবং কম্পাইলারের ডিফল্ট 512 কল, যা এই ওয়ার্কলোড K=512 এ অতিক্রম করে যেখানে এন্ট্রি পয়েন্ট 512 পাতা কল করে। হার্নেস স্পষ্টভাবে 1,048,576 ইউনিট ঘোষণা করে এবং তা রেকর্ড করে। C, রাস্ট এবং জাভার সমতুল্য সীমা নেই। |
| অ্যামু মডিউলটি সম্পূর্ণরূপে প্রত্যাখ্যান করে যখন এটি 1,024 এর বেশি ফাংশন ধারণ করবে | এটিও কোনো ত্রুটি নয়, এবং প্রথম সারির বিপরীত। max-functions একটি ঘোষিত স্বীকারোক্তি সীমা, তাই কম্পাইলার kotoba.error/subset-reject দিয়ে থামে এবং যা প্রত্যাখ্যান করেছে তা নাম দেয়, এমন কিছু ইমিট করে না যা লোড হবে না। একটি উচ্চ সিলিং এবং একটি নীরব সিলিং খুব ভিন্ন ফলাফল, এবং শুধুমাত্র একটি হার্নেস যা আর্টিফ্যাক্ট চালায় তাদের পার্থক্য করে। পরিমাপিত 2026-09-07: এটি পুরো প্রোগ্রামের সিলিং, একক মডিউলের নয় — max-project-functions ও 1,024 এবং লিঙ্ক করা প্রকল্পের বিরুদ্ধে পরীক্ষা করা হয়, তাই আজকের দিনে কোনো মডিউল বিন্যাস 2,048-ফাংশন প্রোগ্রাম কম্পাইল করে না। |
এটি যা প্রতিষ্ঠা করে
| প্রশ্ন | এই রান থেকে উত্তর |
|---|---|
| একটি ছোট মডিউলের ঠান্ডা Kotoba বিল্ড কত দ্রুত? | মুক্তিপ্রাপ্ত CLI 1 কে 11.753 মি.সেক প্রসেস-কোল্ডে তৈরি করে, আর্টিফ্যাক্ট চালানো হয় এবং উত্তর যাচাই করা হয় — এখানে পরিমাপ করা যেকোনো লেনের সবচেয়ে দ্রুত প্রথম ফলাফল। |
| মুক্তিপ্রাপ্ত বাইনারি কত বড় একটি মডিউল তৈরি করতে পারে? | 128 পর্যন্ত ফাংশন। এর বেশি হলে এটি ধীর নয়, এটি ভুল, এবং এই হার্নেস একটি দ্রুত লেনের পরিবর্তে একটি ব্যর্থ লেন হিসাবে রিপোর্ট করে। |
| উৎস বাড়ার সাথে বিল্ড সময় প্রতিযোগিতামূলক থাকে? | K=128 এর মাধ্যমে মুক্তিপ্রাপ্ত CLI উপরের টেবিলের রুস্ট এবং C এর সাথে পরিমাপ করা হয়েছে। সেই পয়েন্টের পর একমাত্র Kotoba কম্পাইলার যা এখনও সঠিক মডিউল ইমিট করে তা হল Amu, যা একটি মুক্তিপ্রাপ্ত বাইনারি হিসেবে নয় বরং nbb তে চলে, এবং প্রতিটি মাপের ক্ষেত্রে প্রায় এক অর্ডার ধীর — তাই বড় আকারে বিল্ড গতি বর্তমানে Kotoba শক্তি নয়, এবং এই পৃষ্ঠা অন্যথা দাবি করবে না। |
| একটি সোর্স কত বড় সম্পূর্ণভাবে তৈরি হয়েছে? | K=1023 Amu মাধ্যমে — 7163 লাইন Kotoba এর, আর্টিফ্যাক্ট চালানো হয়েছে এবং উত্তর যাচাই করা হয়েছে। এটি ঘোষিত 1,024 সিলিং থেকে একটি ফাংশন কম, এবং পরবর্তী আকারটি ভুলভাবে তৈরি হওয়ার পরিবর্তে প্রত্যাখ্যাত। |
| প্রসারিত কোড কি দ্রুত? | এখানে পরিধির বাইরে — এটি বিল্ডিং পরিমাপ করে, চালানো নয়। উপরের নেটিভ রানটাইম স্যুট সেই প্রশ্ন করে। |
সর্বনিম্ন সারি: সবচেয়ে ছোট আকারে মুক্তিপ্রাপ্ত বাইনারি এখানে প্রতিটি তুলনাকারীর চেয়ে দ্রুত, এমন একটি ব্যবধান যা শব্দ পরীক্ষায় টিকে থাকে, এবং এর কঠিন সঠিকতার সিলিং 128 ফাংশনে। সেই সিলিং ছাড়া কম্পাইলার প্রায় প্রতিটি আকারে এক অর্ডার ধাপে ধীর পরিমাপিত। উভয় তথ্য একই রান থেকে এসেছে, এবং যে হার্নেস তা খুঁজে পেয়েছে তা পাবলিক, তাই চালানো নিয়ে মতবিরোধ হতে পারে।
প্রতিটি নেটিভ ওয়ার্কলোড আসলে কতক্ষণ সময় নেয়
নিচের গ্রিড দুই বাহুর মধ্যে মার্জিন রিপোর্ট করে। সেটি সংখ্যা perfgate নিয়ম চালু, কিন্তু একটি শতাংশ নিজেই বলে না যে একটি ওয়ার্কলোড পাঁচ মিলিসেকেন্ড বা পাঁচশো মিলিসেকেন্ডে চলে, এবং এটি লুকায় একটি বিতর্কিত জোড়া এবং একটি অপ্রাসঙ্গিক জোড়ার মধ্যে পার্থক্য। এই প্যানেলগুলি মধ্যম মানগুলি যেখান থেকে সেই মার্জিনগুলি গণনা করা হয়। আমু নেটিভ হল রঙিন লেন প্রতিটি প্যানেলে — এমনকি যেখানে এটি প্রথম নয়। প্রতিটি প্যানেল নিজের সবচেয়ে ধীর আর্মে স্কেল করা হয়েছে, কারণ একটি প্যানেল যে প্রশ্নের উত্তর দেয় তা হল কে সেই ওয়ার্কলোডে দ্রুত।
সংকীর্ণ অ্যারিথমেটিক
বিস্তৃত রেজিস্টার চাপ
গভীর স্পিল চাপ
কল সংরক্ষণ
ব্রাঞ্চ + কল কন্ট্রোল ফ্লো
লুপ কল ব্যাক এজ
মধ্যম মিলিসেকেন্ড 5 হোস্ট-যোগ্য রানগুলোর উপর; কম সময় দ্রুত। প্রতিটি আর্ম একই স্বাধীনভাবে যাচাইকৃত উত্তর প্রদান করেছে, এবং প্রার্থী মধ্যম মান একটি মান প্রতি ওয়ার্কলোড — স্যুট প্রতিটি ইঞ্জিন জোড়া ABBA/BAAB ক্রমে ঘোরায়, তাই একই আমু আর্টিফ্যাক্ট প্রতি ওয়ার্কলোড একবার সময় নেওয়া হয় এবং তারপর প্রতিটি আর্মের সাথে তুলনা করা হয়। এই পৃষ্ঠার অন্য চারটি বেঞ্চমার্কের বিপরীতে, এইটির শান্ত-হোস্ট গেট পাস করেছে (যোগ্য-হোস্ট-লোড), তাই এগুলো এই হোস্টের জন্য সংখ্যা, শুধুমাত্র পর্যবেক্ষণ নয়। সীমাবদ্ধ দ্রুততম দাবি এখনও সব 30 জোড়া প্রয়োজন, যা নিচের গ্রিডের জন্য।
প্রতিটি রানটাইম জোড়া, জয় বা পরাজয়
সীমাবদ্ধ দাবি সব বা কিছু নয়, তাই একটি একক অযোগ্য জোড়া এটিকে মিথ্যা করে। শুধুমাত্র সেই রায় প্রকাশ করলে কোন জোড়া বিতর্কিত তা লুকিয়ে যাবে, তাই পুরো গ্রিড এখানে। একটি সেল হল ঐ তুলনাকারীর উপর আমু নেটিভের গড় উন্নতি সেই ওয়ার্কলোডে; ধনাত্মক মানে Amu দ্রুত, এবং একটি চেক মার্ক জোড়াগুলিকে চিহ্নিত করে যা পরিষ্কার পার্ফগেট — অন্তত 5% এবং বাহুদের নিজস্ব বিস্তৃতি থেকে পৃথক।
| ওয়ার্কলোড | রাস্ট | ক্ল্যাং / C11 | জিগ | গো c-shared | সুইফট |
|---|---|---|---|---|---|
| সংকীর্ণ অ্যারিথমেটিক | +0.4% | -0.6% | +20.1% | +84.7% | -0.6% |
| বিস্তৃত রেজিস্টার চাপ | +6.5% | +10.9% | +16.9% | +86.0% | +87.1% |
| গভীর স্পিল চাপ | +4.2% | +9.3% | +5.1% | +82.2% | +92.6% |
| কল সংরক্ষণ | -1.0% | -0.3% | +42.9% | +85.2% | +29.6% |
| ব্রাঞ্চ + কল কন্ট্রোল ফ্লো | -2.6% | -7.1% | +43.8% | +85.2% | +25.1% |
| লুপ কল ব্যাক এজ | +0.8% | -0.1% | +32.4% | +17.2% | +24.8% |
প্রতিটি সেল একটি কেন্দ্র রেখা থেকে বেড়ে ওঠা বার: এর ডানদিকে আমু নেটিভ দ্রুত, বামদিকে ধীর। দুইটি দিক আলাদাভাবে স্কেল করা হয়েছে — জয় +93% পর্যন্ত চলে এবং পরাজয় শুধুমাত্র −7% পর্যন্ত, তাই একটি ভাগ করা স্কেল প্রতিটি বিতর্কিত জোড়াকে একই অদৃশ্য ফালি করে দেবে। চিহ্ন রেখার পাশে এবং স্বাক্ষরিত সংখ্যার মাধ্যমে বহন করা হয়, তাই এই গ্রিডের কোনো পঠন দুই রঙ আলাদা করার উপর নির্ভর করে না।
19 এর 30 জোড়া যোগ্য (মধ্যম 5; প্রতিটি রান 19) · প্রার্থী 42f092ea5b61 · অ্যাপল M4, 10 লজিক্যাল CPU, 16 GiB
প্রকাশিত রান পর অপ্টিমাইজেশন সরবরাহ
উপরের তারিখযুক্ত বেঞ্চমার্ক অপরিবর্তনীয় থাকে। নতুন বাস্তবায়ন স্লাইসগুলি আলাদাভাবে তালিকাভুক্ত করা হয় যতক্ষণ না একই আর্টিফ্যাক্ট স্যুট পুনরায় চালানো হয় এবং এর যোগ্যতা গেট পাস করে।
| সারফেস | সরবরাহিত | প্রমাণ সীমানা |
|---|---|---|
| নেটিভ ভেক্টর / বরাদ্দ | সীমাবদ্ধ অপ্রস্থান ভেক্টর লিটারালগুলি x86-64 এবং AArch64 তে পালানোর প্রমাণিত এবং স্কেলার-প্রতিস্থাপিত। | 211 ব্যাকএন্ড পরীক্ষা / 2,442 দাবিসমূহ; পালানোর ভেক্টরগুলি পরীক্ষিত হোস্ট ABI ধরে রাখে। এখনও নতুন র্যাঙ্কড টাইমিং নেই। |
| স্ট্রিং SIMD | POSIX যাচাইকৃত সমতা স্পষ্ট 16-বাইট NEON বা SSE2 তুলনা ব্যবহার করে হ্যান্ডেল এবং ক্যানোনিকাল UTF-8 যাচাইকরণের পরে। | অপ্টিমাইজড অ্যাসেম্বলি এবং উভয় স্থানীয় ISA সেমান্টিক ভেক্টর যাচাই করা হয়েছে। উইন্ডোজ আলাদাভাবে পিন করা আছে; বিলম্ব র্যাঙ্ক অপেক্ষমাণ। |
| অ্যাসিঙ্ক ই/ও সক্ষমতা | মূল সীমাবদ্ধ চূড়ান্ত পড়া/লেখা/তালিকা/অস্তিত্ব/মুছে ফেলা JVM এ CompletableFuture এবং Node এ fs.promises ব্যবহার করে। | JVM এবং Node রিয়েল-ফাইলসিস্টেম টেস্ট পাস করেছে। পাবলিক স্ট্যান্ডঅ্যালোন ওয়াসম বেঞ্চমার্ক এখনও কোন অনুমোদিত হোস্ট বাঁধন নেই, তাই এর I/O সেল এখনও প্রযোজ্য নয়। |
| গঠনমূলক সমান্তরালতা | একটি সীমাবদ্ধ 32-চাইল্ড ফেইল-ফাস্ট স্কোপ যোগ দেয়, সহোদর বাতিল করে, এবং canonical Kotoba অবস্থার মতো চাইল্ড লাইফটাইম পালানো প্রতিরোধ করে। | 996 সমতা দাবি .kotoba কর্তৃপক্ষ এবং CLJC লোড পাথে। এটি গঠনমূলক জীবনকাল সেমান্টিক্স, OS-থ্রেড থ্রুপুট ফলাফল নয়। |
| Kotoba CLI | কোটোবা টেস্ট/বিল্ড নতুন কম্পাইলার পিন ব্যবহার করে; কোটোবা কম্পাইল সিল করা x86-64 এবং AArch64 KEXE সরাসরি ইমিট করে। | পাবলিক CLI লাইফসাইকেল এবং AArch64 ভেক্টর আর্টিফ্যাক্ট যাচাই করা হয়েছে। নেটিভ --run প্রত্যাখ্যাত থাকে যতক্ষণ না একটি পরিমাপকৃত লোডার রসিদ সংযুক্ত হয়। |
কম্পাইলার স্টার্টআপ, চারটি টুলচেইন
একটি ছোট উৎসের জন্য প্রক্রিয়া-ঠান্ডা ওয়াল টাইম, মিলিসেকেন্ডে; কম সময় দ্রুত। অ্যাপল M4-তে প্রতিটি টুলচেইনে 21 ঘূর্ণায়মান নমুনা। হোস্ট-লোড গেট এই রান-এ ব্যর্থ হয়েছে, তাই এগুলো একটি মেশিনের পর্যবেক্ষণ, র্যাঙ্কিং নয়।
| টুলচেইন | আউটপুট | মধ্যম | p95 | আপেক্ষিক অতিবাহিত সময় |
|---|---|---|---|---|
| Kotoba | WebAssembly | 40.998 ms | 240.415 ms | 1× Kotoba |
| রাস্ট / rustc | WebAssembly | 126.422 ms | 770.495 ms | 3.084× Kotoba |
| সি / ক্ল্যাং | WebAssembly | 146.324 ms | 498.618 ms | 3.569× Kotoba |
| জেভিএম / জাভাক | JVM ক্লাস | 961.248 ms | 2223.49 ms | 23.446× Kotoba |
কোটোবা 0.7.3 · রাস্টসি 1.97.1 · হোমব্রু ক্ল্যাং সংস্করণ 22.1.7 · জাভাক 24.0.2। Kotoba, রাস্ট এবং সি ওয়াসম তৈরি করে; জাভাক একটি ক্লাস ফাইল তৈরি করে। বিভিন্ন লক্ষ্য এবং কম্পাইলার কাজ এটিকে একটি স্টার্টআপ পর্যবেক্ষণ করে, সার্বজনীন র্যাঙ্কিং নয়। রেকর্ড করা হোস্ট-লোড গেট ব্যর্থ হয়েছে, তাই টেবিলটি যোগ্য গতি র্যাঙ্ক নয়।
| টুলচেইন / লক্ষ্য | সমাধান করুন | পরীক্ষা করুন | পরিষ্কার বিল্ড | কোনো পরিবর্তন ছাড়া বিল্ড | শুরু + নির্বাহ | পরিষ্কার বিল্ড + প্রথম ফলাফল |
|---|---|---|---|---|---|---|
| Kotoba · WebAssembly | প্রযোজ্য নয় | 231.75 ms | 62.906 ms | 42.332 ms | 57.253 ms | 142.644 ms |
| রাস্ট / কার্গো · arm64 macOS নেটিভ | 138.018 ms | 71.208 ms | 896.478 ms | 67.764 ms | 371.522 ms | 1299.171 ms |
| C / ক্ল্যাং · arm64 macOS নেটিভ | প্রযোজ্য নয় | 90.446 ms | 121.838 ms | 77.905 ms | 327.741 ms | 453.685 ms |
| Zig · WebAssembly | প্রযোজ্য নয় | 387.713 ms | 648.665 ms | 464.795 ms | 67.523 ms | 728.007 ms |
| TinyGo · arm64 macOS নেটিভ | প্রযোজ্য নয় | প্রযোজ্য নয় | 1059.624 ms | 395.305 ms | 203.169 ms | 1269.918 ms |
| গো · arm64 ম্যাকওএস নেটিভ | 43.553 ms | 6979.823 ms | 3499.277 ms | 150.902 ms | 247.051 ms | 3755.431 ms |
| সুইফট / সুইফটপিএম · arm64 ম্যাকওএস নেটিভ | 1017.252 ms | 427.372 ms | 3695.557 ms | 1259.829 ms | 431.84 ms | 4016.271 ms |
| JVM / javac · JVM ক্লাস | প্রযোজ্য নয় | প্রযোজ্য নয় | 805.822 ms | 739.957 ms | 76.252 ms | 882.074 ms |
| AssemblyScript · WebAssembly | প্রযোজ্য নয় | 1074.197 ms | 895.187 ms | 1090.658 ms | 64.658 ms | 954.878 ms |
| .NET IL · .NET IL | 2309.472 ms | প্রযোজ্য নয় | 4750.407 ms | 2141.103 ms | 79.248 ms | 4851.792 ms |
| .NET নেটিভ AOT · arm64 macOS নেটিভ AOT | 2236.962 ms | প্রযোজ্য নয় | 11995.489 ms | 2707.907 ms | 375.7 ms | 12391.54 ms |
প্রতিটি ইমিট করা আর্টিফ্যাক্ট একটি নতুন প্রক্রিয়ায় 42 উৎপন্ন করেছে। লক্ষ্য এবং রানটাইম চুক্তি ভিন্ন; প্রযোজ্য নয় কখনো শূন্য নয়। হোস্ট-লোড গেট ব্যর্থ হয়েছে, তাই এগুলি পুনরুত্পাদনযোগ্য পর্যবেক্ষণ, ভাষা-অতিক্রম গতি র্যাঙ্কিং নয়।
ছয়টি ডোমেইন, পাশাপাশি
প্রতিটি প্যানেল তার নিজস্ব সবচেয়ে ধীর লেনে স্কেল করা হয়, কারণ একটি প্যানেলের প্রশ্ন উত্তর হল ওই ডোমেইনে কে দ্রুত, ডোমেইনগুলো একে অপরের সাথে কিভাবে তুলনা করে তা নয় অন্যান্য। Kotoba এর লেন প্রতিটি প্যানেলে রঙিন — সহ প্যানেল যেখানে এটি শেষ। এর স্বতন্ত্র ওয়াসম আর্টিফ্যাক্ট একটি নোডের মাধ্যমে চলে হোস্ট এবং প্রতিটি প্রসেস-ঠান্ডা নমুনায় সেই স্টার্টআপ প্রদান করে, যখন Rust, C এবং Go স্থানীয় বাইনারি হিসাবে চালান; যেখানে লক্ষ্য পরিবেশগত ফাইলসিস্টেম বা থ্রেড নেই চুক্তি না থাকলে, লেন অনুপস্থিত থাকে শূন্যের পরিবর্তে।
স্ট্রিং
সংগ্রহ
বণ্টন
ই/ও
সমান্তরালতা
বাস্তব অ্যাপ্লিকেশন
মিলিসেকেন্ডে প্রসেস-কোল্ড মধ্যমা; কম সময় দ্রুত। হোস্ট-লোড গেট এই রানটিতে ব্যর্থ হয়েছে, তাই এই প্যানেলগুলি পর্যবেক্ষণ, র্যাঙ্কিং নয়, এবং নিচের গড়িত লেন আবার একটি ভিন্ন গল্প বলে।
| রানটাইম পথ | স্ট্রিং | সংগ্রহ | বণ্টন | ফাইল I/O | সমান্তরালতা | বাস্তব অ্যাপ |
|---|---|---|---|---|---|---|
| Kotoba / ওয়াসম + টাইপড জেএস হোস্ট | 30.539 ms | 29.98 ms | 29.567 ms | প্রযোজ্য নয় | প্রযোজ্য নয় | 29.652 ms |
| রাস্ট | 1.907 ms | 1.92 ms | 1.943 ms | 2.686 ms | 3.328 ms | 2.047 ms |
| সি / ক্ল্যাং | 1.463 ms | 1.357 ms | 1.353 ms | 2.539 ms | 2.916 ms | 1.294 ms |
| যাও | 1.974 ms | 1.852 ms | 1.962 ms | 6.577 ms | 3.377 ms | 1.964 ms |
| JVM / জাভা | 27.819 ms | 31.42 ms | 26.447 ms | 38.685 ms | 34.828 ms | 26.411 ms |
| জাভাস্ক্রিপ্ট / নোড.জেএস | 31.628 ms | 31.818 ms | 31.055 ms | 94.124 ms | 55.105 ms | 29.534 ms |
প্রতিটি নমুনা সঠিক রেফারেন্স চেকসাম ফেরত দিয়েছে। Kotoba তার ইমিট করা Wasm এবং ঘোষিত টাইপড ABI ব্যবহার করে; এর স্ট্যান্ডঅ্যালোন টার্গেটে কোন পরিবেশগত ফাইলসিস্টেম বা থ্রেড চুক্তি নেই, তাই সেই সেলগুলি N/A হিসেবে বিবেচিত। রেকর্ড করা হোস্ট-লোড গেট ব্যর্থ হয়েছে, তাই মধ্যম মান পর্যবেক্ষণ, র্যাঙ্কিং নয়।
| রানটাইম পথ | স্ট্রিং | সংগ্রহ | বণ্টন | ফাইল I/O | সমান্তরালতা | বাস্তব অ্যাপ |
|---|---|---|---|---|---|---|
| Kotoba / ওয়াসম + টাইপড জেএস হোস্ট | 0.351 ms | 0.039 ms | 0.066 ms | প্রযোজ্য নয় | প্রযোজ্য নয় | 0.048 ms |
| রাস্ট | 0.028 ms | 0.002 ms | 0.003 ms | 1.217 ms | 1.456 ms | 0.002 ms |
| সি / ক্ল্যাং | 0.02 ms | 0.001 ms | 0.003 ms | 1.61 ms | 1.558 ms | 0.001 ms |
| যাও | 0.023 ms | 0.002 ms | 0.004 ms | 5.071 ms | 1.582 ms | 0.002 ms |
| JVM / জাভা | 0.433 ms | 0.051 ms | 0.064 ms | 17.175 ms | 5.589 ms | 0.043 ms |
| জাভাস্ক্রিপ্ট / নোড.জেএস | 0.336 ms | 0.033 ms | 0.067 ms | 68.507 ms | 7.771 ms | 0.032 ms |
প্রতিটি বড় ইন-প্রসেস ব্যাচ তার ঘোষিত ওয়ার্কলোড গুণকের দ্বারা বিভক্ত। এটি স্টার্টআপ কমায় কিন্তু সম্পূর্ণ প্রক্রিয়া, VM, বা Wasm ইনস্ট্যান্টিয়েশন খরচ সরায় না, তাই এটি নিখুঁত গরম steady-state ফলাফল হিসেবে লেবেল করা হয় না। Kotoba এর বিশুদ্ধ inc/dec ম্যাপ চেইনগুলি মধ্যবর্তী ভেক্টর ছাড়া রিডিউসে ফিউজ করা হয়েছে; প্রমাণিত উপসেটের বাইরে কলব্যাকগুলি আগ্রহী ম্যাটেরিয়ালাইজেশন বজায় রাখে।
| প্রশ্ন | তুলনামূলক বাস্তবায়ন | বর্তমান সিদ্ধান্ত |
|---|---|---|
| ছোট Wasm কম্পাইল + চালনা | Kotoba, রাস্ট, C, এবং JVM টুলচেইন | উপরোক্ত চারটি প্রক্রিয়া-ঠান্ডা মধ্যম প্রকাশিত হয়েছে; শুধুমাত্র Kotoba/Rust/C Wasm লক্ষ্য ভাগ করে, এবং কোন সাধারণ বিল্ড-গতি র্যাঙ্ক দাবি করা হয়নি |
| ছোট প্রকল্প ডেভেলপার লুপ | Kotoba, Rust, C, Zig, TinyGo, Go, Swift, JVM, AssemblyScript, .NET IL, এবং .NET Native AOT | প্রতিটি উপলব্ধ স্টেজে সাতটি নমুনা প্রকাশিত; লক্ষ্য পার্থক্য এবং ব্যর্থ হোস্ট-লোড গেট একটি সার্বজনীন র্যাঙ্কিং নিষিদ্ধ করে |
| নেটিভ স্থির-অবস্থা কার্যকরী | আমু নেটিভ বনাম রাস্ট, ক্ল্যাং / C11, জিগ, গো সি-শেয়ার্ড, সুইফট | সমস্ত 30 অর্থগত তুলনা সেল সম্পূর্ণ; গতি র্যাঙ্ক সংরক্ষিত কারণ শান্ত-হোস্ট গেট ব্যর্থ হয়েছে |
| স্ট্রিং, সংগ্রহ, বরাদ্দ, ই/ও, সমান্তরালতা, এবং বাস্তব অ্যাপ | Kotoba, রাষ্ট, সি, গো, JVM, এবং জাভাস্ক্রিপ্ট রানটাইম পথ | সঠিক চেকসাম এবং প্রক্রিয়া-ঠান্ডা সহ অ্যামরটাইজড নমুনা প্রকাশিত; স্বতন্ত্র Kotoba I/O এবং থ্রেডস প্রযোজ্য নয়, যখন এর বিশুদ্ধ অনুরোধ-স্বীকৃতি অ্যাপ্লিকেশন পরিমাপিত; ব্যর্থ লোড গেট র্যাঙ্কিং আটকে রাখে |
নেটিভ সুইট যা কভার করে
প্রতিটি বাস্তবায়ন স্বাধীনভাবে যাচাইকৃত পরিচিত উত্তর প্রদান করে। স্যুটটি ABBA/BAAB ক্রমে প্রতিটি ইঞ্জিন জোড়া ঘুরায় এবং লোডিং, ম্যাপিং, এবং সিম্বল লুকআপের পরে পরিমাপ করে।
| ওয়ার্কলোড | এটি কি জোর দেয় | প্রমাণের অবস্থা |
|---|---|---|
| সংকীর্ণ অ্যারিথমেটিক | সঠিক ফলাফল যাচাইকৃত; সময় নির্ধারণ অযোগ্য | |
| বিস্তৃত রেজিস্টার চাপ | সঠিক ফলাফল যাচাইকৃত; সময় নির্ধারণ অযোগ্য | |
| গভীর স্পিল চাপ | সঠিক ফলাফল যাচাইকৃত; সময় নির্ধারণ অযোগ্য | |
| কল সংরক্ষণ | সঠিক ফলাফল যাচাইকৃত; সময় নির্ধারণ অযোগ্য | |
| ব্রাঞ্চ + কল কন্ট্রোল ফ্লো | সঠিক ফলাফল যাচাইকৃত; সময় নির্ধারণ অযোগ্য | |
| লুপ কল ব্যাক এজ | সঠিক ফলাফল যাচাইকৃত; সময় নির্ধারণ অযোগ্য |
প্রতিটি বেঞ্চমার্ক কোথায় থাকে
উপরের প্রতিটি সংখ্যা একটি পাবলিক হার্নেস এবং একটি প্রতিশ্রুতিবদ্ধ রিপোর্ট থেকে আসে, তাই একটি রান পুনরাবৃত্তি করা যেতে পারে এবং একটি দাবি অস্বীকার করা যেতে পারে। ইন-রেপো পাথগুলি এই টেবিলটি কাজের গাছের বিরুদ্ধে যাচাই করা হয় যখন এই পৃষ্ঠা তৈরি হয়: একটি হার্নেস যা বিল্ড ব্যর্থ হলে ডেড লিঙ্ক পাঠানোর পরিবর্তে ব্যর্থ করে।
এই পৃষ্ঠার প্রতিটি অর্ডারিং গেটটি যা দিয়ে পরীক্ষা করা হয় তা হল kotoba-lang/perfgate, তার নিজস্ব অবিচলিত ডিফল্ট নীতি অনুসারে চালানো হয়। একটি থ্রেশহোল্ড শিথিল করা হয়েছে যাতে একটি চালানো হবে একটি বেঞ্চমার্ক যা তার নিজস্ব সীমা পরিমাপ করবে।
সর্বনিম্ন সারি: আর্টিফ্যাক্ট, সঠিক ফলাফল এবং নমুনাগুলি সব পাঁচটি বেঞ্চমার্কে বাস্তব। তাদের মধ্যে তিনটি — কম্পাইলার স্টার্টআপ, ডেভেলপার লুপ এবং ওয়ার্কলোড ডোমেইন — তাদের শান্ত-হোস্ট গেট ফেল করেছে, তাই তারা কিছু র্যাঙ্ক করে না এবং পর্যবেক্ষণ হিসাবে প্রকাশিত। নেটিভ রানটাইম স্যুট তার গেট পাস করেছে এবং 19 এর মধ্যে 30 জোড়া জিতে, প্রতিটি জোড়ার দাবি ছাড়া যা প্রয়োজন। বিল্ড স্কেলিং তার ঠান্ডা-স্টার্ট ক্রম প্রতিটি তুলনাকারীর বিরুদ্ধে যোগ্য করে এবং একই রান-এ সঠিকতার সিলিং খুঁজে পায়। এই পৃষ্ঠায় কোথাও একটি সার্বজনীন গতি র্যাঙ্ক দাবি করা হয়নি, এবং এই রানগুলির কোনোটিই তা লাইসেন্স দেয় না।
তাদের সীমানা সংযুক্ত দাবিসমূহ
এই দাবিগুলি থেকে তৈরি হয়েছে lang/safety-claims.edn. প্রতিটি তার বিশ্বাসযোগ্য কম্পিউটিং বেস এবং অবশিষ্ট ঝুঁকি দৃশ্যমান রাখে, কারণ একটি সুরক্ষা স্লোগান সীমা ছাড়া কেবল বিপণন।
অনুমোদিত উপাদানগুলি রানটাইম/নেটিভ মেমরি এবং উপাদান মেমরি অপারেশনগুলি সীমাবদ্ধ বা ফাঁদে পড়তে পারে না।
বিশ্বাসযোগ্য কম্পিউটিং বেস
সীমাবদ্ধ রিডার · ফ্রন্টএন্ড অনুমোদন · আর্টিফ্যাক্ট যাচাইকরণ · ওয়াসম/নেটিভ রানটাইম
অবশিষ্ট ঝুঁকি
- রানটাইম-ইঞ্জিন দুর্বলতাগুলি TCB-তে রয়ে গেছে
- স্থানীয় লোডারদের জন্য দ্বিতীয় OS বিচ্ছিন্নতা সীমানা প্রয়োজন
প্রতিটি ট্রানজিটিভ উপাদান প্রভাব প্রকাশ এবং অনুমোদিত হয় ইমিশনের আগে, Kotoba-লিখিত প্রদানকারীদের ব্যবহৃত প্রভাব সহ।
বিশ্বাসযোগ্য কম্পিউটিং বেস
প্রভাব অনুমান · সক্ষমতা ক্যাটালগ · ফ্রন্টএন্ড কল গ্রাফ
অবশিষ্ট ঝুঁকি
- kotoba এবং কম্পাইলার ব্যাকরণ/প্রভাবের সামঞ্জস্য ক্রমাগত তুলনা করতে হবে
একটি অননুমোদিত সক্ষমতা অনুপস্থিত বা বাঁধা নয় এবং এটি প্রদানকারী বা নেটিভ হ্যান্ডলারে পৌঁছাতে পারে না।
বিশ্বাসযোগ্য কম্পিউটিং বেস
নীতির ছেদ · কম্পাইলার আমদানি ইমিশন · টেন্ডার আমদানি বাইন্ডিং · হোস্ট গার্ড
অবশিষ্ট ঝুঁকি
- প্রোভাইডার এবং নেটিভ বাস্তবায়ন স্বাধীনভাবে সম্পদ পরিধি যাচাই করতে হবে
- প্রোডাকশন কার্যকর অনুমতিগুলো ওয়াইল্ডকার্ড স্কোপ নিষিদ্ধ করতে হবে
একই স্বীকৃত উৎস, লক্ষ্য, নীতি এবং লক একই পর্যবেক্ষণযোগ্য বিশুদ্ধ ফলাফল এবং আর্টিফ্যাক্ট বাইট তৈরি করে।
বিশ্বাসযোগ্য কম্পিউটিং বেস
ক্যানোনিক্যাল রিডার · ডিটারমিনিস্টিক লোয়ারিং · পিন্ড টুলচেইন
অবশিষ্ট ঝুঁকি
- হোস্ট প্রভাবগুলি শুধুমাত্র তখনই নির্ধারিত যখন তাদের সক্ষমতা চুক্তিতে তা বলা থাকে
উৎস, প্রবেশ, কার্যকরী, মেমরি এবং আউটপুট স্পষ্ট সসীম সীমাবদ্ধতা ব্যবহার করে।
বিশ্বাসযোগ্য কম্পিউটিং বেস
ভর্তি সীমা · ফুয়েল মিটার · রানটাইম কোটা · সুপারভাইজার টাইমআউট
অবশিষ্ট ঝুঁকি
- প্ল্যাটফর্ম সুপারভাইজারদের এখনও সমান উৎপাদন আইসোলেশন প্রমাণ নেই
মুক্তি প্রবেশপথ আর্টিফ্যাক্ট পরিচয়, বিশ্বাসযোগ্য স্বাক্ষরকারী, বৈধতা এবং পুনরুত্পাদনযোগ্য প্রমাণ বেঁধে দেয়।
বিশ্বাসযোগ্য কম্পিউটিং বেস
স্বাক্ষর যাচাইকরণকারী · বিশ্বাসযোগ্য স্বাক্ষরকারী কনফিগারেশন · ঘড়ি · প্রত্যাহার সেট
অবশিষ্ট ঝুঁকি
- কী কাস্টডি এবং বাহ্যিক প্রত্যাহার বিতরণ কার্যকরী TCB হিসেবে থাকে
একটি ভাগ করা পোর্টেবল উপাদান যোগ্য ব্যাকএন্ড জুড়ে সমান গ্রহণযোগ্যতা, ফলাফল এবং প্রভাব ট্রেস রাখে।
বিশ্বাসযোগ্য কম্পিউটিং বেস
শেয়ার্ড সম্মতি ম্যানিফেস্ট · ব্যাকএন্ড অ্যাডাপ্টার · তুলনা রানার
অবশিষ্ট ঝুঁকি
- শুধুমাত্র কম্পাইলার বৈশিষ্ট্য পোর্টেবল নয় এবং পোর্টেবল প্রোফাইল দ্বারা প্রত্যাখ্যাত হতে হবে
একটি উপাদান আমদানি তার প্রদানকারী বা স্থানীয় হ্যান্ডলারে পৌঁছায় কেবল একটি নির্দিষ্ট পোস্ট-ছেদ সম্পদ পরিসরের সাথে এবং একটি রসিদ ইমিট করে।
বিশ্বাসযোগ্য কম্পিউটিং বেস
ক্ষমতা ছেদ · হোস্ট গার্ড · প্রদানকারী হ্যান্ডলার · রসিদ সিঙ্ক
অবশিষ্ট ঝুঁকি
- প্রদানকারী-নির্দিষ্ট পথ, রিডাইরেক্ট, সিমলিঙ্ক এবং টেন্যান্ট চেকের জন্য Q5 কিট প্রয়োজন
যোগ্যতা Q1, হিসাবে 2026-07-18.
রিলিজ বাঁধা
একটি ভাষা প্রোফাইল এবং একটি ইমপ্লিমেন্টেশন রিলিজ আলাদা থাকে যতক্ষণ না একটি স্বাক্ষরিত এনভেলপ তাদের যুক্ত করে।
প্রোফাইল 6
প্যাকেজ চুক্তি 1
v0.7.0
প্রোফাইল বেঁধে দেওয়া: যাচাই করা হয়েছে
মুক্তি হয়েছে
:docs/release-bound-profile
Kotoba v0.7.0 darwin-arm64 এর জন্য পাবলিক ইমপ্লিমেন্টেশন যা ভাষা প্রোফাইল 6 এবং প্যাকেজ চুক্তি 1 এর সাথে বাঁধা। এর স্বাক্ষরিত এনভেলপ সোর্স ট্রি, আর্টিফ্যাক্ট ডাইজেস্ট, এবং 536-টেস্ট / 8,580-অ্যাসারশন সম্মতি ফলাফল যাচাই করে। অন্যান্য প্ল্যাটফর্মগুলি এখনও বাঁধা নেই।
উৎপন্ন রিলিজ প্রমাণ পড়ুনষাট সেকেন্ডে শুরু করুন
ইনস্টল এবং স্ব-পরীক্ষা
brew tap kotoba-lang/kotoba
brew trust kotoba-lang/kotoba
brew install kotoba
kotoba selfhost check --jsonএকটি শূন্য সমস্যা তালিকা সহ একটি বৈধ প্রতিক্রিয়া গ্রহণ করুন।
একটি প্রথম প্রোগ্রাম
(defn main []
(+ 40 2))এই প্রোগ্রাম কোনো হোস্ট ইম্পোর্ট অনুরোধ করে না; ইমিট করা মডিউলে কোনো ইম্পোর্ট নেই।
শিখুন, চেষ্টা করুন, তারপর গভীরে যান
প্রথম প্রোগ্রাম থেকে ভাষা চুক্তি, লাইব্রেরি, প্রমাণ এবং মোতায়েন পৃষ্ঠতল পর্যন্ত সংযুক্ত পথ।
উদ্দেশ্য অনুযায়ী ডকুমেন্টস
ইনস্টলেশন দিয়ে শুরু করুন, অনুমোদিত ভাষা শিখুন, অথবা নিয়মিত সেমান্টিক্স এবং সম্মতি ডেটা পরিদর্শন করুন।
খোলা ডকুমেন্টেশন মানচিত্রএকটি উৎস, একটি উত্তর
নীচের উদাহরণটি ব্রাউজার ডেমোতে সঠিক উৎস যা কম্পাইল করা হয়েছে—জাভাস্ক্রিপ্ট পুনঃবাস্তবায়ন নয়।
নমুনাটি পড়ুনএই পৃষ্ঠায় কার্যকর করুন
একই উৎস, ডাইজেস্ট-বাউন্ড WebAssembly আর্টিফ্যাক্ট লোড করুন এবং এর রপ্তানিকৃত Kotoba প্রধান ফাংশন কল করুন।
ওপেন প্লেলাইব্রেরি এবং চুক্তি
সীমাবদ্ধ কোর নাম, মৌলিক লাইব্রেরি, প্যাকেজ নিয়ম এবং তাদের বর্তমান পরিপক্কতা সীমানা ব্রাউজ করুন।
লাইব্রেরি ব্রাউজ করুনএকটি ছোট Kotoba প্রোগ্রাম, বাস্তবে চলছে
আমু এই বিশুদ্ধ Kotoba সোর্স wasm32-ব্রাউজার প্রোফাইলে কম্পাইল করে। পরীক্ষা করা আর্টিফ্যাক্টে কোনো ইম্পোর্ট নেই এবং এটি 42 ফেরত দেয়।
;; W1 pure representative: ordinary Clojure-shaped values/functions only.
(ns examples.w1-pure)
(defn double [n]
(+ n n))
(defn main []
(double 21))
কর্তৃত্ব হাইলাইট: kotoba-lang/grammar → kotoba.grammar.highlight/tokenize → বিল্ড-টাইম HTML। সম্পাদক পরিধি চুক্তি: source.kotoba. ব্রাউজার হাইলাইটার নির্ভরতা: নেই। নির্ভরশীলতা পরিদর্শন করুন
স্থানীয়ভাবে কম্পাইল করুন: kotoba compile double-21.kotoba --target wasm32-browser --output double-21.wasm
যাচাই করা আর্টিফ্যাক্ট চালান
ব্রাউজার 344 বাইট ফেচ করে, SHA-256 যাচাই করে, প্রতিটি ইম্পোর্ট প্রত্যাখ্যান করে, মডিউল ইনস্ট্যানশিয়েট করে, এবং main() কল করে।
প্রত্যাশিত ফলাফল:
42
প্রস্তুত। এখনও কোনো কোড চালানো হয়নি।
এটি একটি পূর্ব-কম্পাইল করা, অপরিবর্তনীয় উদাহরণ চালায়। ব্রাউজারে ইচ্ছামত সোর্স সম্পাদনা এখনও একটি চালু কম্পাইলার পৃষ্ঠা নয়।
ইন্টারেক্টিভ ডেমো: solar-helix (অতিথি-চালিত WebGPU রেন্ডার) · kami-survivors (একটি .kotoba গেম) · gpu-clear (WebGPU ধোঁয়া). wasm-webcomponent GitHub পেজ সারফেসে হোস্ট করা; প্রাপ্যতা প্রতি-ব্রাউজার WebGPU/WebAssembly সমর্থনের উপর নির্ভরশীল।
লাইব্রেরিগুলি, প্যাকেজ সীমানা লুকানো ছাড়াই
Kotoba লাইব্রেরিগুলি কন্টেন্ট-অ্যাড্রেসড গ্রাফ। নাম এবং GitHub রিপোজিটরি মানুষকে সেগুলি আবিষ্কার করতে সাহায্য করে; সংজ্ঞা এবং স্বাক্ষরিত রিলিজ সিআইডি ঠিক কী তা বলে।
উত্পাদিত সিম্বল রেফারেন্স
বর্তমান সীমাবদ্ধ স্ট্যান্ডার্ড-লাইব্রেরি চুক্তি দ্বারা অনুমোদিত নামগুলি অনুসন্ধান করুন।
কোর সিম্বল ব্রাউজ করুনডেটা, প্রভাব, I/O, টুলিং
coll, spec, json, text, wit, async, time, fs, http, test, fmt, lint, এবং LSP চুক্তি দিয়ে শুরু করুন।
লাইব্রেরি মানচিত্র ব্রাউজ করুনবিষয়বস্তু-ঠিকানাবদ্ধ নির্ভরতা
নির্দিষ্ট নির্ভরতা CID, পরিচয় স্তর, GitHub প্রোভেন্যান্স, এবং বর্তমান প্রকাশ সীমা পরিদর্শন করুন।
লাইব্রেরি ক্যাটালগ খুলুন এবং প্রকাশ প্রবাহট্যাগ দ্বারা পুরো সংস্থা ব্রাউজ করুন
আছে 2,215 পাবলিক রিপোজিটরি গুলো kotoba-lang সংগঠন। নিচের প্রতিটি ট্যাগ হল GitHub বিষয় একই নাম, তাই সাইট ফিল্টার এবং সংস্থার বিষয়গুলি একটি শব্দভাণ্ডার দুটি যা ভাসে তার পরিবর্তে। ইতিমধ্যে ফিল্টার করা ক্যাটালগ খুলতে একটি নির্বাচন করুন।
সমস্ত 2,215 রিপোজিটরি ব্রাউজ এবং ফিল্টার করুন
একটি রিপোজিটরি প্রকাশিত প্যাকেজ নয়। ঠিক 1 লাইব্রেরি বিষয়বস্তু-অ্যাড্রেসড রেজিস্ট্রির মাধ্যমে প্রকাশিত; এই তালিকার বাকি অংশ আবিষ্কার। রিপোজিটরি পরিপক্কতা লেবেলগুলি 1.0 API স্থিতিশীলতা, ব্যাপক গ্রহণযোগ্যতা, বা প্রোডাকশন SLO নির্দেশ করে না, এবং 255 রিপোজিটরিগুলি কোনো ডোমেইন নিয়ম মেনে চলে না এবং নিকটতম লেবেল দেওয়ার পরিবর্তে ট্যাগবিহীন দেখানো হয়।
পরীক্ষিত রেফারেন্স অনুসন্ধান করুন
কমান্ড, স্ট্যান্ডার্ড-লাইব্রেরি নাম, ডায়াগনস্টিক এবং রিলিজ অবস্থা অনুসন্ধান করুন। সূচক মেশিন কর্তৃত্ব থেকে তৈরি এবং এই পৃষ্ঠায় থাকে।
চেষ্টা করুন: কম্পাইল, অপশন-সাম, ডকস/লিঙ্ক-অনুপস্থিত
রিলিজ বাঁধা
Kotoba v0.7.0 darwin-arm64 এর জন্য পাবলিক ইমপ্লিমেন্টেশন যা ভাষা প্রোফাইল 6 এবং প্যাকেজ চুক্তি 1 এর সাথে বাঁধা। এর স্বাক্ষরিত এনভেলপ সোর্স ট্রি, আর্টিফ্যাক্ট ডাইজেস্ট, এবং 536-টেস্ট / 8,580-অ্যাসারশন সম্মতি ফলাফল যাচাই করে। অন্যান্য প্ল্যাটফর্মগুলি এখনও বাঁধা নেই।
ওপেন রেফারেন্স
kotoba id
একটি চেইন-নিউট্রাল Kotoba প্রিন্সিপাল এনরোলমেন্ট পরিকল্পনা তৈরি করুন যা একটি পাসকি দ্বারা নিয়ন্ত্রিত। স্মার্ট অ্যাকাউন্টগুলি স্পষ্ট CAIP-10 লিঙ্ক; কোনো চেইন বা প্রদানকারী পরিচয় মূল নয়।
ওপেন রেফারেন্স
kotoba compile
Kotoba-পরিবারের সোর্স একটি লক্ষ্য আর্টিফ্যাক্টে কম্পাইল করুন। ওয়েব .kotoba পরীক্ষিত KIR এবং সীমাবদ্ধ kotoba-script ব্যাকএন্ড ব্যবহার করে; .cljs থেকে ClojureScript থাকে।
ওপেন রেফারেন্স
kotoba check
Kotoba উৎস, চুক্তি, বা প্যাকেজ মেটাডেটা চালানো ছাড়াই যাচাই করুন। কম্পাইলার অ্যাডাপ্টার: ফ্রন্টএন্ড অ্যাডমিট + --profile pure-product (T9.2)।
ওপেন রেফারেন্স
kotoba graph
ডাটোমিক-আকৃতির অপারেশন দিয়ে ভাষার গ্রাফ স্টোর (kgraph) প্রশ্ন এবং লেনদেন করুন।
ওপেন রেফারেন্স
kotoba git
Kotoba রিপোজিটরি অপারেশনগুলোকে ডেটা হিসেবে প্রকাশ করুন, শেল-নির্দিষ্ট আচরণ নয়।
ওপেন রেফারেন্স
kotoba build
Kotoba প্রকল্পকে তার যাচাইকৃত লক্ষ্য আর্টিফ্যাক্টে তৈরি করুন। এটি সরাসরি প্রকল্প জীবনচক্র কমান্ড; rad build একটি সামঞ্জস্যপূর্ণ বানান হিসেবে থাকে।
ওপেন রেফারেন্স
kotoba test
Kotoba প্রকল্পের জন্য অনুমোদিত পরীক্ষা পরীক্ষা করুন এবং চালান। এটি সরাসরি প্রকল্প জীবনচক্র কমান্ড; rad test একটি সামঞ্জস্যপূর্ণ বানান হিসেবে থাকে।
ওপেন রেফারেন্স
kotoba deploy
একটি স্থানীয় রসিদ বা মুরাকুমো ফ্লিট রেসাইড টার্গেটে প্যাকেজের কাঙ্ক্ষিত অবস্থা পরিকল্পনা এবং প্রয়োগ করুন।
ওপেন রেফারেন্স
kotoba library
বিদ্যমান Kotoba কোডবেস এবং আইপিএনএস প্রকাশ পথের মাধ্যমে একটি কন্টেন্ট-অ্যাড্রেসড লাইব্রেরি নেমস্পেস পরিদর্শন এবং প্রকাশ করুন।
ওপেন রেফারেন্স
kotoba hinshitsu
সফটওয়্যার-গুণগত মান পরীক্ষা চালান (প্রমাণ, গেট, কভারেজ, ভিজ্যুয়াল রিগ্রেশন) ডেটা হিসেবে।
ওপেন রেফারেন্সstdlib-বাইনারি-ক্লোজার-অ্যাঙ্কর
সীমাবদ্ধ কোর স্ট্যান্ডার্ড-লাইব্রেরি পাবলিক নাম।
ওপেন রেফারেন্স:command/unknown
অনুরোধকৃত কমান্ডটি পাবলিক CLI চুক্তিতে নেই। lang/cli.edn থেকে তৈরি কমান্ড ব্যবহার করুন।
ওপেন রেফারেন্স:contract/invalid
CLI চুক্তি কাঠামোগত যাচাইতে ব্যর্থ হয়েছে। কাঠামোবদ্ধ :errors সংগ্রহ পরিদর্শন করুন; কমান্ড প্রেরণ করবেন না।
ওপেন রেফারেন্স:version/unsupported
অনুরোধকৃত ভাষা বা প্যাকেজ চুক্তির সংস্করণ অজানা। lang/version-policy.edn এর :supported এর অধীনে তালিকাভুক্ত সংস্করণ নির্বাচন করুন।
ওপেন রেফারেন্স:version/removed
অনুরোধকৃত চুক্তি সংস্করণটি সরানো হয়েছে। কম্পাইল বা চালানোর আগে সক্রিয় সংস্করণে মাইগ্রেট করুন।
ওপেন রেফারেন্স:version/deprecation-expired
একটি অব্যবহৃত সংস্করণের সামঞ্জস্যতা উইন্ডো শেষ হয়েছে। সংস্করণ নীতিমালা দ্বারা নামকরণকৃত মাইগ্রেশন প্রয়োগ করুন।
ওপেন রেফারেন্স:release/invalid-semver
একটি রিলিজ শনাক্তকারী কঠোর SemVer নয়। MAJOR.MINOR.PATCH ব্যবহার করুন একটি ঐচ্ছিক বৈধ প্রি-রিলিজ বা বিল্ড সাফিক্স সহ।
ওপেন রেফারেন্স:docs/no-release-bound-profile
কোনো প্রকাশিত বাস্তবায়ন প্রমাণ সক্রিয় ভাষা প্রোফাইলকে বাধ্য করে না। একটি স্বাক্ষরিত রিলিজ এনভেলপ বাস্তবায়ন এবং প্রোফাইলকে বাধ্য না করা পর্যন্ত পাবলিক ডিফল্ট ব্লক রাখা।
ওপেন রেফারেন্স:docs/link-missing
একটি যাচাইকৃত ডকুমেন্ট একটি অনুপস্থিত স্থানীয় লক্ষ্য নির্দেশ করে। লক্ষ্য পুনরুদ্ধার করুন অথবা কর্তৃপক্ষ মানচিত্র আপডেট করে রেফারেন্স পুনরায় তৈরি করুন।
ওপেন রেফারেন্স:docs/profile-version-drift
ব্যাকরণ, পৃষ্ঠ, এবং ব্যাখ্যা কর্তৃত্ব ভাষা প্রোফাইলে একমত নয়। প্রকাশের আগে কর্তৃত্বগুলো মিলিয়ে নিন।
ওপেন রেফারেন্স:docs/generated-drift
একটি কমিট করা উত্পন্ন রেফারেন্স তার মেশিন কর্তৃত্বের সাথে মেলে না। nbb scripts/generate-docs-reference.cljs চালান এবং ফলাফল কমিট করুন।
ওপেন রেফারেন্স:docs/validation-result-invalid
একটি ব্যবহারকারী-যাচাইকৃত পর্যবেক্ষণ অসম্পূর্ণ বা বাহ্যিক ফলাফল অতিরঞ্জিত করে। অংশগ্রহণকারী শ্রেণী, কাজ, ফলাফল, প্রমাণ, এবং পর্যবেক্ষিত সময় রেকর্ড করুন।
ওপেন রেফারেন্সকোনো প্রশ্ন ব্রাউজার ছাড়ে না।
রোডম্যাপ: সীমা বজায় থাকলে মাত্র প্রসারিত করুন
একটি সংস্করণযুক্ত চুক্তি
ব্যাকরণ, প্রভাব, যাচাইকৃত KIR, লক্ষ্য অ্যাডাপ্টার, যোগ্যতা এবং প্রথম-রান ডকুমেন্টেশন সঙ্গতিপূর্ণ রাখুন।
প্রদানকারী ফাঁক বন্ধ করুন
টাইপ করা অনুরোধ/ফলাফল সম্মতি, প্রতিদ্বন্দ্বিতামূলক পরীক্ষা, রসিদ, প্রত্যাহার, এবং পুনরুত্পাদনযোগ্য রিলিজ অপারেশন সম্প্রসারণ করুন।
বিস্তৃত মোতায়েন অর্জন করুন
প্রোভাইডার, হোস্ট-আইসোলেশন, রোলব্যাক, এবং সোক প্রমাণের পরে উৎপাদন ব্যবহারের বিস্তার করুন—এবং পরিদর্শনযোগ্য ঘোষণামূলক লাইব্রেরি বৃদ্ধি করুন।
রক্ষণাবেক্ষিত রোডম্যাপ এবং অ-লক্ষ্য পড়ুন
রোডম্যাপ আইটেমগুলি দিকনির্দেশনা, চালু ক্ষমতা বা ডেলিভারি তারিখের প্রতিশ্রুতি নয়।
সার্বজনীনভাবে কমিউনিটি গড়ুন
Kotoba এখনও একটি বড় সম্প্রদায় দাবি করে না। আজকের সৎ পাবলিক মিটিং পয়েন্টগুলি হল সোর্স রিপোজিটরি, ইস্যু ট্র্যাকার, রিলিজ ইতিহাস, এবং নিরাপত্তা চ্যানেল।
ভাষার সমস্যা
একটি ডিজাইন প্রশ্ন জিজ্ঞাসা করুন, ডকুমেন্টেশন উন্নতি প্রস্তাব করুন, অথবা পুনরুত্পাদনযোগ্য ভাষা-চুক্তি সমস্যা রিপোর্ট করুন।
খোলা ভাষার বিষয়সমূহকম্পাইলার এবং CLI সমস্যা
বাস্তবায়ন কাজ, মুক্তি, লক্ষ্য সমর্থন, এবং রানটাইম ইন্টিগ্রেশন ইনস্টলযোগ্য বাস্তবায়নে অনুসরণ করুন।
খোলা বাস্তবায়ন বিষয়সমূহব্যক্তিগতভাবে রিপোর্ট করুন
দুর্বলতার জন্য প্রকাশিত নিরাপত্তা নীতি ব্যবহার করুন; একটি পাবলিক ইস্যুতে শোষণযোগ্য বিবরণ প্রকাশ করবেন না।
নিরাপত্তা নীতি পড়ুনঅধিকার না কিনে পাবলিক বাউন্ডারি অর্থায়ন করুন
Kotoba GitHub স্পন্সর প্রোফাইল প্রস্তুত হচ্ছে। প্রকল্প পৃষ্ঠা এখন প্রস্তুত এবং GitHub সংস্থা প্রোফাইল অনুমোদনের পরই একটি পেমেন্ট ক্রিয়া প্রকাশ করবে।
GitHub স্পন্সর
যখন GitHub প্রোফাইল সক্রিয় নয়, তখন kotoba-lang.org এর মাধ্যমে কোনো স্পন্সরশিপ পেমেন্ট করা যাবে না।
সমর্থন কর্তৃত্ব নয়
স্পনসরশিপ একটি বৈশিষ্ট্য, রোডম্যাপ অগ্রাধিকার, সমর্থন SLA, ব্যক্তিগত অ্যাক্সেস, বা নিরাপত্তা ব্যতিক্রম কেনে না।
স্পনসরশিপ অবস্থা: প্রস্তুত হচ্ছে. যাচাই করা হয়েছে 2026-09-01.
নিরাপদ কোড। বিশ্বাসযোগ্য অবস্থা। নিয়ন্ত্রিত কার্যকরী।
স্লোগানের আগে প্রমাণ
সংক্ষিপ্ত প্রকৌশল নোট পড়ুন যা পণ্য দাবিকে পরিমাপ, কর্তৃপক্ষ ফাইল এবং অবশিষ্ট গেটের সাথে সংযুক্ত করে।
Kotoba ব্লগ পড়ুননিয়ন্ত্রিত কার্যকরী
Kotoba Cloud পরিচয় এবং নিয়ন্ত্রণ পরিবেশের সাথে সংযোগ করে। আবিষ্কার লাইভ; হোস্টেড অ্যাপ্লাই এখনও প্রদান করা হয়নি। গণনা পৃথকভাবে শাসিত পরিষেবাগুলির দ্বারা প্রদান করা হয়।
Kotoba Cloud খুলুনবিশ্বাসযোগ্য গ্রাফ অবস্থা
Kotobase হল AI অবস্থা এবং জ্ঞানের জন্য বিষয়বস্তু-ঠিকানাবদ্ধ গ্রাফ ডাটাবেস: স্পষ্ট সম্পর্ক, সনাক্তযোগ্য ইতিহাস, এবং সীমাবদ্ধ অ্যাক্সেস।
ওপেন Kotobaseকম্পিউট এবং ইনফারেন্স প্লেন
ফ্লিট কম্পিউট এবং মডেল-সার্ভিং অবকাঠামো। প্রাপ্যতা এবং রুট যোগ্যতা সেবা-নির্দিষ্ট থাকে।
খুলুন Murakumoএজেন্ট কাজের প্লেন
ওয়ার্কস্পেস, লক্ষ্য, প্রমাণ, টুল, অনুমোদন, এবং শাসিত প্রভাব জুড়ে এজেন্ট কাজ চালিয়ে যাওয়া।
খুলুন Itonamiএই পরিষেবাগুলি পৃথক কর্তৃত্ব, প্রাপ্যতা এবং যোগ্যতার সীমানা বজায় রাখে। তাদের সংযোগ প্রমাণ নয় যে প্রতিটি Kotoba ক্ষমতা সাধারণত বিক্রি হওয়া হোস্টেড পরিষেবা হিসাবে উপলব্ধ।
চুক্তিটি পড়ুন বা বাস্তবায়ন চালান
kotoba-lang/kotoba-lang
ব্যাকরণ, সেমান্টিক্স, সক্ষমতা চুক্তি, নিরাপত্তা দাবি, CLI চুক্তি, ডকুমেন্টেশন, এবং সম্মতি ফিক্সচার।
ভাষার কর্তৃপক্ষ পড়ুনkotoba-lang/kotoba
CLI, হোস্ট ইন্টিগ্রেশন, প্রদানকারী, রানটাইম অ্যাডাপ্টার, ইন্টিগ্রেশন টেস্ট এবং লক্ষ্য-নির্দিষ্ট যোগ্যতা প্রমাণ।
বাস্তবায়ন খুলুনশিখুন, তৈরি করুন, অথবা মূল্যায়ন করুন
প্রথম ব্যবহার, ভাষা রেফারেন্স, ব্যাকএন্ড বাস্তবায়ন, নিরাপত্তা সীমানা, এবং পরিপক্কতার প্রমাণের জন্য পৃথক পথ।
একটি ডকুমেন্টেশন পথ নির্বাচন করুনভাষা প্রোফাইল 6; public-default রিলিজ স্ট্যাটাস: মুক্তি হয়েছে.
প্রাথমিক পোর্টেবল প্ল্যাটফর্ম হল WebAssembly কম্পোনেন্টস উইথ WASI 0.3.0. বিস্তারিতকরণ পাইপলাইন আছে 11 নামকৃত, ব্যর্থ-বন্ধ ধাপ।