O Bend 2, de Victor Taelin, utiliza uma técnica chamada “proof checking”, utilizada por empresas de IA na tentativa de resolver problemas matemáticos ainda sem solução. A novidade é uma reformulação do Bend, linguagem de programação de alto nível lançada em 2024 por Taelin, que se destacou por utilizar threads de CPUs e GPUs para executar operações em paralelo. O projeto está disponível no repositório “bendlang/bend” no GitHub.

Fontes:
- https://x.com/VictorTaelin/status/2100681226143092875
- https://github.com/bendlang/bend
- https://www.tabnews.com.br/NewsletterOficial/desenvolvedor-brasileiro-anuncia-linguagem-de-programacao-de-alto-nivel-capaz-de-realizar-operacoes-paralelas-utilizando-threads-de-cpu-e-gpu

Desenvolvedor brasileiro anuncia linguagem de programação que promete reduzir falhas em códigos gerados por IA

O Bend 2, de Victor Taelin, utiliza uma técnica chamada “proof checking”, utilizada por empresas de IA na tentativa de resolver problemas matemáticos ainda sem solução. A novidade é uma r...