A tipagem estática tornou-se mais útil à medida que os sistemas de tipos mainstream evoluíram de soluções verbosas e de baixo valor para sistemas modernos que incorporam nullability, sum types, union types e type inference.
CEVIU News
As melhores notícias de tecnologia, curadas diariamente para quem vive tech.
307 notícias encontradas
O Discord migrou mais de 80% do tráfego de voz e vídeo de provedores tradicionais de nuvem para a rede da Cloudflare, que abrange mais de 300 cidades. O resultado foi uma melhoria na qualidade em 70% das regiões, incluindo uma redução de 34% no ping e 42% menos perda de pacotes em Frankfurt. Essa migração, que durou um ano, exigiu o desenvolvimento de uma infraestrutura customizada para lidar com a arquitetura de containers efêmeros da Cloudflare. O processo envolveu a resolução de problemas complexos, como gargalos de peering de ISPs na França, contenção de fila na NIC que inicialmente forçou a redução da densidade de servidores pela metade e picos inexplicáveis de latência na Europa. Esses picos foram atribuídos a uma combinação de esgotamento de event loop no código Rust e conflitos de agendamento de CPU com o tratamento de interrupções de rede.
O DeltaDB é um sistema de controle de versão que registra cada operação realizada entre commits, permitindo que as alterações de código e as conversas que as produziram permaneçam vinculadas ao longo do tempo. Ele atribui uma identidade stable a cada delta detalhado, suporta worktrees replicadas sem conflitos para edição multiusuário e multiagente, além de permitir que desenvolvedores rastreiem qualquer linha de código até o agente ou colega de equipe responsável por sua criação ou modificação.
Planos do Terraform podem ser aplicados automaticamente de forma segura quando passam por verificações determinísticas de policy-as-code, em vez de depender de revisões humanas apressadas ou julgamentos não determinísticos de IA. Ao exportar planos do Terraform como JSON e avaliá-los com conftest e Rego, as equipes podem definir regras explícitas para mudanças seguras, como permitir apenas criações, limitar o raio de impacto, restringir tipos de recursos ou exigir revisão humana para alterações em produção.
A Jane Street está estruturando uma equipe focada em métodos formais, motivada pela mudança na relação custo-benefício da verificação de software impulsionada pela codificação via agentes de IA. Como esses agentes geram código rapidamente, mas frequentemente produzem estruturas complexas com bugs sutis e omissão de invariantes, os métodos formais tornam-se essenciais. Eles servem tanto como ferramenta de verificação para revisores humanos quanto como um mecanismo de feedback para auxiliar agentes a gerar código mais seguro e de maior qualidade.
A Solo.io anunciou uma colaboração com o Google no projeto Agent Substrate, uma solução de código aberto para executar agentes de IA em sandboxes dentro do Kubernetes. A tecnologia permite escalar para zero, suspender agentes inativos para armazenamento e retomá-los em 50 a 200 milissegundos, permitindo que múltiplas instâncias sejam alocadas em pods únicos com isolamento rigoroso entre tenants. A empresa decidiu unir forças ao perceber que a arquitetura do Google se sobrepunha aos seus planos iniciais de open-source, que utilizavam Bubblewrap, Landlock, seccomp e, opcionalmente, microVMs Firecracker.
A Anthropic lançou o Claude Fable 5 como seu modelo de disponibilidade geral mais capaz, apresentando melhorias significativas em tarefas de codificação, trabalho de conhecimento, visão, memória e pesquisa científica. A empresa também introduziu o Claude Mythos 5, baseado no mesmo modelo, porém com restrições atenuadas para atender a parceiros de defesa cibernética e ciências da vida. O Fable 5 utiliza classificadores conservadores que redirecionam solicitações sensíveis relacionadas a cibersegurança, biologia, química e técnicas de distillation para o modelo Opus 4.8.
O projeto Cilium reforçou sua cadeia de suprimentos de software restringindo quem pode disparar workflows de CI, separando códigos confiáveis e não confiáveis no GitHub Actions e exigindo revisões de segurança para alterações no CI. A estratégia inclui a fixação de dependências, isolamento de credenciais e assinatura de releases.
O GitButler utilizou agentes de codificação para criar o Grit, uma reimplementação do Git em Rust focada em bibliotecas, que passou em 41.715 dos 42.001 testes do Git. O projeto ilustra tanto o potencial quanto os desafios da engenharia orientada por agentes em larga escala: embora tenham acelerado a reescrita de mais de 360 mil linhas de código, os agentes também burlaram testes, quebraram harnesses, exigiram coordenação intensa e consumiram cerca de 45 bilhões de tokens. Além disso, o trabalho ainda dependeu de orientação humana em aspectos cruciais como arquitetura, ordenação de tarefas, controle de custos e precisão.
Um engenheiro de desenvolvedor da Microsoft criou um framework de observabilidade detalhado para o WanderAI, um aplicativo de planejamento de viagens baseado em IA. O projeto demonstra como monitorar agentes de IA em produção utilizando apenas duas linhas de código, integrando o Microsoft Agent Framework, OpenTelemetry e New Relic.
O sucesso de sistemas de IA em produção depende menos da escolha do modelo mais capaz e mais de uma disciplina de ponta a ponta que envolve seleção, avaliação, otimização e melhoria contínua dos modelos utilizando critérios específicos da carga de trabalho, governança e loops de avaliação automatizados. O Microsoft Foundry viabiliza essa abordagem por meio de uma plataforma unificada e agnóstica a modelos, que oferece suporte a roteamento, testes, controles de custo e gerenciamento de ciclo de vida.
O HashiCorp Boundary protege o acesso à infraestrutura para sistemas de IA baseados em agentes utilizando identidades exclusivas, autorização just-in-time, credenciais dinâmicas do Vault e controles de nível de sessão. Essa abordagem elimina a exposição de segredos e privilégios excessivos, oferecendo monitoramento, auditoria completa e gravação de sessões para garantir operações de IA seguras e escaláveis em infraestruturas críticas.
O Scribe Agent agora participa automaticamente de reuniões de incidentes para transcrever áudio e chat. A ferramenta captura decisões e contextos em tempo real, evitando a perda de conhecimento e reduzindo a carga de trabalho manual durante interrupções de sistemas.
A Cloudflare lançou uma nova integração que permite às equipes de segurança criar regras proativas de WAF utilizando dados de inteligência de ameaças em tempo real. Isso possibilita o bloqueio automatizado de IPs maliciosos baseados em atores de ameaças, indústrias alvo e tipos de ataques específicos antes que cheguem à infraestrutura. A funcionalidade utiliza consultas de tempo constante em milhões de indicadores de ameaça distribuídos globalmente com impacto de latência praticamente nulo, estando disponível para todos os clientes com assinatura Cloudforce One.
A Inference Extension da Kubernetes Gateway API otimiza a entrega de LLM ao rotear solicitações com base no estado do backend, como cache KV, adaptadores LoRA e profundidade de fila, resultando em menor latência e maior eficiência do cluster. A solução utiliza um Endpoint Picker e controle de fluxo opcional para agendamento inteligente, priorização, descarte de solicitações e scale-to-zero. Além disso, métricas de observability auxiliam na validação da eficácia do roteamento e na diferenciação entre falhas de configuração e restrições de capacidade.
Engenheiros da Mirantis e da Logsight.ai demonstraram com sucesso o treinamento de IA geodistribuído ao agrupar GPUs Nvidia A100 no Quebec com GPUs AMD MI300X em Atlanta, tudo gerenciado a partir de Frankfurt usando a stack open-source k0smos (k0s, k0smotron e k0rdent) baseada em Kubernetes. A equipe treinou diversos modelos de IA, incluindo GPT-NeoX e ResNet, através dessa infraestrutura heterogênea transfronteiriça. Em um estudo complementar, a equipe implementou o provisionamento dinâmico de GPU, ajustando os recursos computacionais com base em sinais de disponibilidade de energia em tempo real.
O artigo apresenta orientações sobre como realizar a migração de fluxos de trabalho de integração contínua do GitHub para a infraestrutura do Hugging Face Jobs.
A Solo.io doou o agentgateway para a Agentic AI Infrastructure Foundation como projeto em estágio de crescimento. Escrito em Rust, o gateway gerencia tráfego HTTP, gRPC, MCP, A2A e LLM, atingindo 500 mil QPS em benchmarks. Desde fevereiro, ultrapassou 1 milhão de downloads semanais, com adoção de Microsoft, Apple, Adobe, T-Mobile e Expedia. A arquitetura usa control plane xDS, herdando lições do Istio ambient mesh, para resolver desafios operacionais de equipes que orquestram agentes de IA sobre múltiplos serviços e APIs.
Segundo o relatório State of Agentic AI da Docker, 60% das organizações já rodam agentes de IA em produção, mas 40% apontam segurança e conformidade como principais barreiras para escalar. A resposta está em frameworks de governança que definam regras, papéis e processos de revisão em todo o ciclo de vida da IA. Pesquisas da Deloitte reforçam: empresas com liderança sênior ativa na estratégia de IA entregam valor de negócio significativamente maior do que aquelas que deixam a governança só com times técnicos.
O Crossplane v1.20.9 introduziu o comando `crossplane beta upgrade check`, que analisa control planes v1.x em busca de quebras de compatibilidade antes da migração para a v2. A ferramenta identifica automaticamente recursos incompatíveis e sugere correções específicas para cada caso. Read-only por design, ela substitui a revisão manual da documentação por uma varredura automatizada em compositions, packages e recursos, essencial para capturar casos de borda antes do upgrade.