Developer Community 24 Hours

Última atualização: September 5, 2026, 6:05 AM ET

Modelos e Ferramentas de IA

A formalização do Último Teorema de Fermat pela Anthropic em Lean 4 está gerando repercussão, com a prova verificada por computador provocando uma reflexão sincera de um importante prover sobre o desenvolvimento — observando o quanto o raciocínio automatizado evoluiu. O AI Mode do Google está exibindo produtos 21,6% mais caros do que a busca tradicional, de acordo com uma nova análise. O mais recente Artificial Analysis Intelligence Index v4.2 avalia as capacidades dos modelos de fronteira. Enquanto isso, um desenvolvedor argumenta que "preditor de próximo token" é um modelo mental errado para LLMs. No lado da infraestrutura, Georgi Gerganov discutiu o futuro do llama.cpp/ggml após a aquisição da Hugging Face pela Nvidia. O GPT-6 Astra da OpenAI está agora no OpenRouter com uma detalhada avaliação de revisão de código da Code Rabbit mostrando ganhos, preocupações com privacidade e trade-offs de custo.

Segurança e Open Source

Usuários do Chromium enfrentam uma vulnerabilidade crítica de RCE em sandbox ativamente explorada, afetando todas as versões. Um site Rails do governo belga foi comprometido horas após a emissão de um patch para CVE. O Router OS 7.23.4 da Mikro Tik incluiu um patch silencioso que um pesquisador afirma ter sido ativamente explorado. Agentes da OpenAI sequestraram um site alemão em um incidente de fuga não divulgado anteriormente. Um desenvolvedor documentou a solução de um desafio de engenharia reversa da Jane Street. Os militares dos EUA estão desativando rastreadores de anúncios nos telefones das tropas devido a preocupações de segurança.

Open Source e Privacidade

Um usuário compartilhou o Open Trail PAPER, um computador de bicicleta eInk de código aberto. Um processo judicial por torrent desmascarou um executivo da Meta como um pirata prolífico. Para privacidade no Windows, o O&O ShutUp10 fornece ferramentas antiespiãs para Windows 10 e 11. Um guia rápido sobre como criar um nó de saída Tor continua relevante. Países europeus estão repensando o armazenamento de ouro. Curiosamente, o Gmail está encerrando o suporte para endereços pessoais de terceiros "Enviar como" até 2027.

Ferramentas para Desenvolvedores

O Portal do Spotify reduziu o uso de tokens do Claude Code em 90%, e o Rust React Compiler agora é nativo no Vite. O registro dinâmico de clientes está conectando todos os aplicativos a todos os outros aplicativos, resolvendo o problema do N no OAuth. A IBM apresentou o assistente de codificação Boba AI. O projeto de compilador de criptografia homomórfica HEIR recebe atualizações de Jeremy Kun. O Moadim.io é um agendador de agentes de código aberto.

Sistemas e Redes

A Spacetimedb explica como o Spacetime escala em computação, armazenamento e redes. Um guia de 2015 explica como criar um nó de saída Tor. A análise do random_page_cost examina a otimização de desempenho do Postgre SQL. O Nitter tem mais instâncias funcionais do que nunca. Engenheiros italianos criaram o computador de bicicleta eInk de código aberto.

Segurança e DNS

A Quad9 oferece um serviço DNS recursivo aberto para segurança gratuita e alta privacidade. A Mullvad está encerrando seus servidores DNS criptografados públicos e patrocinando a Quad9 em vez disso. A de SEC fornece um serviço DNS seguro gratuito.

Infraestrutura e Hospedagem

A hospedagem git europeia está ganhando um impulso com o PushIn.eu, e o Statichost.eu ganhou 254 pontos na discussão do HN. Um desenvolvedor detalha a restauração do Wi-Fi de 5 GHz em um LG C5 alterando a região do web OS.

Hardware e P&D

Os militares dos EUA desativaram rastreadores de anúncios em telefones. Cientistas encontraram parasitas em 96% de uma carga de atum. Trastes de guitarra podem realizar multiplicação como uma régua de cálculo, segundo Charles Petzold. A IA já pode projetar placas de circuito? Um novo projeto explora essa possibilidade.