Kode aman. Dibangun untuk kecepatan mesin.

AI dapat menulis lebih cepat daripada manusia dapat meninjau

Kode yang dihasilkan mungkin berguna dan tetap mencapai file, jaringan, rahasia, proses, model, atau permukaan pembayaran yang tidak pernah dimaksudkan untuk diungkap oleh permintaan.

Kotoba melengkapi isolasi runtime dan OS; itu tidak membuat lapisan tersebut tidak perlu.

Di mana pikiran Lisp dan penulisan ulang grafik GP 2 bertemu disiplin Rust

Kotoba adalah bahasa kecil yang berorientasi data dan berbentuk Clojure. Desainnya mengambil tradisi kode-sebagai-data Lisp dan Penulisan ulang grafik berbasis aturan GP 2, dengan disiplin statis seputar otoritas, efek, sumber daya, paket, dan identitas artefak.

AMAN + CEPAT · DIBUAT UNTUK PERANGKAT LUNAK YANG DIHASILKAN AI.

Ini adalah arahan pembatasan, bukan klaim 'tidak dapat diretas'. Kompiler, verifikator, runtime, penyedia, akar kebijakan, penjagaan kunci, dan isolasi OS tetap dalam basis komputasi tepercaya.

Keamanan di seluruh komputasi

Batas dibawa dari niat ke eksekusi. Setiap tahap mempersempit atau memverifikasi otoritas; tidak ada tahap berikutnya yang diizinkan untuk menciptakan hak.

Identitas konten bukan otoritas.

Verifikasi CID, tanda tangan, pencabutan, kebijakan host, pemeriksaan sumber daya, dan isolasi OS tetap menjadi batas terpisah.

Evaluasi Lisp, tanpa evaluasi host ambien

Kotoba mengevaluasi kode yang diperiksa sebagai data beralamat konten. Yang dikenal (eval request) permukaan turun ke bertipe :code/eval kemampuan; tidak pernah menerima teks sumber, bentuk pembaca, namespace, atau objek host.

Identitas, otoritas, dan bukti hasil adalah tiga fakta berbeda.

Kontrak mesin: lang/typed-eval.edn. Kemampuan kawat compiler: 30. Penerapan terbatas tetap merupakan penerapan penutupan modul tertutup biasa.

Default untuk tumpukan komputasi AI-pertama

Ini adalah klaim rekayasa dengan kualifikasi terlampir. Default, bounded-ready, partial, dan direction adalah status berbeda; tidak ada yang dipromosikan diam-diam menjadi universal.

Otoritas mesin: lang/product-defaults.edn. Penyimpanan fisik tak terbatas, nol salinan di mana-mana, peringkat kecepatan universal, AGI tercapai, dan tidak dapat diretas tetap merupakan klaim mutlak yang dilarang.

Apa yang tidak dapat diminta Kotoba yang ditulis AI

Ini adalah batasan keamanan bernama dalam lang/surface-status.edn, bukan fitur yang hilang dari peta jalan.

Bukti, dengan batas yang terpasang

Kotoba memisahkan bukti implementasi dari daya tarik pasar dan menjaga risiko residual di samping setiap klaim keselamatan.

Penggunaan produksi internal hanya bukti dogfooding. Ini tidak menyiratkan pelanggan eksternal, pilot berbayar, atau pendapatan.

Lima benchmark. Lima pertanyaan berbeda.

Startup compiler menanyakan seberapa cepat satu sumber kecil menjadi artefak. Skala pembangunan menanyakan apa yang terjadi pada angka itu ketika sumber berhenti menjadi kecil—dan apakah artefak masih merespons. Loop pengembang memisahkan resolusi, pemeriksaan, pembangunan, dan hasil pertama. Runtime asli menanyakan seberapa cepat kode yang sudah dibangun berjalan. Suite domain beban kerja menanyakan bagaimana string, koleksi, alokasi, I/O, konkurensi, dan aplikasi nyata kecil berperilaku. Hasilnya menjaga kelima pertanyaan—dan status bukti mereka—tetap terpisah.

Waktu build saat sumber menjadi lebih besar

Benchmark di atas membangun program yang cukup kecil untuk muat di satu layar, yang mengukur seberapa cepat rantai alat mulai. Ini mengatakan sedikit tentang angka yang sebenarnya ditunggu pengembang, yaitu kemiringan. Kelima ini benchmark menghasilkan program yang sama dengan ukuran yang meningkat — K fungsi empat operasi independen dan satu titik masuk yang memanggil semuanya — dan membangunnya melalui setiap toolchain di host, dalam urutan berputar.

Kemudian menjalankan apa yang dihasilkan setiap toolchain, setelah jam berhenti. Pemeriksaan itu bukan hiasan. Cara tercepat untuk mengeluarkan artefak adalah menghasilkan yang rusak, jadi jalur yang berhenti bekerja seharusnya memposting angka terbaiknya tepat di tempat ia berhenti bekerja.

Kedua sumbu berskala logaritmik: sumber mencakup tiga orde besaran dan begitu juga waktu. Sebuah garis berakhir dengan titik di mana jalannya selesai, dengan tanda silang di mana jalur itu mengeluarkan artefak yang bukan program, dan dengan batang di mana rantai alat menolak membangun. Ketiga hal itu bukan peristiwa yang sama dan dua kegagalan di bawah bukan kegagalan yang sama.

Diukur 2026-08-31 di judahnoMac-mini.local (Apple M4). K adalah jumlah fungsi yang dihasilkan; sumber Kotoba berjalan dari 9 sampai 14338 baris. Target, ABI, tingkat optimasi dan kontrak runtime berbeda antar jalur, jadi ini menanyakan tentang latensi umpan balik pengembang, bukan pekerjaan setara. Gerbang beban host gagal (load1 2.73–2.73, diperlukan ≤ 1), jadi ini adalah pengamatan putaran ini bukan angka portabel. Karena jalur saling berselang, urutan dikualifikasi secara terpisah.

Urutan mana yang bertahan uji kebisingan

Rasio bukan peringkat. perfgate menolak setiap pengurutan yang celahnya jatuh di dalam sebaran kedua lengan itu sendiri, seberapa besar pun rasio terlihat, dan menolak lengan dengan sampel terlalu sedikit atau terlalu banyak kebisingan. Ia berjalan di sini dengan kebijakan defaultnya sendiri, tidak rileks — sebuah ambang dilonggarkan agar ini bisa berjalan akan menjadi tolok ukur yang mengukur ambang batasnya sendiri. Karena jalur-jalur diselingi pada satu host, ada celah yang bertahan dari tes ini bertahan saat host sibuk.

perbaikan-di-bawah-ambang berarti jalur Kotoba sama sekali tidak lebih cepat pada ukuran itu. Keunggulan nyata dan memenuhi syarat pada awal dingin, dan hilang terhadap C pada K=32 dan terhadap Rust pada K=128. Persilangan itu adalah hasilnya, jadi ditampilkan daripada diringkas.

Dua kegagalan yang bukan kegagalan yang sama

Tiga jalur Kotoba berhenti bekerja dalam jalankan ini, dan menerbitkannya sebagai satu baris akan salah. Satu adalah cacat. Dua lainnya dinyatakan batas ditegakkan persis seperti yang ditentukan, dan melaporkannya sebagai cacat berarti mengukur batasnya daripada kompiler.

Apa yang ini tetapkan

Kesimpulan: Pada ukuran terkecil, biner yang dirilis lebih cepat daripada setiap pembanding di sini dengan margin yang bertahan dari uji kebisingan, dan memiliki batas kebenaran keras pada 128 fungsi. Kompiler tanpa batas itu kira-kira satu orde lebih lambat pada setiap ukuran diukur. Kedua fakta berasal dari satu kali jalan yang sama, dan harness yang menemukannya bersifat publik, sehingga jalannya dapat diperdebatkan.

Berapa lama setiap beban kerja asli sebenarnya berlangsung

Kisi di bawah melaporkan margin antara dua lengan. Itu adalah angka aturan perfgate aktif, tapi persentase sendiri tidak mengatakan apakah sebuah beban kerja berjalan dalam lima milidetik atau lima ratus, dan menyembunyikan perbedaan antara pasangan yang diperdebatkan dan yang tidak relevan. Panel-panel ini adalah median dari margin tersebut yang dihitung. Amu native adalah jalur berwarna di setiap panel — termasuk panel di mana itu bukan yang pertama. Setiap panel adalah diskalakan ke arm terleletnya sendiri, karena pertanyaan yang dijawab panel adalah siapa yang lebih cepat dalam beban kerja itu.

Median milidetik dari 5 putaran kualifikasi host; lebih pendek lebih cepat. Setiap arm mengembalikan jawaban yang sama yang diperiksa secara independen, dan median kandidat adalah satu nilai per beban kerja — suite memutar setiap pasangan mesin dalam urutan ABBA/BAAB, jadi artefak Amu yang sama diukur sekali per beban kerja dan kemudian dibandingkan dengan setiap arm secara bergantian. Berbeda dengan empat tolok ukur lain di halaman ini, gerbang host tenang ini LULUS (kualifikasi-beban-host), jadi ini adalah angka untuk host ini bukan hanya pengamatan. Klaim tercepat terbatas masih membutuhkan semua 30 pasangan, itulah fungsi grid di bawah.

Setiap pasangan runtime, menang atau kalah

Klaim terbatas adalah semua-atau-tidak sama sekali, jadi satu pasangan yang tidak memenuhi syarat membuatnya salah. Menerbitkan hanya putusan itu akan menyembunyikan pasangan mana yang diperdebatkan, jadi keseluruhan grid ada di sini. Sebuah sel adalah rata-rata peningkatan Amu native dibandingkan pembanding tersebut pada beban kerja itu; positif berarti Amu lebih cepat, dan tanda centang menandai pasangan yang perfgate jelas — setidaknya 5% dan terpisah dari penyebaran lengan sendiri.

Setiap sel adalah batang yang tumbuh dari garis tengah: di kanan Amu native lebih cepat, di kiri lebih lambat. Dua arah diskalakan secara terpisah — kemenangan mencapai +93% dan kekalahan hanya sampai −7%, jadi satu skala bersama akan meratakan setiap pasangan yang diperdebatkan menjadi serpihan tak terlihat yang sama. Tanda juga dibawa oleh sisi garis dan oleh angka bertanda, jadi tidak ada pembacaan kisi ini yang bergantung pada membedakan dua warna.

19 dari 30 pasangan memenuhi syarat (median dari 5; 19 di setiap run) · kandidat 42f092ea5b61 · Apple M4, 10 CPU logis, 16 GiB

Pengiriman optimasi setelah run yang dipublikasikan

Tolok ukur bertanggal di atas tetap tidak berubah. Irisan implementasi baru tercantum terpisah sampai suite artefak yang sama dijalankan ulang dan melewati gerbang kualifikasinya.

Startup Compiler, empat rantai alat

KOTOBA 0.7.3 · RUSTC 1.97.1 · Homebrew clang versi 22.1.7 · javac 24.0.2. Kotoba, Rust, dan C mengeluarkan Wasm; javac mengeluarkan file kelas. Target dan pekerjaan compiler yang berbeda membuat ini pengamatan awal, bukan peringkat universal. Gerbang beban host yang direkam gagal, jadi tabel ini bukan peringkat kecepatan yang memenuhi syarat.

Setiap artefak yang diterbitkan menghasilkan 42 dalam proses baru. Target dan kontrak runtime berbeda; N/A tidak pernah nol. Gerbang muat host gagal, jadi ini adalah pengamatan yang dapat direproduksi bukan peringkat kecepatan lintas bahasa.

Enam domain, berdampingan

Setiap panel diskalakan ke jalur terlambatnya sendiri, karena pertanyaan sebuah panel jawaban adalah siapa yang lebih cepat di domain itu, bukan bagaimana domain-domain membandingkan satu sama lain lain. Jalur Kotoba adalah yang berwarna di setiap panel — termasuk panel di mana itu terakhir. Artefak Wasm mandirinya berjalan melalui Node host dan membayar startup itu pada setiap sampel proses dingin, sementara Rust, C dan Go jalankan sebagai biner asli; jika target tidak memiliki sistem file ambient atau thread kontrak sama sekali, jalur tidak ada bukan nol.

Median proses dingin dalam milidetik; lebih pendek lebih cepat. Gerbang beban host gagal pada putaran ini, jadi panel ini adalah pengamatan bukan peringkat, dan jalur amortisasi di bawah menceritakan kisah yang berbeda lagi.

Setiap sampel mengembalikan checksum referensi yang tepat. Kotoba menggunakan Wasm yang dihasilkannya dan ABI bertipe yang dideklarasikan; target mandirinya tidak memiliki sistem file ambient atau kontrak thread, jadi sel-sel tersebut dianggap N/A. Gerbang beban host yang direkam gagal, jadi median adalah pengamatan, bukan peringkat.

Setiap batch proses yang lebih besar dibagi dengan pengali beban kerja yang dideklarasikan. Ini mengamortisasi startup tapi tidak sepenuhnya menghilangkan biaya instansiasi proses, VM, atau Wasm, jadi tidak diberi label hasil keadaan stabil yang benar-benar hangat. Rantai peta inc/dec murni Kotoba disatukan ke dalam reduce tanpa vektor perantara; callback di luar subset terbukti itu tetap menggunakan materialisasi eager.

Apa yang dicakup suite native

Setiap implementasi mengembalikan jawaban yang diketahui dan diperiksa secara independen. Suite memutar setiap pasangan mesin dalam urutan ABBA/BAAB dan mengukur setelah pemuatan, pemetaan, dan pencarian simbol.

Di mana setiap tolok ukur berada

Setiap angka di atas berasal dari perangkat publik dan laporan yang dikomit, jadi sebuah jalankan dapat diulang dan klaim dapat tidak disetujui. Jalur dalam repo di tabel ini diperiksa terhadap pohon kerja saat halaman ini dibuat: sebuah harness yang memindahkan kegagalan membangun daripada mengirim tautan mati.

Gerbang yang dilewati setiap pengurutan di halaman ini adalah kotoba-lang/perfgate, jalankan dengan kebijakan default tidak rileksnya sendiri. Ambang batas dilonggarkan untuk membiarkan jalankan akan menjadi tolok ukur yang mengukur ambang batasnya sendiri.

Kesimpulan: Artefak, hasil tepat dan sampel nyata di semua lima benchmark. Tiga di antaranya — startup compiler, loop pengembang dan domain beban kerja — gagal gerbang host tenang mereka, jadi mereka tidak diberi peringkat dan diterbitkan sebagai pengamatan. Suite runtime native melewati gerbangnya dan memenangkan 19 dari 30 pasangannya, kurang dari klaim setiap pasangan yang dibutuhkan. Skala pembangunan memenuhi syarat urutan cold-start terhadap setiap pembanding di host dan menemukan langit-langit kebenaran dalam run yang sama. Tidak ada peringkat kecepatan universal yang diklaim di halaman ini, dan tidak ada run ini yang memberikannya.

Klaim dengan batasannya terlampir

Klaim ini dihasilkan dari lang/safety-claims.edn. Masing-masing menjaga basis komputasi tepercaya dan risiko residual terlihat, karena slogan keselamatan tanpa batas hanyalah pemasaran.

Kualifikasi Q1, per tanggal 2026-07-18.

Pengikatan rilis

Profil bahasa dan rilis implementasi terpisah sampai sebuah amplop bertanda tangan mengikat keduanya.

Kotoba v0.7.0 untuk darwin-arm64 adalah implementasi publik yang terikat pada profil bahasa 6 dan kontrak paket 1. Amplop yang ditandatangani memverifikasi pohon sumber, ringkasan artefak, dan hasil kesesuaian 536-tes / 8,580-asersi. Platform lain tetap tidak terikat.

Mulai dalam enam puluh detik

brew tap kotoba-lang/kotoba
brew trust kotoba-lang/kotoba
brew install kotoba
kotoba selfhost check --json

(defn main []
  (+ 40 2))

Belajar, coba, lalu dalami

Jalur terhubung dari program pertama ke kontrak bahasa, perpustakaan, bukti, dan permukaan penyebaran.

Program kecil Kotoba, berjalan secara nyata

Amu mengompilasi sumber murni Kotoba ini ke profil wasm32-browser. Artefak yang diperiksa tidak memiliki impor dan mengembalikan 42.

;; W1 pure representative: ordinary Clojure-shaped values/functions only.
(ns examples.w1-pure)

(defn double [n]
  (+ n n))

(defn main []
  (double 21))

Perpustakaan, tanpa menyembunyikan batas paket

Perpustakaan Kotoba adalah grafik yang dialamatkan berdasarkan konten. Nama dan repositori GitHub membantu orang menemukannya; definisi dan CID rilis yang ditandatangani mengatakan dengan tepat apa mereka.

Jelajahi seluruh organisasi berdasarkan tag

Ada 2,215 repositori publik di kotoba-lang organisasi. Setiap tag di bawah adalah topik GitHub nama yang sama, jadi filter situs dan topik organisasi adalah satu kosakata daripada dua yang melayang. Pilih satu untuk membuka katalog yang sudah difilter.

Jelajahi dan saring semua repositori 2,215

Repositori bukan paket yang diterbitkan. Tepat 1 perpustakaan diterbitkan melalui registri beralamat konten; sisanya adalah penemuan. Label kematangan repositori tidak menyiratkan stabilitas API 1.0, adopsi luas, atau SLO produksi, dan 255 repositori tidak cocok dengan aturan domain mana pun dan ditampilkan tanpa label daripada diberi label terdekat.

Cari referensi yang diperiksa

Cari perintah, nama pustaka standar, diagnostik, dan status rilis. Indeks dihasilkan dari otoritas mesin dan tetap di halaman ini.

Tidak ada kueri yang meninggalkan browser.

Peta jalan: perluas hanya setelah batas terpenuhi

Baca roadmap yang dipelihara dan non-tujuan

Item roadmap adalah arah, bukan janji kapabilitas yang dikirim atau tanggal pengiriman.

Bangun komunitas secara publik

Kotoba belum mengklaim komunitas besar. Saat ini titik pertemuan publik jujur adalah repositori sumber, pelacak isu, riwayat rilis, dan saluran keamanan.

Jelajahi semua repositori publik Kotoba

Danai batas publik, tanpa membeli otoritas

Profil Sponsor Kotoba GitHub sedang disiapkan. Halaman proyek sudah siap dan akan menampilkan aksi pembayaran hanya setelah GitHub menyetujui profil organisasi.

Status sponsor: SEDANG DIPERSIAPKAN. Diperiksa 2026-09-01.

Kode aman. Status tepercaya. Eksekusi terkendali.

Layanan ini mempertahankan batas otoritas, ketersediaan, dan kualifikasi yang terpisah. Koneksi mereka bukan bukti bahwa setiap kemampuan Kotoba tersedia sebagai layanan hosting yang dijual secara umum.

Baca kontrak atau jalankan implementasi

Profil bahasa 6; status rilis default-publik: DIRILIS.

Platform portabel utama adalah Komponen WebAssembly dengan WASI 0.3.0. Jalur elaborasi memiliki 11 tahap bernama, gagal-tutup.