A empresa controladora da Kraken está aprofundando sua atuação nos mercados regulamentados de criptoativos com a aquisição planejada da plataforma de derivativos Bitnomial, em um negócio avaliado em até US$ 550 milhões. A medida internaliza uma infraestrutura valiosa licenciada pela CFTC, proporcionando à Payward um caminho mais rápido para oferecer produtos de derivativos compatíveis com a regulamentação dos EUA, como perpetuals e options. Isso também posiciona a empresa para expandir sua oferta B2B, permitindo que fintechs e instituições financeiras se conectem ao trading regulamentado de criptoativos por meio de uma única integração.
CEVIU News
As melhores notícias de tecnologia, curadas diariamente para quem vive tech.
16994 notícias encontradas
O servidor MCP do Figma capacita agentes de IA a conectar com precisão a lacuna entre design e código, e vice-versa, ao transformar dados de design brutos em um formato estruturado e amigável para LLMs.
O Google está categorizando explicitamente o "back button hijacking", prática na qual sites manipulam o histórico do navegador para prender usuários, como uma violação da política de spam. Essa nova diretriz visa aprimorar a experiência do desenvolvedor e a qualidade de navegação, com a aplicação das regras prevista para começar em 15 de junho. A medida busca combater manipulações que prejudicam a usabilidade e a integridade da navegação web.
O desenvolvimento de software multi-agente é fundamentalmente um problema de sistemas distribuídos, apresentando resultados de impossibilidade inerentes, como os teoremas FLP e dos Generais Bizantinos. Essa complexidade não pode ser superada apenas por LLMs mais inteligentes, o que ressalta a necessidade de protocolos e linguagens de coordenação explícitos, em vez de depender exclusivamente de futuras melhorias nos modelos de IA.
As representações tradicionais da Quinta Forma Normal (5NF) podem ser confusas devido a exemplos desmotivados e divisões ilógicas. Contudo, ao projetar esquemas a partir de requisitos de negócio e modelos lógicos, é possível produzir naturalmente esquemas físicos que já estão totalmente normalizados. Este processo se dá através de padrões de design, como o triângulo AB-BC-AC ou a estrela ABC+D, que permitem que a normalização seja alcançada de forma orgânica. Assim, a decomposição explícita em 5NF torna-se, na prática, desnecessária, uma vez que a estrutura correta emerge do próprio processo de design.
Uma avaliação de Gemma 4 como um modelo de programação baseado em agentes local no Codex CLI, comparado a modelos de nuvem como GPT-5.4, demonstrou que a confiabilidade na primeira tentativa, e não a velocidade bruta de token, foi a métrica de desempenho mais crucial, visto que os modelos de nuvem se mostraram os mais rápidos e confiáveis. Embora os modelos de nuvem ainda ofereçam o melhor desempenho geral, a capacidade de Gemma 4 de fazer chamadas de ferramenta (tool-calling) torna a programação local baseada em agentes uma opção viável.
Projetos open source como o Jellyfin enfrentam backlogs massivos de Pull Requests (PRs) não mergeados, causados por gargalos operacionais. Um dos principais fatores é a alta utilização de um único mantenedor, que pode se aproximar de 100% de sua capacidade, resultando em tempos de espera crescentes exponencialmente e um fenômeno conhecido como "batch size death spiral", onde PRs de grande porte obstruem o sistema. Para mitigar essa situação, é crucial otimizar o tempo dos mantenedores existentes. As estratégias incluem limitar o tamanho dos PRs, estabelecer critérios de qualidade rigorosos, restringir o trabalho em andamento (WIP), definir cadências claras para revisões e implementar uma estrutura de níveis para revisores, garantindo maior fluidez e qualidade no desenvolvimento de software.
Pesquisas acadêmicas financiadas pelo governo, que se estenderam por 30 anos e focaram em computação paralela, gráficos e processamento de stream, impulsionaram diretamente o desenvolvimento da computação de GPU. Essa tecnologia é hoje vital para a revolução moderna da inteligência artificial (IA) e detém um valor econômico considerável. A expertise acadêmica fundamental foi transferida para a indústria, culminando na evolução de linguagens como Brook para CUDA na Nvidia.
Confiar apenas em tipos escalares gera bugs semânticos sutis que contornam os compiladores, pois eles não conseguem diferenciar conceitos de domínio distintos, um risco que não é totalmente mitigado nem mesmo agrupando parâmetros em structs. A solução proposta é encapsular cada conceito de domínio significativo em um "newtype" distinto, garantindo que o compilador imponha a correção semântica e resultando em código mais seguro, autodocumentado e com validação em tempo de compilação.
Um desenvolvedor criou o linter de análise estática customizado "transactioncheck", utilizando o framework `go/analysis` do Go, para resolver bugs sutis em transações de banco de dados. Esses bugs causavam corrupção de dados e race conditions, frequentemente não detectados em revisões de código e testes. Este linter funciona percorrendo a Abstract Syntax Tree (AST) para verificar se todas as operações de banco de dados utilizam corretamente o parâmetro com escopo de transação. Dessa forma, ele captura eficientemente violações existentes e previne futuros bugs em tempo de compilação ao ser executado na CI.
O Google Chrome está lançando Skills, uma nova funcionalidade que permite aos usuários salvar e reutilizar seus prompts de IA mais eficazes como ferramentas de um clique para tarefas recorrentes em diferentes páginas web. Essas ferramentas personalizadas otimizam fluxos de trabalho, como comparações de produtos ou análise de documentos.
Claude Code Routines automatizam tarefas repetitivas e não supervisionadas, como code review ou triagem de alertas. Isso é feito executando configurações salvas de forma autônoma na infraestrutura em nuvem da Anthropic. Desenvolvedores podem acionar essas rotinas por meio de agendamentos, chamadas de API ou eventos do GitHub, como pull requests. A gestão e o controle dessas rotinas são realizados por meio da interface web, do CLI ou do aplicativo desktop, oferecendo flexibilidade e integração ao fluxo de trabalho.
A mentalidade hacker exige ir além das regras superficiais e abstrações de um sistema, buscando compreender a fundo sua mecânica subjacente. Essa perspectiva permite não apenas antecipar problemas, mas também desenvolver soluções não convencionais e otimizadas. É o poder de entender o funcionamento real de um sistema que viabiliza resultados de alta performance e eficiência.
A equipe de Engenharia do Slack superou as limitações da janela de contexto de LLMs em investigações de segurança multi-agente de longa duração, empregando três canais de contexto complementares. O sistema implementado utiliza um Diário do Diretor para gerenciar memória estruturada, uma Revisão do Crítico para avaliar e refinar descobertas imprecisas, e uma Linha do Tempo do Crítico para construir uma cronologia de eventos plausível.
O Manifesto do Agente de Codificação por IA estabelece valores centrais que enfatizam contratos sobre convenções, verificação sobre geração e comunicação explícita para guiar o desenvolvimento de software orientado por IA. O manifesto, então, delineia doze princípios, como humanos definindo esqueletos de código, documentando convenções de agentes, separando a geração de código do julgamento e tratando o código gerado por IA como "culpado até que se prove o contrário".
Stacked PRs decompõem grandes mudanças em uma sequência de pull requests menores e dependentes. Essas PRs podem ser revisadas individualmente, mas mescladas em conjunto, o que melhora a qualidade da revisão, a velocidade e o gerenciamento de conflitos. O GitHub oferece suporte nativo a essa abordagem, com navegação UI, rebases em cascata e tooling de CLI, permitindo que equipes (e até mesmo agentes de IA) gerenciem alterações complexas como camadas estruturadas e incrementais.
Rastreadores de IA geram tráfego de alto volume, diverso e ineficiente, o que aumenta as ocorrências de cache miss em CDNs, degrada o desempenho e eleva a carga nos servidores de origem, em comparação com o tráfego humano. A Cloudflare propôs estratégias de cache cientes de IA, incluindo separação de tráfego e novos algoritmos de cache, visando equilibrar o desempenho ao suportar tanto requisições de IA quanto humanas.
A Docker e a Arm lançaram uma cadeia de 7 ferramentas MCP (Model Context Protocol) que permite analisar Hugging Face Spaces para compatibilidade Arm64 em cerca de 15 minutos. Esta solução aborda um problema de deployment que afeta aproximadamente 80% dos Spaces baseados em Docker que nunca foram testados em hardware Arm.
A Cloudflare lançou Workers de saída (outbound Workers) para seus Sandboxes e Containers, funcionando como proxies egress programáveis. Estes permitem aos desenvolvedores controlar, autenticar e monitorar requisições de rede de agentes de IA sem expor tokens de API a workloads de LLM não confiáveis. O objetivo é fortalecer a segurança e o controle sobre o tráfego gerado por IA. O recurso utiliza JavaScript para interceptar tráfego HTTP/HTTPS na mesma máquina que o sandbox, possibilitando autenticação zero-trust através da injeção de credenciais no lado do servidor. Além disso, permite alterações dinâmicas de política de rede durante a sessão e integração fluida com o ecossistema da Cloudflare, incluindo serviços como R2 e KV storage.
O code review tradicional é inadequado para projetos de machine learning por não contemplar o contexto de dados, suposições e comportamento do sistema. Isso resulta em problemas que passam despercebidos, mesmo com código limpo. Revisões sensíveis ao contexto melhoram a confiabilidade ao integrar a intenção, a consistência dos dados e os casos de borda ao processo de avaliação.