#языки-программирования_1
-
Bend: язык, который блокирует ошибки ИИ с помощью математических доказательств
Bend обещает скорость C, параллелизм на CPU и GPU и проверку кода через формальные доказательства — так, что ИИ-агент физически не сможет закоммитить нарушение заданных правил.