Unsloth Dynamic 3.0 GGUFs: +10% precisão em Qwen3.8-27B com mesmo tamanho

Unsloth lança Dynamic v3.0 para Qwen3.8-27B: +10% top-1% accuracy vs concorrentes, Divergence-300 @32 e KL Divergence aprimorados, sem QAT/QAD — segundo un

DeepMind abre WeatherNext: um dia extra de aviso para ciclones

Modelo de IA da DeepMind prevê ciclones com um dia extra de precisão e agora é open source.

Hexágonos mágicos de todas as ordens: descoberta com IA

Pesquisador usa IA para encontrar hexágonos mágicos de todas as ordens até 21, quebrando recorde anterior.

Oberon System migra de RISC-5 para RISC-V em novo projeto

Projeto migra o Oberon System de Wirth para RISC-V, usando compilador OP2 e emulador RV32, mantendo fidelidade ao livro original.

A crise existencial dos trabalhadores do conhecimento na era da IA

Trabalhadores do conhecimento questionam o sentido do trabalho diante da IA. Uma análise sobre o fim do workismo.

Domínio à venda? Agora o DNS avisa com registro _for-sale

Novo padrão RFC 10023 permite anunciar venda de domínio via DNS, sem derrubar o site. Saiba como funciona.

NASA estende vida da Voyager 2 por mais um ano com ajuste de energia

Sonda de 48 anos ganha sobrevida com mudanças de energia; instrumentos científicos seguem ativos.

Nixpkgs core team se dissolve e critica governança do Steering Committee

Time central do Nixpkgs anuncia dissolução, cita microgestão e comunicação falha do SC; futuro da governança em aberto.

EUA perdem 23 mil empregos em julho; mercado de trabalho estagna

Relatório de empregos dos EUA mostra perda de 23 mil vagas em julho, com salários abaixo da inflação e participação na força de trabalho em baixa.

Goma de mascar bioengenheirada reduz HPV em até 93% em testes

Goma de mascar bioengenheirada reduz HPV em até 93% e elimina bactérias ligadas ao câncer de cabeça e pescoço, preservando a microbiota bucal.

Kitesurf: navegador para agentes de IA roda em V8 isolates na Cloudflare

Cloudflare lança Kitesurf, navegador para agentes de IA em Workers, com eficiência superior ao Chromium.

Anthropic paga 6x o mercado por eventos enquanto CEO critica motivação financeira

Dario Amodei teme que novos contratados se importem só com dinheiro, mas vaga paga até US$ 400 mil.

Nepal é o 47º governo a aderir ao serviço gratuito do Have I Been Pwned

NCSC do Nepal ganha acesso ao monitoramento de domínios governamentais contra vazamentos de dados na plataforma HIBP.

Tribunal do Novo México ordena Meta a pagar US$ 567 mi por danos a crianças

Corte do Novo México adiciona US$ 567 mi à multa da Meta, totalizando US$ 942 mi por danos à saúde mental de crianças.

AMD compra Taalas e grava modelos em silício para turbinar inferência

AMD adquire startup Taalas para acelerar inferência de IA com circuitos específicos por modelo, gerando até 17 mil tokens por segundo.

Inouye revela instabilidade de Kelvin-Hmholtz na superfície do Sol

Telescópio Inouye confirma vórtices na fotosfera solar, abrindo caminho para entender explosões solares.

Kimi K3: modelo aberto de 2,8 trilhões de parâmetros chega em julho

Kimi K3, da Moonshot AI, é o primeiro modelo open source na classe de 3 trilhões de parâmetros, com 1M de contexto e visão nativa.

OpenAI libera 100 mil bolsas de acesso a modelos avançados para cientistas

OpenAI concede acesso gratuito a 100 mil pesquisadores acadêmicos para acelerar ciência e colaboração.

As 4 regras simples por trás das cidades mais habitáveis do Japão

Cidades japonesas lideram em qualidade de vida com design acessível e transporte eficiente. Entenda as regras.

Como criar um jogo para Nintendo 64 em 2026: a saga de Xibalba 64

Desenvolvedor portou engine JavaScript para C e criou um FPS para N64, com lançamento físico pela Modretro.

Muse Code e Spark 1.2: agente de terminal da Meta chega em beta

Meta lança Muse Code, agente de codificação em terminal, com o modelo Muse Spark 1.2, focado em tarefas complexas e otimização de kernels.

Pareto no Mario Kart: como a matemática define o melhor kart

Antoine Mayerowitz usa Mario Kart 8 para explicar a fronteira de Pareto e otimização multiobjetivo.

Entropia de cadeias de Markov: da física à vida artificial

Como Boltzmann inspira uma definição de entropia para cadeias de Markov, aplicada ao modelo de célula de Dyson.

Inteligência não é o gargalo principal, diz ensaio sobre medicina e IA

Ensaio argumenta que regulação e ensaios clínicos, não inteligência, travam avanços médicos mesmo com IA.

Quantego: computadores quânticos da IBM viram modelos LEGO

Projeto Quantego recria IBM Quantum System One e System Two em LEGO, com instruções e simulação de circuitos quânticos.

Cloudflare OS: plataforma aberta para agentes e apps no trabalho

Cloudflare abre o código do Cloudflare OS, plataforma que dá a cada pessoa um agente e workspace com contexto da empresa.

Qwen 3.0 Image Pro: geração de imagens com texto em 12 idiomas

Novo modelo da Alibaba gera imagens com texto legível em 12 idiomas, suporta até 4.5k tokens e custa a partir de US$ 0.003.

A Era de Ouro do Sorvete Britânico: 1976-1991

Como 15 anos transformaram a cultura britânica: do Cornetto ao Magnum, a revolução industrial do sorvete.

Bug no kernel do Lean refuta Collatz: lições de solidez

Ramana Kumar anunciou refutação da conjectura de Collatz verificada em Lean, mas prova tinha bug no kernel. Lições sobre solidez e proof objects.

Pi prova que minimalismo em harness de código corta custos e mantém qualidade

Estudo da Databricks e caso Shopify mostram que o harness minimalista Pi supera concorrentes com custo menor.

Shieldstral: moderador multimodal de 3B que supera modelos 7x maiores

Mistral lança Shieldstral, classificador de segurança multimodal de 3B sob Apache 2.0, que supera modelos até 7x maiores.

ADLC Team Skills: padrões de equipe para Claude Code e Codex

Projeto open-source leva padrões de engenharia a agentes de IA como Claude Code e Codex, com diretrizes versionadas.

MCP 2.0 sem estado reacende interesse e inspira novas ferramentas

Nova especificação stateless do MCP simplifica implementação e leva a criação de mcp-explorer e datasette-mcp.

A casa que não sabia que a humanidade morreu: 4 de agosto de 2026

O conto de Bradbury sobre uma casa autônoma em 2026 ganha nova leitura: a data chegou e a ficção vira alerta.

Alemanha bate recorde: 12 bilhões de kWh solares na rede em julho

Alemanha registra recorde histórico de 12 bilhões de kWh de energia solar injetados na rede em julho de 2026, segundo IWR.

DeepSeek V4 Flash roda em um único AMD MI300X com 168 tok/s

Repositório mostra como rodar DeepSeek V4 Flash em um AMD MI300X, com 168 tok/s e 256K de contexto, sem quantização.

Domínio técnico é a chave para extrair o máximo dos LLMs

Especialistas obtêm resultados superiores com LLMs. Entenda por que conhecimento de domínio é a nova habilidade crítica.

Andy Pavlo deixa a CMU para liderar o novo ClickHouse Labs

Professor de banco de dados da CMU, Andy Pavlo, junta-se ao ClickHouse para fundar o ClickHouse Labs e impulsionar pesquisa em bancos de dados.

MiniMax H3 chega ao ComfyUI: pesos abertos, áudio nativo e vídeo 2K

MiniMax H3, modelo de vídeo open weights, já roda no ComfyUI com áudio estéreo e saída 2K.

Não seja um intermediário de IA: o valor está em entender

Repassar respostas de IA sem entender é inútil. Aprenda a agregar valor lendo, validando e escrevendo com suas palavras.

Por que Hollywood parou de filmar em Hollywood

Análise da migração da produção cinematográfica de Los Angeles e seu impacto na qualidade dos filmes.

Agente 'Locksmith Loop' migra COBOL para Java com 91,9% de cobertura

Método agêntico valida migração de COBOL para Java com oráculo determinístico, alcançando 91,9% de cobertura em caso real.

BitNet em um BBC Micro: modelo de linguagem em 13KB de pesos

Projeto roda um modelo autoregressivo BitNet em um BBC Micro de 1980, com 13KB de pesos e código de inferência em C.

CP/M-386: CP/M clássico renasce em modo protegido 32 bits

Projeto traz CP/M para 386 protected mode com Ring-3 TPA, boot por floppy ou GRUB e alta compatibilidade com CP/M-68K e 2.2.

SSH vira tela de desenho colaborativo: ssh ssh.place

ssh.place transforma SSH em canvas colaborativo: 200x60 células, sem conta, um pixel a cada 15s.

Bor v0.8.0: gestão de políticas open source para Linux com novos tipos

Bor v0.8.0 adiciona Thunderbird, Edge e Firewalld, reformula UI e reforça segurança.

Clone portátil do Fasttracker II em C com SDL 2 chega à v2.22

Desenvolvedor lança clone do Fasttracker II em C com SDL 2, versão 2.22, com código aberto no GitHub e suporte a Linux, Windows e macOS.

F*: a linguagem de prova que protege o Azure e o Firefox

Conheça F*, linguagem open source da Microsoft Research e Inria usada em criptografia verificada no Azure, Firefox e Linux.

RISC OS Open celebra 20 anos de código aberto e mira 64 bits

ROOL completa duas décadas abrindo o RISC OS; Apache 2.0, Raspberry Pi e plano Moonshots marcam a trajetória.

Go 1.27 chega com métodos genéricos, UUID e assinatura pós-quântica

Go 1.27 traz métodos genéricos, UUID, ML-DSA, otimizações de alocação e perfil de goroutines vazadas.

Kimi K3 no MI355X: AMD vence B300 em desempenho por dólar

AMD MI355X roda Kimi K3 com 952 tok/s por nó, superando B300 em performance por dólar. Wafer.ai detalha otimizações.

RipGrep Musl Binaries Crash on Large Searches

Segfault incidents reported during extensive searches with RipGrep 15.2.0 on x86_64-unknown-linux-musl.

Seedance 2.5: vídeos de 30s em uma passada e referências multimodais

ByteDance lança Seedance 2.5 com geração de 30s, extensão multi-round e referências multimodais para criação profissional.

A Profundidade de Compreensão com 'The Art of 64-bit Assembly'

Entenda o funcionamento interno de programas com o livro 'The Art of 64-bit Assembly'.

BMW Introduz Anúncio de Filme nos Painéis dos Carros

Em 27 de julho de 2026, a BMW começou a exibir anúncios de Spider-Man nos painéis dos carros.

Educação Liberal Arts e suas Aplicações em Carreira e Vida

As habilidades adquiridas em cursos de artes liberais têm um impacto surpreendente em carreiras técnicas, como a programação.

O Renascimento da Computação Pessoal com a Ajuda da Inteligência Artificial

Descubra como a IA está revolucionando a computação pessoal, permitindo a criação de aplicativos altamente personalizados sem a necessidade de escalar.

Defcon 34 badge traz chip open source que vira chave de segurança

Chip Baochip-1x, criado por bunnie Huang, é open source e pode ser inspecionado até o silício.

Fine-tuning de US$ 500 supera modelos fronteira em revisão de catálogos

Com RL em modelo aberto de 9B, empresa supera GPT-5.5 e Claude Opus 4.8 em tarefa jurídica por fração do custo.

Google corrigiu mais bugs do Chrome em junho do que em dois anos, com IA

Com agentes de IA, o Google corrigiu 1072 bugs de segurança no Chrome em dois meses, superando 23 versões anteriores.

Zig e GTK4: um ssh-askpass leve para Gentoo sem X11

Desenvolvedor cria ssh-askpass em Zig e GTK4 para evitar dependências X11 e KDE no Gentoo.

Andrew Ng lança LearnVector com US$ 100 mi da Coursera para tutoria individual com IA

LearnVector, nova empresa de Andrew Ng, recebe US$ 100 milhões da Coursera para criar experiências de aprendizado um a um com IA, com produtos previstos pa

Anthropic CEO nega defesa de banimento de modelos open-weights

Dario Amodei esclarece posição: não apoia proibição de modelos abertos, mas defende controle de chips e testes de segurança.

Usar modelo aberto é surpreendentemente libertador, relata dev

Engenheiro da Modal conta como rodar Kimi K3 em endpoint próprio trouxe sensação de liberdade e controle sobre os dados.

Harmonia explicada: rumo a uma teoria científica da música

Artigo de 2012 propõe teoria computacional da harmonia, derivando escala maior, dicionário de acordes e diferença entre triades maior e menor.

Kimi Linear supera atenção total com 75% menos cache KV

Arquitetura híbrida de atenção linear da Moonshot AI bate full attention em todos os cenários, com ganhos de eficiência e código aberto.

Lean 4 prova correção de CSG com 93 linhas de especificação, ignorando código IA

Projeto verified-3d-mesh-intersection usa Lean 4 para verificar interseção de malhas 3D. Especificação de 93 linhas dispensa revisão de 1000+ linhas de cód

RTX 2080 Ti ganha 22 GB de VRAM em upgrade de memória

Serviço dobra capacidade de VRAM da RTX 2080 Ti para 22 GB, ideal para IA e workloads pesados.

Misago abandona React.js e adota HTMX para simplificar fórum

Projeto de fórum open source Misago remove React.js do código e adota HTMX, eliminando duplicação de templates e melhorando desempenho.

Neutrino-1 8B: modelo ternário de 3,88 GB roda em GPU e laptop

Fermion Research lança Neutrino-1 8B com pesos ternários que cabem em 3,88 GB, servindo GPU, Mac e CPU do mesmo artefato.

França enfrenta 'pirocúmulo-nimbo' inédito em incêndio gigante

Incêndio no sudoeste da França gera nuvem de fogo com raios e ventos próprios, fenômeno nunca visto no país.

Lean + LLMs: prova automática torna sistemas de tipos viáveis

Engenheiro do Google mostra que LLMs podem automatizar provas em Lean, reduzindo drasticamente o esforço de verificação formal.

Aplicações da IA na Educação Jurídica: A Abordagem da Universidade de Chicago

A Universidade de Chicago Law School adapta sua formação jurídica à era da IA, criando políticas e guias para o uso de AI.

Decker: plataforma multimídia resgata legado do HyperCard com código aberto

Decker é uma plataforma multimídia open source que resgata o espírito do HyperCard, com linguagem Lil e estética ditherpunk.

GrapheneOS detalha defesas contra extração de dados em dispositivos bloqueados

GrapheneOS explica suas camadas de proteção: rate limiting, ataque interno, duress PIN e reboot automático para segurança de dados.

Ruff v0.16.0: 413 regras padrão, formatação Markdown e novos supressores

Ruff v0.16.0 eleva regras padrão de 59 para 413, formata blocos Python em Markdown e adiciona comentários de supressão.

Inflect-Micro-v2: Avançando na Síntese de Voz sob 10M Parâmetros

O Inflect-Micro-v2 oferece sintese de voz completa em inglês com um modelo fixo, capaz de manusear textos longos e funcionar em CPU ou CUDA.

O Poderoso Ponto e Vírgula no Shell Scripting: Eficiência e Pragmatismo

Descubra como o uso do comando nulo e expansão de parâmetros no shell pode melhorar sua eficiência.

Regras Atualizadas de Engenharia de Contexto para o Claude 5

Claude Code evoluiu: descubra como atualizar sua engenharia de contexto com modelos de geração mais avançados.

W4ME Station permite execução de jogos WASM-4 em telefones Java ME

W4ME Station, uma nova runtime WASM-4 para dispositivos Java ME, traz jogos WebAssembly sem modificação para dispositivos CLDC 1.1/MIDP 2.0.

98.css: biblioteca CSS recria interfaces do Windows 98 na web

98.css é uma biblioteca CSS que recria fielmente a aparência do Windows 98. Sem JavaScript, compatível com qualquer framework e focada em acessibilidade.

Análise de impressão digital textual revela semelhança entre Kimi e Claude

Ferramenta do Typebulb compara modelos por padrões de escrita; Kimi (Moonshot) e Claude (Anthropic) aparecem como os mais similares.

ascdraw: editor de diagramas ASCII/UTF-8 nativo e open source atinge 120+ FPS

Ferramenta gratuita e GPLv3 para diagramas em texto, com canvas infinito, camadas e exportação TXT/JSON/PNG.

Claude Opus 5 lidera Índice de Inteligência da Artificial Analysis

Claude Opus 5 alcança a pontuação mais alta no Artificial Analysis Intelligence Index, superando 170 modelos avaliados.

Desenvolvendo um Renderizador 3D Miniatura para o Playdate

Veja como foi o desafio de criar um renderizador de software 3D para o aparelho portátil Playdate.

Fedora 45: Um Estudo Sobre a Fabricação dos Pacotes

Uma visão interna do processo de criação dos artefatos Fedora 45, desde o commit do pacote até a versão final instalável.

Linguagens espaciais: Escrevendo código em 2D abre novas dimensões na programação

Explora como a adição de uma dimensão extra pode revolucionar a forma como escrevemos e entendemos código.

OpenAI lança GPT-5.6 Sol com ganho de 54% em eficiência de tokens

Sam Altman revela que novo modelo é 54% mais eficiente em tarefas de codificação agêntica e tão bom quanto rivais.

Pesquisadores revelam o segredo do sono vertical das baleias-cobras

Nova pesquisa da Universidade de St Andrews e da Université de Neuchâtel descobre como as baleias-cobras dormem de forma vertical

Postgres LISTEN/NOTIFY: Eficiência e Escala na Conectividade

Como o LISTEN/NOTIFY do Postgres alcançou 60K de gravações por segundo com latência em milissegundos.

Profª Hannah Fry Recebe o Prêmio Leelavati pela Divulgação da Matemática em 2026

Hannah Fry distinguida na Conferência Internacional de Matemáticos por trabalhos de divulgação da matemática.

Sam Altman Reveals AI 2026: Predictions for OpenAI and Tech Industry

AI 2026 roadmap unveils predictions for OpenAI's future, including advancements in GPT-6 and shifts in consumer and enterprise AI demands.

Segurança em câmeras de segurança questionada após vazamento de token do GitHub

Descoberto token de admin do GitHub em firmware de câmeras de segurança Hanwha, expondo centenas de repositórios.

Wasmtime 47 Libera Suporte a GC e Exceções na WebAssembly

Versão 47 do Wasmtime traz GC e exceções por padrão, expandindo o alcance da WebAssembly para mais linguagens de programação.

GigaToken promete tokenização 1000x mais rápida que HuggingFace

Nova biblioteca Rust alcança GB/s em tokenização, superando HuggingFace e tiktoken em benchmarks.

SIMD simplificado: por que todo desenvolvedor deveria conhecer essa técnica

Mitchell Hashimoto mostra que SIMD não é só para experts: com 5 passos simples, qualquer dev pode acelerar loops em até 16x.

Código-fonte do Apollo 11 Guidance Computer é disponibilizado no GitHub

Repositório no GitHub contém o código original do AGC do módulo de comando e lunar, digitalizado pelo MIT Museum.

Kimi K3 supera GPT-5.6 e Opus 4.8 em benchmark agêntico, mas custa caro

Modelo chinês de 2,8T parâmetros alcança segundo maior Elo no AA-Briefcase, atrás apenas de Claude Fable 5, com custo de US$ 10,57 por tarefa.

NEO Radar: Engine Rastreia 41.812 Asteroides Reais Precisamente

Nova ferramenta orbital simula todos os planetas com alta fidelidade, usando algoritmos precisos para rastreamento de objetos espaciais.

Qwen vs DeepSeek vs GLM: Guia dos Três Gigantes Chineses de IA (2026)

Comparativo técnico entre Qwen3.6, DeepSeek V4 e GLM-5.2: benchmarks, licenças, preços e recomendações de uso.

Altman propõe 5% da OpenAI para fundo soberano dos EUA ao lançar GPT-5.6

Sam Altman lança GPT-5.6 com preços agressivos e sugere dividir 5% do equity da OpenAI com cidadãos americanos via fundo soberano.

Guia 2026: qual modelo open-weight escolher para cada tarefa

GLM 5.2, DeepSeek V4, MiniMax M3, Kimi K2.6 e Qwen 3.6 comparados em inteligência, custo, contexto e licenciamento.

Kimi K3 abala mercados e reacende guerra de preços na IA

Modelo chinês de 2,8 trilhões de parâmetros rivaliza com GPT-5.6 e Opus 4.8, derrubando ações de IA e semicondutores.

Kimi K3 da China: O Momento Sputnik da IA Chegou

Emad Mostaque e Peter Diamandis analisam o lançamento do modelo chinês K3, marcando um ponto de virada na corrida global de IA.

Kimi K3 da Moonshot AI: modelo open-source de 2,8T assume liderança em codificação front-end

Moonshot AI lança Kimi K3, modelo open-source de 2,8 trilhões de parâmetros, supera Claude Fable 5 no Frontend Code Arena e oferece janela de 1M tokens.

Open-weight LLMs 2026: DeepSeek, Qwen, Kimi, GLM e Llama frente a frente

Comparação técnica de preço, contexto, licença e desempenho dos principais modelos abertos de 2026, com destaque para os chineses.

PCjs: Emulador de IBM PC nos Navegadores Revive Décadas de 70 e 80

PCjs traz emulação de hardware clássico via JavaScript, incluindo IBM PC, minicomputadores e arcades. Projeto open source no GitHub.

PCjs: Emulador de IBM PC nos Navegadores Revive Décadas de 70 e 80

PCjs traz emulação de hardware clássico via JavaScript, incluindo IBM PC, minicomputadores e arcades. Projeto open source no GitHub.

Modelos chineses gratuitos redefinem custos da inteligência artificial

Nativ: app open-source roda LLMs de ponta localmente no Mac

Inferência rápida muda o que você pode construir - Insights

Emad Mostaque: O Plano para Salvar a Humanidade da IA

Emad Mostaque detalha sua visão de uma infraestrutura descentralizada de inteligência artificial ('Intelligent Internet'), o conceito de IA Básica Universal (UBAI) e como a soberania tecnológica pode evitar um colapso econômico.

Situação Emergente: Pausa Global da Anthropic, Auto-melhoria Recursiva e Personalidade de IA

Uma análise profunda sobre o relatório da Anthropic 'When AI Builds Itself', a realidade técnica de sistemas que codificam sua própria evolução e a criação de marcos de personalidade jurídica para inteligências não humanas.

Geoffrey Hinton: A 'Névoa do Progresso Exponencial' e Por Que a IA Já Tem Consciência

O pioneiro da IA Geoffrey Hinton compartilha novas perspectivas sobre senciência de máquina, modelos alternativos de segurança e por que prever o impacto da IA além de uma década é como dirigir sob forte neblina.

DeepSeek V3 desbanca GPT-4o em programação e matemática — Por uma fração do custo

O DeepSeek V3 da China superou o GPT-4o da OpenAI em vários benchmarks importantes, custando 10 vezes menos por milhão de tokens — uma mudança sísmica na curva de custos de IA.

Kimi K2: A aposta da Moonshot AI em modelos de agentes desafia o Operator da OpenAI

O Kimi K2 da Moonshot AI introduz uma nova classe de modelos de contexto longo e focados em agentes, capazes de raciocínio de múltiplas etapas e uso de ferramentas — posicionando a China como líder em agentes autônomos de IA.

Qwen3 235B da Alibaba: O maior modelo de código aberto do mundo é chinês

O Qwen3 235B-A22B da Alibaba é o maior modelo de linguagem de código aberto disponível, superando o GPT-4o em vários benchmarks importantes, enquanto é de download gratuito e auto-hospedável.

A guerra dos chips em 2026: Como a China está contornando as sanções de semicondutores dos EUA

Apesar dos rígidos controles de exportação dos EUA sobre semicondutores avançados, a indústria de IA da China acelerou — e não desacelerou. Saiba como a estratégia de Pequim está funcionando.

Andrej Karpathy: Software 3.0, Engenharia Agêntica e Por Que Você Não Pode Terceirizar a Compreensão

No AI Ascent 2026, o ex-cofundador da OpenAI Andrej Karpathy detalha a transição para o 'Software 3.0', o surgimento do 'vibe coding' e a diferença crucial entre construir e compreender em um mundo centrado em IA.