wrong no Hacker News
69 títulos de 67 autores nos últimos 30 dias, com 67 links diferentes e 3 Show HN.
Conta títulos, não confirma fatos. Abra a fonte antes de concluir qualquer coisa.
Projetos deste termo
A nota vem do nosso modelo.
- Show HN: Llmll – agentes de IA preenchem buracos tipados, um solver SMT rejeita preenchimentos errados · nota 6.8
LLMLL é uma linguagem de programação baseada em Haskell e um pipeline de verificação projetados para que agentes de IA preencham buracos tipados sob contratos formais, com Z3/SMT provando cada corpo contra sua especificação antes da fusão. Ele introduz um protocolo estruturado para agentes, usando patches de JSON-AST e níveis de confiança, e opcionalmente usa Leanstral e Lean para provas verificadas pelo núcleo além do SMT. O projeto é um experimento interessante de programação com IA orientada por verificação, embora seu foco de nicho e seu status experimental limitem a utilidade ampla.
- Show HN: RepoGuards – hooks do Claude Code que recusam pushes para o repositório errado · nota 6.0
RepoGuards é um conjunto de hooks do Claude Code que impõem guardrails de segurança quando agentes de IA operam em múltiplos repositórios git, bloqueando ações arriscadas como commits cegos ou pushes para repositórios externos e injetando contexto sobre o estado do repositório externo. Também fornece uma ferramenta de commit com reconhecimento de sessão e um registro central para gerenciar skills entre projetos. É uma solução interessante e focada para um problema real e emergente em fluxos de trabalho de codificação agêntica.
- Show HN: envie um extrato de cartão e veja quais cobranças estavam no cartão errado · nota 4.3
Credit Upside é uma ferramenta web que analisa extratos de cartão de crédito para identificar quais cobranças teriam gerado mais recompensas em outro cartão. Oferece suporte a análise de CSV e PDF no próprio navegador e vinculação opcional de contas ao vivo via Plaid, com ênfase em privacidade e transparência, e cálculo de recompensas por cobrança.
Títulos recentes
Títulos traduzidos por IA, que pode errar. O original fica logo abaixo.
- A thread principal é o lugar errado para uma grade de dados
The main thread is the wrong place for a data grid
31/10/2026 · tobiasuhlig.medium.com · discussão no HN - Threads, Mutexes e Atomics: comece pelo que pode dar errado
Threads, Mutexes, and Atomics: Start with What Can Go Wrong
31/10/2026 · tedkoomen.com · discussão no HN - E-mail "errado"
"Wrong" Email
30/10/2026 · discussão no HN - A IA é esmagadora e estou fazendo tudo errado
AI is overwhelming and I'm doing it wrong
29/10/2026 · bensbites.com · discussão no HN - Sua teoria da conspiração sobre criptografia está errada
Your Cryptography Conspiracy Theory Is Wrong
29/10/2026 · soatok.blog · discussão no HN - A memória do agente está no lugar errado
Agent Memory Is in the Wrong Place
28/10/2026 · omnara.com · discussão no HN - Bryan Caplan está errado sobre pedagogia
Bryan Caplan Is Wrong About Pedagogy
27/10/2026 · news.educationprogress.org · discussão no HN - O campo do 'deixa rolar' está errado sobre IA
The "let-it-rip" camp is wrong on AI
27/10/2026 · economist.com · discussão no HN - Sevenbox, descubra o que a decisão errada de um agente de IA afetou
Sevenbox, find what an AI agent's wrong decision affected
24/10/2026 · github.com · discussão no HN - Chego atrasado às reuniões para evitar conversa fiada. Estou errado?
I turn up late to meetings to dodge small talk. Am I wrong?
24/10/2026 · nature.com · discussão no HN - O que poderia dar errado
What Could Go Wrong
24/10/2026 · techcrunch.com · discussão no HN - O que há de errado com a IA?
What's Wrong with AI?
24/10/2026 · homepage.farm · discussão no HN - Um código de trapaça insultante apareceu no jogo errado do Sega Genesis
An insulting cheat code showed up in the wrong Sega Genesis game
24/10/2026 · 32bits.substack.com · discussão no HN - Os defensores da "Nutrição Sombria" acham que tudo o que você sabe sobre comida está errado
The Proponents of 'Dark Nutrition' Think Everything You Know About Food Is Wrong
23/10/2026 · nytimes.com · discussão no HN - Organograma de Insights: a maioria das equipes está cortando os papéis errados
Insights Org Chart: Most Teams Are Cutting the Wrong Roles
23/10/2026 · alida.com · discussão no HN - A suposição sobre automação agrícola que pode estar errada
The Assumption About Farm Automation That May Be Wrong
22/10/2026 · ucdavis.edu · discussão no HN - "Estávamos olhando errado": a afirmação explosiva que virou o mundo da IA de cabeça para baixo
"We were looking at it wrong": The explosive claim that's upended the AI world
22/10/2026 · technologyreview.com · discussão no HN - Abelhas escrevem o C++ errado
Bees Make the Wrong C++
22/10/2026 · dalerank.github.io · discussão no HN - O apóstrofo está no lugar errado: prove que sou humano
The apostrophe's in the wrong place show I'm human
22/10/2026 · sidsite.com · discussão no HN - Onde os rumores sobre o PHP2Shell erraram, segundo quem está dentro da equipe de segurança do PHP
What the PHP2Shell rumors got wrong, from inside the PHP security team
21/10/2026 · daubois.dev · discussão no HN - Satoshi errou com o Bitcoin? Descoberta do Claude sobre a NSA gera debate
Did Satoshi Get Bitcoin Wrong? Claude's NSA Discovery Sparks Debate
21/10/2026 · tech.yahoo.com · discussão no HN - Talvez tenhamos errado sobre blockchain
Maybe We Were Wrong About Blockchain
21/10/2026 · bloomberg.com · discussão no HN - Benchmarks de IA: escalando as colinas erradas
AI Benchmarks: Climbing the Wrong Hills
21/10/2026 · research.contrary.com · discussão no HN - TotalBodyIQ, um planejador de treinos para iOS que parte do princípio de que sua semana vai dar errado
TotalBodyIQ, an iOS workout planner that assumes your week will go wrong
21/10/2026 · apps.apple.com · discussão no HN - Você não pode estar errado, só pode ser melhor
You can't be wrong, you can only be better
20/10/2026 · github.com · discussão no HN - ClickHouse vai deixar você errar em escala
ClickHouse Will Let You Be Wrong at Scale
20/10/2026 · matduggan.com · discussão no HN - O Exército quer colocar agentes de IA contra seus inimigos. O que poderia dar errado?
The Army Wants to Sic AI Agents on Its Enemies. What Could Go Wrong?
20/10/2026 · theintercept.com · discussão no HN - Pensando, rápido e errado
Thinking, Fast and Wrong
20/10/2026 · deadneurons.substack.com · discussão no HN - As regras de IVA da UE que o meu código de faturas errou, na ordem em que as encontrei
The EU VAT rules my invoicing code got wrong, in the order I found them
20/10/2026 · verkanto.eu · discussão no HN - Tudo está dando errado para Muhammad bin Salman
Everything is going wrong for Muhammad bin Salman
20/10/2026 · economist.com · discussão no HN