Bend — быстрый язык, который блокирует ошибки ИИ с помощью доказательств, работая на CPU и GPU. Установите с помощью `curl -fs SL https://bend-lang.com/install.sh | sh`. Добавьте в AGENTS.md: запустите `bend guide`, используйте `LAWS.bend`, запустите `bend PROOF.bend` перед коммитом, распараллельте.

Bend компилируется в нативный код, почти такой же быстрый, как C, на одном ядре, и до 100 раз быстрее на GPU. Его проверщик типов — это проверщик доказательств, занимающий не более секунды. Он автоматически распараллеливает без потоков и блокировок.

LAWS.bend объявляет законы, и ни один ИИ не может выпустить код, который их нарушает. Посмотрите, как он охраняет игру: без LAWS.bend баг попал в продакшн; с LAWS.bend ИИ повторял попытки, пока не доказал закон. Слить баг математически невозможно.

Bend молод; ожидайте багов. Лучше всего работает на бэкенде, Linux и macOS. Наслаждайтесь быстрыми приложениями без багов, созданными в вайб-кодинге!

Ключевые сущности: Компании: Bend | Локации: Linux, macOS