Инженерные заметки Kotoba
Краткие заметки о дизайне языка, измерениях, поставляемых границах и том, что еще не квалифицировано.
Инженерия безопасности
Руководство, основанное на доказательствах, о границах возможностей, путях атак и операционных средствах управления, которые всё ещё необходимы вокруг Kotoba.
Прочитать оценку и сценарии атак31 август 2026 · Бенчмарки
Четыре эталона все построили программу, достаточно маленькую, чтобы уместиться на одном экране, что измеряет, насколько быстро запускается цепочка инструментов, а не сколько ждёт разработчик. Новый набор масштабирования сборки генерирует ту же программу в восьми размерах, собирает её через каждую цепочку инструментов на хосте, а затем выполняет то, что каждая из них произвела.
Выполнение артефакта делает его бенчмарком, а не секундомером. Выпущенный CLI Kotoba генерирует недопустимый модуль WebAssembly с более чем 128 функциями и успешно завершается, поэтому непроверенная оболочка записала бы лучшие показатели именно там, где перестала работать. Две другие линии Kotoba останавливаются на объявленных границах — бюджет вызовов и лимит по количеству функций — что противоположный результат и должно было быть зафиксировано как таковое.
Набор добавлен, чтобы показать скорость сборки как преимущество. Он показывает выпущенный бинарник с самой низкой стоимостью холодного старта сборки среди всех измеренных дорожек, и показывает, что при больших размерах скорость сборки в настоящее время не является Kotoba преимуществом. Обе части в одной таблице.
29 август 2026 · Бенчмарки
Запуск компилятора измеряет один маленький путь от исходника к артефакту. Набор инструментов цикла разработчика разделяет разрешение, проверку, чистую и без изменений сборки, а также первый результат по одиннадцати путям цепочки инструментов. Нативное время выполнения измеряет уже собранные программы. Четвёртый набор сравнивает строки, коллекции, выделение памяти, ввод-вывод, параллелизм и небольшое реальное приложение по шести представительным путям времени выполнения. Kotoba публикует их отдельно, чтобы одна быстрая фаза не была ошибочно принята за универсальную скорость.
Каждый выданный результат проверяется, но все рейтинги скорости остаются скрытыми, потому что зафиксированные ворота нагрузки хоста не прошли.
28 август 2026 · Дизайн языка
Kotoba программы не начинаются с неявного доступа к файловой системе, сети, процессу, часам, модели или секретам. Исходный код объявляет эффекты, пересечение допусков с политикой, а хост связывает только полученные возможности.
Этот дизайн дополняет изоляцию операционной системы; он не заменяет компилятор, верификатор, рантайм, провайдера, хранение ключей или политику хоста в доверенной вычислительной базе.
