- O terceiro risco da IA: e se o alinhamento correr bem e mesmo assim perdermos?
O ensaio «O terceiro risco» defende que o pior cenário da AGI não é a bolha financeira nem a perda de controlo, mas uma IA perfeitamente alinhada nas mãos de meia dúzia de pessoas. Resumo do argumento e a minha opinião sincera.
- PHP2Shell: a vulnerabilidade crítica no motor do PHP que pode comprometer metade da web
CVE-2026-109618 e CVE-2026-109619 (PHP2Shell) são duas falhas críticas de corrupção de memória no próprio motor PHP, com CVSS 9.2, que permitem RCE não autenticado por um simples POST — independentemente da aplicação. Mecanismo, exploração em estado real e como verificar se estás vulnerável.
- Abliteration e modelos sem censura: do «não» apagado ao WhiteRabbitNeo
A abliteration remove as recusas de um LLM apagando uma única direção nas suas ativações, sem o voltar a treinar. Como funciona, o que custa, para que serve, e o WhiteRabbitNeo (agora Deep Hat), um modelo de cibersegurança treinado para não recusar.
- Adception: anúncios do Google Ads e redirects do Bing a instalar malware a fingir-se de Claude
Uma campanha apelidada Adception usa anúncios do Google Ads com redirects do Bing para levar a vítimas a uma falsa página de instalação de Claude que executa comandos maliciosos no macOS via ClickFix.
- Elvenarchy: as estatísticas de Elvenar que faltavam
Porque criei o Elvenarchy, um site de estatísticas de Elvenar (Elvenar stats) com rankings, torneios, irmandades e histórico de 50 mundos — o que se pode encontrar lá e como funciona por dentro.
- A IA consegue ler a dor na cara de um gato?
O que a Feline Grimace Scale mede, como funciona o pipeline de IA estudado em 2023 e porque uma pontuação não substitui o veterinário.
- Corrigir os acentos no chat do Elvenar (macOS) com um userscript
No chat do Elvenar, no macOS, o acento aparece antes da letra (´a em vez de á). Explica a causa, como a confirmar na consola do browser e como instalar um userscript de menos de 50 linhas que a resolve.
- Notificações do irssi no macOS: menções, ligação perdida e falta de autenticação
Como receber notificações nativas no macOS quando o irssi, a correr num servidor remoto dentro de um screen, te menciona, perde a ligação ou fica por autenticar. Inclui a definição que faz o highlight apanhar o nick em qualquer posição da frase.
- SoL-Pi no macOS: instalar o harness Pi e poupar tokens com Claude
Guia passo a passo para instalar o SoL-Pi, a extensão de eficiência de tokens da NVIDIA para o harness de agentes Pi, no macOS com Claude via API.
- Debian e Hyprland num MacBook M1: guia de instalação
Como instalar Debian num MacBook Apple M1 através do port Bananas e preparar o Hyprland como compositor Wayland, seguindo a wiki oficial do Debian.
- Undiscord: apagar mensagens em massa no Discord
O dialog do Undiscord ficava ilegível no tema escuro. Explico a correção de contraste e o novo auto-purge, com o script completo para o Tampermonkey.
- NIS2 em Portugal: o que muda com o Regulamento n.º 756/2026 e o que devem fazer as PME
O Regulamento n.º 756/2026 do CNCS dá aplicação prática ao novo Regime Jurídico da Cibersegurança em Portugal. Guia prático para PME: registo no MyCiber, entidades abrangidas e resposta a incidentes.
- O que está realmente a acontecer aos empregos? Separar o hype da IA da realidade
Um policy brief da Stanford analisa o impacto real da IA nos empregos, separando o hype da evidência. Spoiler: não é tão simples como «vamos ficar todos sem trabalho».
- A shell colon (:) não faz nada. Usa-a na mesma.
O comando : no shell/bash não faz absolutamente nada. Mas é uma das ferramentas mais úteis que tens no teu arsenal de scripting. Descobre porquê.
- Dar vida ao terminal do macOS: guia completo para um setup moderno
Guia completo para transformar o terminal do macOS num ambiente produtivo com realce de sintaxe, ls a cores, e um prompt digno de screenshot.
- OpenCode Models 2026: Guia Completo dos 75+ Providers e Modelos Suportados
Guia exaustivo sobre os modelos suportados pelo OpenCode em 2026: 75+ providers, configuração, comparação de preços, desempenho e dicas para escolher o modelo certo para cada tarefa de coding.
- Exploit na Volvo/Eicher: como um investigador ganhou controlo sobre todos os veículos da frota
Um investigador encontrou vulnerabilidades na plataforma de frotas Volvo/Eicher que permitiam controlo total sobre veículos e utilizadores. 155 pontos no HN e 50 comentários.
- LLM Usage in Debian: três propostas para a comunidade
A comunidade Debian está a votar três propostas sobre o uso de LLMs no projeto. O que está em cima da mesa e porque é que o debate importa.
- Modelos da OpenAI escaparam do sandbox e invadiram a Hugging Face
Modelos da OpenAI escaparam de um ambiente de teste seguro e invadiram a infraestrutura da Hugging Face para roubar dados. Um incidente que inverte o modelo de ameaças tal como o conhecemos.
- Gemini 3.5 Flash Cyber: a Google criou (finalmente) um LLM para segurança
Google lançou Gemini 3.6 Flash, 3.5 Flash-Lite e 3.5 Flash Cyber — um modelo fine-tuned para cibersegurança que deteta vulnerabilidades. Análise técnica dos três modelos e o que o Cyber significa para blue e red teams.
- Centenas de naves a negociar sozinhas: The Space Project em Rust e Bevy
Space Project é um simulador de economia espacial auto-suficiente em Rust e Bevy. Centenas de naves autónomas negociam, mineram e vão à falência sem input do jogador.
- Kimi K3 vs Fable: Quando o melhor modelo é nenhum deles
Kimi K3 é competitivo com Fable 5 em benchmarks, mas a Fireworks AI descobriu que a verdadeira inovação não está num ou noutro — está em usar os dois. Como um router de modelos atingiu 93% de accuracy combinada.
- Scriptc: o compilador TypeScript-to-Native da Vercel que dispensa JavaScript
A Vercel lançou o Scriptc, um compilador que transforma TypeScript diretamente para nativo, sem JavaScript engine no binário. 281 pontos e 156 comentários no HN.
- Queimei todos os meus tokens a pesquisar como poupar tokens
Bartosz Kotrys queimou o plano inteiro do Claude Max 5x em 30 minutos a fazer deep research. Criou um pipeline que usa 3 subscrições em paralelo para poupar 10x mais tokens.
- Quando a IA nos faz acreditar que o errado é certo
Estudo mostra que conselhos de IA fazem as pessoas ficar 3x menos precisas mas 2x mais confiantes. A rendição cognitiva é um fenómeno real.
- O Claude Code trocou o Node.js pelo Bun. O Bun foi reescrito em Rust.
O Claude Code deixou o Node.js e passou a usar Bun como runtime. O Bun foi reescrito de Zig para Rust com ajuda do próprio Claude.
- OpenAI Reduz Contexto do Codex de 372k para 272k — E Isso É Bom
A OpenAI reduziu o contexto do Codex de 372k para 272k tokens. À primeira vista parece um downgrade. Mas contexto maior nem sempre é melhor.
- Hardware não é tão difícil — 2500 gravadores MIDI depois
Chip Weinberger vendeu 2500 unidades do Jamcorder e mostra que hardware não é o monstro que os developers pensam. Lições reais sobre simplicidade, produção e logística.
- SQLite em produção: como otimizar WAL Mode, Concurrency e VFS Layers
Guia prático de otimização de SQLite em produção: WAL mode, concorrência, VFS layers e tuning para servidores de baixa latência.
- GPT-5.6 fechou um gap de 30 anos em otimização convexa — com um prompt
Phillip Kerger, professor em Berkeley, usou o GPT-5.6 Sol Pro para resolver um problema aberto desde 1996 em otimização convexa. O modelo produziu a prova numa sessão de 2.5 horas. A verificação em Lean confirmou.
- USB Type-C por dentro: CC pins, Power Delivery e debugging no terminal
24 pinos, 18 fios, 1 conector para governar todos. Mas nem todos os cabos USB-C são iguais. O USB Type-C é o conector mais versátil que alguma vez standardizámos. Transmite dados a 40 Gbps, vídeo 8K, áudio digital, e energia até 240W — tudo pe
- Solod: Go pode ser um C melhor (sem GC, sem runtime, com tooling do Go)
Escreves Go. Sai C legível. Zero runtime, zero GC, interop nativa. Parece magia, é engenharia. Go é conhecido por ser uma linguagem de alta produtividade para backend, microserviços e tooling. Mas há um grupo de developers que olha para o Go e
- Betão Romano: O sistema que se auto-repara (e o que os devs podem aprender com ele)
2.000 anos debaixo de água salgada e ainda mais forte que quando foi feito. O teu software aos 2 meses já tem bit rot. O Panteão de Roma, a Cúpula de 43 metros de diâmetro, foi construído em 128 d.C. com betão. Ainda hoje é a maior cúpula de b
- Microsoft Comic Chat: O IRC que falava em banda desenhada (e agora é open source)
30 anos depois, o código do chat que ajudou a lançar o Comic Sans e que transformava conversas IRC em banda desenhada está aberto ao mundo. Em 1996, a Microsoft lançava o Internet Explorer 3.0. Vinha com Outlook Express, NetMeeting, e uma pequena aplicação que parecia saída de um
- Decoy Font: Como enganar bots de IA com typography poisoning
O teu texto parece normal aos olhos humanos. Para um LLM, é lixo estrutural. Estamos em 2026. Toda a gente com um negócio online sabe que os crawlers de AI andam a vasculhar websites para treinar modelos. E não, não pedem licença. Para muitos
- Self-hosting de LLMs: valerá a pena hospedar o Kimi K3 em casa?
A IMEC analisou o custo-benefício de self-hosting do Kimi K3: cerca de 20% mais custo de hardware e 24 pontos percentuais mais tarefas resolvidas (86,4% contra 62,5%). Será que compensa?
- I Love LLMs, I Hate Hype — a Reflexão do GeoHot que Precisavas de Ler
George Hotz adora IA. Detesta é o hype tóxico que a rodeia. Neste artigo de opinião, explico porque é que ele tem toda a razão — e porque é que deves desligar o ruído.
- StyleSeed: Design Rules para Agentes de IA Deixarem de Fazer UI Genérica
StyleSeed é um motor de design open-source com 74 regras e 48 componentes que ensina agentes de IA a produzir UI refinada. Quality gate, skins e motion incluídos.
- YouTrackDB: a base de dados orientada a objetos da JetBrains que corre em grafos
Exploração do YouTrackDB, a base de dados objeto-relacional orientada a grafos da JetBrains: arquitetura, YQL, modelo OO, isolamento snapshot, suporte TinkerPop/Gremlin e como começar em modo embedded.
- Linux 0.11 Reescrito em Rust — Uma Viagem ao Início de Tudo
O kernel Linux 0.11 de 1991 reescrito em Rust idiomático — um projeto que nos leva de volta às origens do sistema operativo mais influente do mundo, traduzidas para uma linguagem moderna. Boota em i386 no QEMU.
- Handbook.md: quando as políticas de segurança falham, os agentes de IA fazem o que lhes convém
Um paper do arXiv mostra que documentos de política longos são ineficazes a governar agentes de IA. As implicações para segurança de agentes autónomos.
- Codex está a encriptar os prompts dos sub-agentes — e isso é um problema de auditabilidade
Um merge do Codex CLI encripta as mensagens entre agentes multi-agente. O problema? O histórico deixa de ser legível. Análise à issue #28058, ao PR #26210, e ao que falta para resolver o conflito entre privacidade e auditabilidade.
- Guardian Angels: A Visão de Gwern para LLMs Personalizados
Análise aprofundada do ensaio Guardian Angel de Gwern: uma proposta para LLMs personalizados que funcionam como «gémeos digitais», emulando personalidade, valores e preferências do utilizador para produtividade e segurança num mundo dominado por IA.
- Claude Code vs OpenCode: O Preço Oculto dos Tokens
Análise técnica comparativa do overhead de tokens entre Claude Code e OpenCode. A Systima mediu exatamente o que cada harness envia por pedido — e os números são reveladores.
- clawk — Dá um VM Linux Descartável ao Teu Coding Agent
clawk é uma CLI em Go que cria VMs Linux descartáveis para coding agents. Cada agente tem o seu próprio ambiente isolado, rede restrita e ciclo de vida independente — sem expor a tua máquina.
- AI 2040 — O Plano Para Sobreviver à Superinteligência
Análise aprofundada do site ai-2040.com e do seu "Plano A": um cenário detalhado para atrasar o desenvolvimento da superinteligência até 2040 através de cooperação internacional, transparência total na investigação e um regime de destruição mutuamente assegurada de poder computacional. Será realista ou otimista demais?
- Telemóvel GrapheneOS apagou-se durante busca no aeroporto — e o dono foi acusado
Um cidadão dos EUA foi acusado depois do seu telemóvel GrapheneOS se ter apagado durante uma busca num aeroporto. O caso que reacende o debate sobre privacy e law enforcement.
- Porque é que developers estão a trocar o GitHub pelo Codeberg e self-hosting
Entre outages constantes, tensões políticas e a integração agressiva de IA, projetos como Ghostty e Zig estão a sair do GitHub. Será o início de uma migração em massa? Uma análise às alternativas — Codeberg, Sourcehut, Gitea e self-hosting.
- Devemos a Nossa Inteligência aos Neurónios Únicos do Cérebro Humano
Um novo estudo publicado na PNAS mostra que os neurónios do córtex humano são estruturalmente únicos. A nossa inteligência pode residir não no número de neurónios, mas na sofisticação de cada um deles.
- Agent Draw: Quando um Agente de IA Desenha por Ti no TLDraw
Agent Draw é uma ferramenta que permite a um agente de IA desenhar num canvas infinito enquanto falas. Baseado no SDK do TLDraw, usa transcrição de voz com Mistral Voxtral e uma fila de desenhos para criar diagramas, esquemas e ilustrações em tempo real.
- Porque é que Lisp é Importante — Uma Reflexão
Lisp é a segunda linguagem mais antiga ainda em uso, depois do Fortran. Sobreviveu décadas sem nunca se tornar mainstream. O que é que ela tem que continua a atrair programadores? Uma reflexão sobre a linguagem mais poderosa que (talvez) nunca vais usar.
- A reescrita do Bun em Rust — como está a correr?
O Bun, runtime JavaScript escrito em Zig, está a ser reescrito em Rust. O que mudou, o que melhorou, e o que ainda falta.
- Rússia e China preparam-se para abater o Starlink: o que revelam os documentos secretos
Documentos secretos de fóruns militares sino-russos revelam planos conjuntos para neutralizar o Starlink de Elon Musk, desenvolver sistemas de defesa antimísseis e testar tecnologia chinesa em cenários de combate real na Ucrânia.
- O bug que só afetava utilizadores canhotos
Um bug no WordPress que ficou 7 anos sem ser corrigido — porque só aparecia a quem usa o telemóvel com a mão esquerda. Uma história sobre assumptions no desenvolvimento web.
- Alemanha: a máquina de atrair talento que não os consegue lá manter
A Alemanha consegue atrair migrantes qualificados, mas falha a retê-los. Burocracia, língua e habitação são os maiores obstáculos. Uma análise ao paradoxo alemão.
- TAOCP: O Monumento Inacabado de Knuth
Reflexão sobre The Art of Computer Programming, a obra monumental de Donald Knuth que há mais de 50 anos define o que significa saber programar — e que ainda não está acabada.
- Claude Fable 5 no Vending-Bench: o modelo que mente, engana e racionaliza
Análise do comportamento do Claude Fable 5 no Vending-Bench da Andon Labs: formação de cartéis, mentiras a fornecedores, e a estranha moralidade seletiva dos LLMs.
- A Era do Hardware Personalizado Está a Chegar — E isso é Bom
Reflexão sobre o fim dos dispositivos fechados e a abertura do hardware a quem realmente o usa. Inspirado pelo artigo da GEA Stack sobre a personalização do hardware pessoal.
- Fine-tune RL de $500 num modelo 9B aberto bateu modelos frontier em catalog review
Um fine-tune de $500 com Reinforcement Learning num modelo aberto de 9B parâmetros superou modelos frontier como o GPT-5.5, o Claude Opus 4.8 e o Fable 5 numa tarefa de catalog review.
- Claude Design System Prompt: O Fim dos Layouts com Aspecto de IA
O projeto open-source que transforma LLMs em designers com opinião — acessíveis, sem slop de IA, e com tokens de design a sério. Descobre o Claude Design System Prompt.