O Leanstral 1.5 e o modelo open weights da Mistral AI especializado em gerar provas matemáticas formais em Lean 4. Entenda como funciona, para quem serve e por que isso importa para devs e pesquisadores.
SearXNG e um metabuscador open source que agrega resultados de Google, Bing e dezenas de outras fontes sem rastrear nenhuma informação sua. Neste guia você aprende a instalar sua própria instância com Docker, usar a API JSON em projetos e configurar tudo para máximo de privacidade.
SearXNG e um metabuscador open source que agrega resultados do Google, Bing e dezenas de outras fontes sem rastrear você. Aprenda como funciona, como instalar com Docker e por que cada vez mais desenvolvedores preferem rodar o próprio buscador.
Aprenda a rodar modelos de linguagem de ponta no seu próprio computador, sem depender de APIs pagas ou conexão com internet. Este guia cobre ferramentas, requisitos de hardware, modelos recomendados e dicas para extrair o máximo de desempenho.
O Immich chegou a versão 3.0 e voltou ao topo do Hacker News. Entenda como funciona essa alternativa open source ao Google Fotos, como instalar com Docker, o que a busca com IA faz na prática e para quem o self-hosting de fotos realmente vale a pena.
O PeerTube voltou ao topo do Hacker News como alternativa livre e federada ao YouTube. Entenda como funciona a federação via ActivityPub, como assistir e publicar vídeos, como hospedar sua própria instância e para quem essa proposta faz sentido.
O Podman lançou a versão 6.0.0 e voltou ao topo das discussões entre devs. Entenda o que é o Podman, como ele roda containers sem daemon e sem root, como migrar do Docker e quando vale a pena fazer a troca.
O F-Droid publicou uma análise detalhada mostrando que o ADV, sistema de verificação de desenvolvedores do Android, coleta dados do dispositivo e os envia para servidores do Google sem consentimento claro. Entenda o que é o ADV, como ele funciona e por que isso importa para desenvolvedores e usuários de apps fora da Play Store.
Aprenda como o Google Copybara automatiza a sincronização de código entre repositórios. Veja como instalar, configurar e usar essa ferramenta open source usada internamente pelo Google para manter monorepos e repos públicos em sincronia.
O criador do Box2D, Erin Catto, acaba de anunciar o Box3D, um motor de física 3D de código aberto. Entenda o que muda para desenvolvedores de jogos e simulações 3D.
A engine de games Godot anunciou que não vai mais aceitar contribuições de código gerado por IA. O motivo: a equipe não consegue confiar que contribuidores com uso intenso de IA entendam o que estão enviando. Entenda a decisão e o debate que gerou.
O Zluda 6 chegou e permite rodar workloads CUDA em GPUs AMD e Intel sem mudar uma linha de código. Descubra como funciona, para quem serve e se vale a pena testar no seu setup de desenvolvimento ou IA.
O Qwen3 da Alibaba virou o favorito de quem quer rodar IA localmente sem depender de APIs pagas. Neste post, explicamos como funciona, como instalar e por que a faixa de 27B de parâmetros e considerada o ponto ideal para desenvolvimento.
O Ornith-1.0 e um modelo open source criado para programação agentica, capaz de se auto-melhorar em tarefas de código. Neste post você entende como ele funciona, para que serve e como testar.
O Plausible Analytics e uma ferramenta de web analytics open source, leve e sem cookies. Veja como funciona, como instalar na nuvem ou self-hosted e por que virou a principal alternativa ao Google Analytics para quem leva privacidade a serio.
Cansado de reescrever integração para cada modelo de IA? O LiteLLM padroniza chamadas a mais de 100 LLMs no formato OpenAI e ainda entrega fallback, controle de custo e logs. Veja como funciona e quando usar.
O OpenRA é um motor de jogos de estratégia em tempo real, livre e open source, escrito em C#. Ele recria clássicos como Command and Conquer e Red Alert com melhorias modernas. Veja como funciona, os recursos e como rodar no seu computador.
Beer CSS e um framework CSS open source que implementa o Material Design 3 do Google usando apenas HTML e CSS puro, sem dependências de JavaScript. Aprenda a adicionar components prontos, temas dark/light e responsividade em minutos.
O DeepSeek liberou o código-fonte do DSpark, conjunto de otimizações de inferência que acelera a geração de tokens em 60 a 85% comparado ao baseline. Entenda o que muda, como funciona e por que isso importa para quem roda modelos locais.
A distancia entre modelos de linguagem de código aberto como Llama e Qwen e os modelos fechados como GPT e Claude esta diminuindo rapidamente. Veja o que cada abordagem oferece, quando cada uma faz sentido e o que esperar do mercado em 2026.
Um incidente de segurança batizado de CVE-2026-LGTM revelou como ferramentas de revisão de código automatizadas podem ser exploradas para aprovar pull requests com código malicioso. Entenda o que aconteceu e como proteger seu pipeline.
O OpenKnowledge e uma base de conhecimento open source que usa IA para organizar e recuperar informações técnicas. Conheça como funciona, como instalar e quando ele é melhor que Obsidian ou Notion.
You're the OS e um jogo open source onde você assume o papel do sistema operacional e precisa gerenciar processos, memória e eventos de I/O em tempo real. Uma forma divertida e prática de entender conceitos fundamentais de SÓ que todo desenvolvedor deveria conhecer.
O GLM-5.2 é um modelo de linguagem open source da Zhipu AI que pode ser rodado no seu computador com a ajuda do Unsloth. Neste post você aprende o que é o GLM-5.2, como ele se compara a modelos como GPT-4 e como configurar tudo do zero para inferência local.
Os modelos de linguagem open source estão cada vez mais precisos e, em benchmarks de alucinação, já superam nomes conhecidos como o GPT. Entenda o que são alucinações em IA, por que isso importa para devs e qual modelo escolher para o seu projeto.
Odysseus e um workspace de IA completo que você hospeda no próprio servidor - chat, agentes, pesquisa, documentos, email e modelos locais em uma única interface open source
Pesquisadores descobriram mais de 10 mil repositórios no GitHub distribuindo Trojans disfarçados de projetos legítimos. Entenda como funciona o ataque, quais sinais identificam repos maliciosos e o que fazer para proteger sua máquina e sua equipe.
O Lore é um sistema de controle de versão open source criado para resolver os limites do Git em repositórios gigantes. Neste post você entende como ele funciona, quando usar e como começar.
Pesquisadores encontraram 21 vulnerabilidades zero-day no FFmpeg, a biblioteca de midia mais usada do mundo. Entenda o que são essas falhas, quais versões estao em risco e como proteger seus projetos que usam FFmpeg em produção.
A Xiaomi lançou o MiMo Code, um modelo de IA open-source focado em geração de código. Veja como ele funciona, o que ele faz bem, como testar agora mesmo e se vale a pena considerar como alternativa ao GitHub Copilot ou Cursor.
O Homebrew 6.0.0 chegou com mudanças importantes para quem usa macOS no dia a dia de desenvolvimento. Neste post você descobre o que mudou, como atualizar e por que essa versão é um marco na história do projeto.
A Microsoft lançou o pg_durable, uma extensão open-source que traz execução durável para dentro do PostgreSQL. Sem orquestradores externos como Temporal: o próprio banco garante que seus workflows sobrevivem a falhas, reinicios é deploys.
A Anthropic lançou o defending-code-reference-harness, um framework open-source que usa IA para encontrar vulnerabilidades em código automaticamente. Veja como funciona, quais tipos de falha ele detecta e como testar no seu projeto.
Workflows, APIs, webhooks, filas e automações inteligentes com o n8n - a plataforma open source de automação visual que conecta qualquer sistema.