17 сентября 2026 г.
Bend 2 блокирует ошибки ИИ в коде: язык проверяет программы доказательствами
17 сентября 2026 года Виктор Таелин выпустил Bend 2: язык программирования, который проверяет код доказательствами и работает на GPU. HVM2 распределяет нагрузку между тысячами ядер. Bend поддерживает лямбды с полными замыканиями, рекурсию и циклы без ограничений.
Taelin
@victortaelin
Bend 2 здесь! Это новый язык программирования, который блокирует ошибки ИИ с помощью *проверки доказательств* — той же техники, которую крупные ИИ-лаборатории использовали для решения открытых задач математики, например Навье–Стокса. Он ещё и очень быстрый, а работает на GPU. Смотрите видео. Ссылка в комментариях.
Taelin @VictorTaelin
ДЕНЬ РЕЛИЗА После почти 10 лет тяжёлой работы, неустанных исследований и глубокого погружения в основы компьютерных наук я наконец осуществил мечту: запустил язык высокого уровня на GPU. И отдаю его миру! Bend компилирует современные возможности языков программирования, включая: - лямбды с полной поддержкой замыканий - неограниченную рекурсию и циклы - быстрое выделение объектов любых видов - свёртки, алгебраические типы данных, продолжения и многое другое В HVM2, новом рантайме, который может распределять эту нагрузку между тысячами ядер, безопасно для потоков и с малыми накладными расходами. В результате мы наконец получили настоящий высокоуров...
· 8,7 тыс. просмотров
Почти 10 лет Таелин шёл к запуску языка высокого уровня на GPU. Теперь Bend 2 соединяет современные конструкции языка с HVM2, который распределяет их выполнение между тысячами ядер. Ошибки ИИ язык блокирует проверкой доказательств, той же техникой автор связывает решение открытых задач математики, включая Навье–Стокса.
Bend 2 и HVM2 выходят в мир как связка языка высокого уровня и исполнения на GPU.
Первоисточник
