---
title: "Desenvolvedor formaliza kernel da linguagem Bend e oferece recompensa"
url: https://dailyjournal.news/news/2026-09-27/desenvolvedor-formaliza-kernel-da-linguagem-bend-e-oferece-recompensa
published: 2026-09-27T16:40:32.184918+00:00
updated: 2026-09-27T16:40:32.184918+00:00
categories: ["technology"]
source_count: 1
outlet_count: 0
language: pt-BR
publisher: "Daily Journal"
---

# Desenvolvedor formaliza kernel da linguagem Bend e oferece recompensa

Victor Taelin formalizou o kernel da linguagem Bend e instituiu um prêmio de US$ 10 mil para quem encontrar falhas no sistema.

## Pontos principais

- O kernel de prova do Bend foi verificado formalmente com a linguagem Lean.
- Foi lançado um desafio de US$ 10 mil para quem provar a existência de falsidades no sistema.
- O novo comando --verdict permite compilar arquivos para o BendTT, um kernel de prova verificado.
- A atualização 2.0.32 traz melhorias no backend JS e suporte a arrays compartilhados.

O desenvolvedor Victor Taelin anunciou a formalização do kernel de prova da linguagem Bend, que agora utiliza o BendTT, um kernel minimalista verificado através da linguagem Lean. Como parte do lançamento da versão 2.0.32, foi instituída uma recompensa de US$ 10 mil para qualquer pessoa que consiga provar a existência de falsidades no sistema.

A atualização também introduziu o comando --verdict para compilação e implementou melhorias técnicas no backend JS. Entre as mudanças, destacam-se a redução no tempo de inicialização de binários e a adição de suporte a arrays compartilhados.

## Fontes

- [@VictorTaelin: Bend 2.0.32: formalization sync done!](https://x.com/VictorTaelin/status/2104240438127288652) (2026-09-27)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-09-27/desenvolvedor-formaliza-kernel-da-linguagem-bend-e-oferece-recompensa