Desenvolvedor oferece US$ 10 mil por falha lógica na linguagem Bend
Victor Taelin premiará quem encontrar inconsistências lógicas na linguagem de programação Bend sem o uso de recursos inseguros.
||
18/09 às 22:10
Pontos principais
- O desafio exige a prova de uma falsidade lógica na linguagem Bend.
- Participantes não podem utilizar recursos 'unsafes' ou 'holes' no código.
- A recompensa de 10 mil dólares será oficializada em até duas semanas.
- O autor admite que a implementação atual da linguagem pode conter bugs.
O desenvolvedor Victor Taelin anunciou um desafio de 10 mil dólares para quem identificar uma inconsistência lógica na linguagem de programação Bend. O objetivo é que o participante escreva um arquivo que comprove uma falsidade lógica, como o tipo Empty, sem recorrer a recursos classificados como 'unsafes' ou 'holes'.
A premiação será oficializada após a sincronização da implementação atual com a formalização da linguagem, com previsão de início para as próximas duas semanas. Taelin reconhece que a versão atual da Bend pode apresentar bugs devido a desvios em relação à sua base formal.
Comentários
Carregando comentários...
