Developer Community 8 Hours

Última atualização: September 10, 2026, 10:04 PM ET

Verificação Formal

O lançamento do Navier-Stokes da OpenAI veio acompanhado de uma prova em Lean 4, um passo notável para a matemática verificada por máquina em pipelines de pesquisa em produção. A discussão que o acompanha enquadra isto como evidência de uma revolução mais ampla dos métodos formais.

Ferramentas para Agentes

A OpenAI publicou uma visão geral da Agents API, dando aos programadores uma superfície padronizada para orquestrar chamadas de ferramentas em múltiplos passos. As equipas que avaliarem o guia da API considerarão útil analisar o caminho de migração a partir das simples chat completions.

Proveniência e Captura

Um novo projeto de código aberto implementa o Proof of Capture, incorporando assinaturas esteganográficas nas imagens para autenticar a origem da câmara, posicionando-se como alternativa ao sistema Reference Image da Apple. O artigo técnico detalha o esquema de codificação e os seus compromissos.

Segurança na Aviação

O NTSB divulgou uma atualização da investigação sobre um desvio de pista de um B-767 em Miami. O comunicado de imprensa completo abrange o registo factual reunido até ao momento.

Design e Ofício

Um ensaio defende que a criatividade genuína é a vantagem competitiva duradoura à medida que o resultado gerado se transforma em mercadoria. O blog do estúdio defende o gosto em vez do volume de produção.

Curiosidades

Um pequeno artigo ilustrado cataloga peculiaridades corporais, reunindo excentricidades anatómicas que valem uma leitura de fim de semana.