Programação
Mojo 1.1 passa a aceitar contribuições externas ao compilador
O Mojo 1.1 aceita contribuições externas ao compilador um mês após a liberação sob Apache 2.0, e completa a remoção de fn, alias e @parameter if.
Programação - Página 4 de 5
Linguagens, sistemas de build e prática de engenharia: estabilizações do Rust, migrações de Python, versões do Emacs, incidentes na cadeia de suprimentos e as disputas de governança por trás. Explicações claras do que uma mudança significa no código, para quem vai encontrá-la na segunda-feira.
Programação
Swift 6.4 traz async em defer e torna o Swift Build padrão
O Swift 6.4 permite código assíncrono em blocos defer, adiciona seletores de módulo e uma ponte WebAssembly 40 vezes mais rápida, e o Swift Build passa a ser o padrão do gerenciador de pacotes.
Programação
Rustls 0.23.45 corrige falha de TLS 1.3 aberta desde 2024
As versões 0.23.13 a 0.23.44 aceitavam mensagens de aperto de mão TLS 1.3 no nível de criptografia errado, um bug introduzido em setembro de 2024.
Programação
Linux 7.2.6 lidera uma leva estável de 9.000 patches
Greg Kroah-Hartman lançou sete kernels estáveis de uma vez, com mais de 9.000 patches entre todos e mais de 1.800 só no Linux 7.2.6.
Programação
Linux quer remover 247 mil linhas de código ARM antigo
Um branch do kernel apagaria cerca de 247 mil linhas ao retirar plataformas ARM de 32 bits descontinuadas e os drivers que só elas usavam.
Programação
ARCTIC adiciona uma segunda licença ao seu driver de ventoinhas para os BSDs
O driver arctic_fan_controller passa de GPLv2+ para GPLv2+ e BSD-2-Clause no Linux 7.4, para que outros sistemas reaproveitem o código do aparelho de US$ 8,99.
Programação
Linux 7.4 remove o BFS, sistema de arquivos de boot do UnixWare
Um patch que apaga 1.275 linhas de código do BFS está na fila para o Linux 7.4, um ciclo depois de EFS e FreeVxFS caírem pelo mesmo motivo.
Programação
O tipo never do Rust, explicado
O tipo never do Rust, escrito !, é o tipo do código que nunca produz um valor. Está estável no Rust 1.100 após dez anos, e muda o recuo de tipos.
Programação
React 19.3 chega com View Transitions e Fragment Refs
O React 19.3 foi lançado em 9 de setembro de 2026. View Transitions e Fragment Refs agora são estáveis, e a versão não traz mudanças que quebrem compatibilidade.
Programação
HTTP QUERY tem uma RFC, mas quase nenhuma implementação
A RFC 10008 deu ao HTTP um método QUERY em junho de 2026: seguro e idempotente como GET, com corpo de requisição como POST. Quase nada o implementa ainda.
Programação
Rust agora é linguagem de nível 1 na Microsoft
A Microsoft tornou o Rust uma linguagem de nível 1 ao lado de C++, C# e TypeScript. Mais de 100 de seus repositórios já compilam código Rust.
Programação
Python 3.15 torna re.match() obsoleto em favor de re.prefixmatch
O Python 3.15 marca re.match() como obsoleto de forma branda em favor do novo re.prefixmatch(). Nada quebra, nada avisa e não há remoção prevista.
Programação
AMD Zen 6 torna desnecessária a mitigação SafeRET do Linux
Um patch do kernel remove a mitigação por software SafeRET no AMD Zen 6, porque o chip isola as previsões de salto em hardware. Ataques entre usuários ainda exigem IBPB.
Programação
LLVM debate compilar o ClangIR por omissão
Uma RFC do LLVM propõe compilar o ClangIR dentro do Clang por omissão. Ninguém o usaria sem uma opção, mas há estimativas que duplicam os tempos de compilação.
Programação
Debian Code Search elimina a última dependência de cgo
Michael Stapelberg substituiu uma biblioteca em C com 7 anos por Go puro usando o pacote SIMD experimental, e igualou a velocidade da versão em C.
Programação
Um binário strip adulterado pode abrir uma porta em todo o NixOS
Investigadores construíram o ataque trusting-trust de Ken Thompson a partir do GNU strip, e não de um compilador, e abriram portas em quase todos os binários de um instalador NixOS.
Programação
Go 1.27 adiciona métodos genéricos e um encoding/json mais rápido
O Go 1.27 saiu a 19 de agosto de 2026 com métodos genéricos, um motor v2 sob o encoding/json, perfis de fugas de goroutines e assinaturas pós-quânticas.
Programação
IA da Anthropic formaliza o último teorema de Fermat em Lean
A Anthropic diz que um modelo interno escreveu 13 milhões de linhas de Lean em 11 dias, produzindo uma prova completa e verificada por máquina do último teorema de Fermat.
Programação
GNOME redige um processo de RFC para grandes decisões técnicas
14 dias de comentários, partes interessadas nomeadas e um merge request: o GNOME redigiu um caminho formal para decisões que hoje são tomadas no chat.
Programação
Debian vota permitir contribuições assistidas por IA, com condições
Os desenvolvedores do Debian escolheram a opção de uso responsável de IA generativa em votação encerrada em 28 de agosto de 2026. A ajuda da IA é permitida e revelá-la continua opcional.
Programação
JetBrains: desenvolvedores dizem que agentes já escrevem 47% do seu código
Uma pesquisa da JetBrains com 15.509 desenvolvedores mostra que agentes escrevem por completo 47% do código, em média. 90% usam um agente toda semana, e o Claude Code lidera a adoção com 39%.
Programação
Rust financia seis mantenedores enquanto a fila do Clippy chega a 300
O Rust Foundation Maintainers Fund agora paga seis pessoas para manter o Rust, com apoio de Google, AWS e OpenAI. A fila do Clippy está perto de 300 pull requests.
Programação
Rust estabiliza o tipo never após dez anos e cinco tentativas
O tipo never está estável e o Infallible passa a ser um alias dele. O problema é uma quebra no recuo de tipos, que o crater apontou em 3.277 crates.
Programação
EVE Online começa a mover 2,4 milhões de linhas de Python 2 para Python 3
A CCP Games diz que 95,9% dos 2,4 milhões de linhas do EVE já são analisados nas duas versões do Python. As 3.300 linhas restantes são as que travam a mudança.
O resumo semanal
Um e-mail todas as sextas-feiras com as notícias mais importantes da semana das nossas seis secções: IA, ferramentas dev, programação, indústria tech, startups e tendências. Grátis, sem spam.