Вышел Bend — язык программирования для создания кода, устойчивого к ошибкам ИИ.

Bend решает проблему «галлюцинаций» и багов математически. Разработчик формулирует инварианты («законы») предметной области (например, «баланс пользователя никогда не может стать отрицательным» или «ни одна последовательность ходов не ломает состояние игры»). Компилятор требует математического доказательства того, что сгенерированная реализация строго соблюдает эти законы (по аналогии с системами верификации математических доказательств Lean, Rocq/Coq, Agda). ​Если ИИ-агент напишет код с багом, нарушающим заявленный закон, компилятор просто отклонит сборку. Выкатить в прод код с нарушением инварианта становится математически невозможно.

Помимо этого язык поддерживает автоматический массовый параллелизм без потоков и блокировок.