Ir para o conteúdo

Notas de engenharia Kotoba

Evidência antes de slogans

Notas curtas sobre design de linguagem, medições, limites entregues e o que ainda permanece não qualificado.

Engenharia de segurança

O Kotoba é compatível com um programa NIST CSF 2.0?

Um guia baseado em evidências sobre limites de capacidade, caminhos de ataque e os controles operacionais ainda necessários em torno do Kotoba.

Ler a avaliação e os cenários de ataque

31 agosto 2026 · Benchmarks

Um quinto benchmark, e a alegação que ele não suportaria

Os quatro benchmarks construíram todos um programa pequeno o suficiente para caber em uma tela, o que mede quão rapidamente uma cadeia de ferramentas inicia em vez do número que um desenvolvedor espera. A nova suíte de escalonamento de compilação gera o mesmo programa em oito tamanhos, compila-o em todas as cadeias de ferramentas no host e então executa o que cada uma produziu.

Executar o artefato é o que o torna um benchmark em vez de um cronômetro. O CLI Kotoba lançado emite um módulo WebAssembly inválido acima de 128 funções e sai com sucesso, então um ambiente não validado teria registrado seus melhores números exatamente onde parou de funcionar. Duas pistas Kotoba adicionais param em limites declarados — um orçamento de combustível de chamada e um limite de admissão de contagem de funções — que são o resultado oposto e tiveram que ser reportados como tal.

A suíte foi adicionada para mostrar a velocidade de compilação como uma força. Ela mostra o binário lançado com o menor custo de compilação a frio de qualquer faixa medida, e mostra que em grandes tamanhos a velocidade de compilação não é atualmente uma força Kotoba. Ambas as metades estão na mesma tabela.

Leia os resultados de escalonamento de build

29 agosto 2026 · Benchmarks

Quatro benchmarks respondem a quatro perguntas diferentes

A inicialização do compilador mede um caminho minúsculo de fonte para artefato. O conjunto de loop do desenvolvedor separa resolução, verificação, builds limpos e sem alterações, e primeiro resultado em onze caminhos da cadeia de ferramentas. O runtime nativo mede programas já construídos. Um quarto conjunto compara strings, coleções, alocação, E/S, concorrência e uma pequena aplicação real em seis caminhos representativos de runtime. Kotoba os publica separadamente para que uma fase rápida não seja confundida com velocidade universal.

Cada resultado emitido é verificado, mas todas as classificações de velocidade permanecem retidas porque os portões de carga do host registrados falharam.

Leia o benchmark e inspecione suas evidências

28 agosto 2026 · Design de linguagem

Nenhuma autoridade ambiente é um limite de linguagem

Kotoba programas não começam com acesso implícito a sistema de arquivos, rede, processo, relógio, modelo ou segredo. A fonte declara efeitos, a admissão intersecta concessões e política, e o host vincula apenas as capacidades resultantes.

Esse design complementa o isolamento do sistema operacional; não substitui o compilador, verificador, runtime, provedor, custódia de chaves ou política do host na base de computação confiável.

Veja o limite de computação