Bend — язык для пост-AGI эпохи: доказательства блокируют ошибки ИИ, а код летает на GPU
Bend — это новый язык программирования, который компилируется в нативный код и работает почти как C на одном ядре, но на 16 ядрах или GPU ускоряется до 124 раз. Его проверяющая типов система — это пруф-чекер, как в Lean, но работает за секунды, а не минуты. С помощью LAWS.bend можно декларативно задавать законы, которые ИИ-агент не сможет нарушить: любая ошибка блокируется на уровне доказательства. Установка простая, а для старта достаточно добавить пару строк в AGENTS.md.
В пост-AGI экономике люди в конечном итоге перестанут писать и читать код, но нам всё ещё нужен однозначный способ сообщать ИИ, строящим окружающий нас мир, что мы хотим сделать.