Lewati ke konten

Catatan rekayasa Kotoba

Bukti sebelum slogan

Catatan singkat tentang desain bahasa, pengukuran, batas yang dikirim, dan apa yang masih belum memenuhi syarat.

Rekayasa keamanan

Apakah Kotoba dapat mendukung program NIST CSF 2.0?

Panduan berbasis bukti mengenai batas kemampuan, jalur serangan, dan kontrol operasional yang masih diperlukan di sekitar Kotoba.

Baca penilaian dan skenario serangan

31 Agustus 2026 · Tolok Ukur

Tolok ukur kelima, dan klaim yang tidak akan didukung

Keempat tolok ukur semuanya membangun program yang cukup kecil untuk muat di satu layar, yang mengukur seberapa cepat rantai alat mulai daripada berapa lama pengembang menunggu. Suite skala build baru menghasilkan program yang sama dalam delapan ukuran, membangunnya melalui setiap rantai alat di host, lalu menjalankan apa yang dihasilkan masing-masing.

Menjalankan artefak adalah yang membuatnya tolok ukur bukan stopwatch. CLI Kotoba yang dirilis mengeluarkan modul WebAssembly tidak valid di atas fungsi 128 dan keluar dengan sukses, jadi harness yang tidak tervalidasi akan merekam angka terbaiknya tepat di tempat ia berhenti bekerja. Dua jalur Kotoba lebih lanjut berhenti pada batas yang dinyatakan — anggaran bahan bakar panggilan dan batas penerimaan jumlah fungsi — yang merupakan hasil sebaliknya dan harus dilaporkan demikian.

Suite ini ditambahkan untuk menunjukkan kecepatan build sebagai kekuatan. Ini menunjukkan biner yang dirilis dengan biaya build cold-start terendah dari jalur mana pun yang diukur, dan menunjukkan bahwa pada ukuran besar kecepatan build saat ini bukan kekuatan Kotoba. Kedua bagian ada dalam tabel yang sama.

Baca hasil skala build

29 Agustus 2026 · Tolok ukur

Empat tolok ukur menjawab empat pertanyaan berbeda

Pengukuran startup compiler satu jalur sumber-ke-artifak kecil. Suite loop pengembang memisahkan resolusi, pemeriksaan, build bersih dan tanpa perubahan, serta hasil pertama di sebelas jalur toolchain. Runtime native mengukur program yang sudah dibangun. Suite keempat membandingkan string, koleksi, alokasi, I/O, konkurensi, dan aplikasi nyata kecil di enam jalur runtime representatif. Kotoba menerbitkannya secara terpisah sehingga satu fase cepat tidak disalahartikan sebagai kecepatan universal.

Setiap hasil yang diterbitkan diperiksa, tetapi semua peringkat kecepatan tetap ditahan karena gerbang beban host yang direkam gagal.

Baca tolok ukur dan periksa buktinya

28 Agustus 2026 · Desain bahasa

Tidak ada otoritas ambient adalah batas bahasa

Program Kotoba tidak dimulai dengan akses implisit ke sistem berkas, jaringan, proses, jam, model, atau rahasia. Sumber menyatakan efek, penerimaan beririsan dengan izin dan kebijakan, dan host hanya mengikat kemampuan yang dihasilkan.

Desain itu melengkapi isolasi sistem operasi; itu tidak menggantikan compiler, verifier, runtime, penyedia, kustodi kunci, atau kebijakan host dalam basis komputasi tepercaya.

Lihat batas komputasi