Naroga BlogInsights sobre IA para times de desenvolvimento, ferramentas, processos e governança.https://naroga.com.br/Camadas de serviço para inferência em APIs de modeloshttps://naroga.com.br/blog/camadas-de-servico-para-inferencia-em-apis-de-modelos/https://naroga.com.br/blog/camadas-de-servico-para-inferencia-em-apis-de-modelos/Flex e Priority no Gemini API formalizam o que Google, OpenAI, Anthropic, Vertex e Bedrock já convergem: custo e latência agora são parte do contrato.Wed, 15 Apr 2026 00:00:00 GMTLeanstral e o contrato do coding agent: quando a IA encosta num verificador formalhttps://naroga.com.br/blog/leanstral-e-o-contrato-do-coding-agent-quando-a-ia-encosta-num-verificador-formal/https://naroga.com.br/blog/leanstral-e-o-contrato-do-coding-agent-quando-a-ia-encosta-num-verificador-formal/Análise técnica do Leanstral da Mistral: code agent open-source para Lean 4, FLTEval, e o papel de verificadores formais no pipeline de IA aplicada a dev.Tue, 14 Apr 2026 00:00:00 GMTProject Glasswing e Claude Mythos: quando coding agents encontram segurança ofensivahttps://naroga.com.br/blog/project-glasswing-e-claude-mythos-quando-coding-agents-encontram-seguranca-ofensiva/https://naroga.com.br/blog/project-glasswing-e-claude-mythos-quando-coding-agents-encontram-seguranca-ofensiva/Análise técnica do Project Glasswing da Anthropic: capacidades do Claude Mythos em segurança, validação Mozilla e impacto em AppSec.Mon, 13 Apr 2026 00:00:00 GMTA nova arquitetura dos coding agents: do modelo isolado ao sistema agentichttps://naroga.com.br/blog/a-nova-arquitetura-dos-coding-agents-do-modelo-isolado-ao-sistema-agentic/https://naroga.com.br/blog/a-nova-arquitetura-dos-coding-agents-do-modelo-isolado-ao-sistema-agentic/Análise técnica da mudança arquitetural em coding agents: modelos menores, contexto de IDE, revisão multi-modelo e engenharia de sistemas.Fri, 10 Apr 2026 00:00:00 GMT