proof no Hacker News
62 títulos de 56 autores nos últimos 30 dias, com 52 links diferentes e 5 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: Sibuna, um firewall de aplicações web de código aberto com proof of work · nota 7.5
Sibuna é um web application firewall escrito em Rust que usa desafios de proof-of-work no navegador para mitigar o tráfego de bots, com inspeção opcional de aplicação, rate limiting e um console de operador. Destaca-se pelo design eficiente em binário único, pelo solver baseado em WebAssembly e pelo suporte a cluster, oferecendo um mecanismo inédito de admissão baseado em custo em vez de captchas tradicionais.
- Show HN: Lungo gera Rust e Python a partir de código-fonte de prova em Lean · nota 7.0
Longo é uma ferramenta que transpila programas Lean 4 para Rust, C, Go, Python, Swift e TypeScript, utilizando a prova e a verificação de tipos do Lean para verificar a correção antes de gerar APIs idiomáticas em cada linguagem de destino. É interessante porque aproveita as capacidades de verificação formal do Lean para produzir saída em múltiplas linguagens a partir de uma única fonte, potencialmente conectando lógica verificada com ecossistemas de linguagens práticas.
- Show HN: agentes de IA negociam em privado na BitcoinZ, com prova de entrega · nota 6.8
I Am Wallet fornece carteiras BitcoinZ blindadas para agentes de IA por meio de ferramentas MCP, permitindo pagamentos privados, mensagens assinadas e negócios step-wise com prova criptográfica de entrega. Ele combina privacidade zk-SNARK, assinaturas Ed25519 e fingerprints on-chain em um novo protocolo de negociação agent-to-agent, embora o design custodial e a blockchain de nicho limitem seu apelo mais amplo.
- Show HN: Session-continuity, prova criptográfica de cadeias de sessão · nota 5.3
Session-continuity é uma biblioteca JavaScript que fornece prova criptográfica de continuidade de sessão, vinculando cada sessão à anterior por meio de pacotes de evidências assinados e somente de acréscimo. Visa uma lacuna real na segurança de sessões além da autorização com JWT, mas está em estágio inicial, com proteção opcional contra bifurcação, limitações conhecidas e sem auditoria de terceiros.
Títulos recentes
Títulos traduzidos por IA, que pode errar. O original fica logo abaixo.
- Prova pela OpenAI da existência da teoria quântica de Yang-Mills [pdf]
Proof by OpenAI of the Existence of Quantum Yang-Mills Theory [pdf]
30/10/2026 · kitp.ucsb.edu · discussão no HN - Show HN: agentes de IA negociam em privado na BitcoinZ, com prova de entrega
Show HN: AI agents trade privately on BitcoinZ, with proof of delivery
30/10/2026 · github.com · discussão no HN - A prova matemática mais longa já feita, no modo sobrevivência do Minecraft
The Longest Math Proof Ever, in Minecraft Survival Mode
29/10/2026 · thequantasticjournal.com · discussão no HN - A Última Prova do Artesanato Humano: Forjando uma Cadeia Completa no Microsoft Edge com Lógica
The Last Proof of Human Craft: Forging a Microsoft Edge Full Chain with Logic
28/10/2026 · blog.orange.tw · discussão no HN - Uma prova simplificada de que ETH é falsa [pdf]
A simplified proof of ETH is False [pdf]
27/10/2026 · shivakintali.github.io · discussão no HN - A conversa sobre IA quase dobrou fora da tecnologia. Prova de retorno ainda é rara
AI talk has nearly doubled outside tech. Proof of payoff is still rare
27/10/2026 · equibles.com · discussão no HN - Comunidade de matemática da UC Berkeley fica em encruzilhada após prova de Navier-Stokes
UC Berkeley math community left at crossroads in wake of Navier-Stokes proof
23/10/2026 · dailycal.org · discussão no HN - Statement Proof – extrato bancário em PDF para CSV, comprovado ou recusado
Statement Proof – PDF bank statement to CSV, proved or refused
22/10/2026 · statement-proof.quillnow.com · discussão no HN - Proof – tornando a IA mais fácil
Proof – Making AI Easier
21/10/2026 · proof.diy · discussão no HN - Uma prova mais simples de que não existem zeros de Landau-Siegel
A simpler proof that there are no Landau-Siegel zeros
20/10/2026 · arxiv.org · discussão no HN - Prova científica de que sua reunião deveria ter sido um e-mail?
Scientific Proof That Your Meeting Should Have Been an Email?
19/10/2026 · pcper.com · discussão no HN - Startup usa vulcão submarino como fonte de energia em teste de "prova de conceito"
Startup taps underwater volcano as energy source in "proof point" test
19/10/2026 · arstechnica.com · discussão no HN - Um esboço da prova de não existência de zeros de Siegel
A sketch of the proof of non-existence of Siegel zeroes
19/10/2026 · terrytao.wordpress.com · discussão no HN - Uma prova simples da Hipótese de Riemann (2022)
A Simple Proof of the Riemann Hypothesis (2022)
19/10/2026 · arxiv.org · discussão no HN - Escrever não é mais prova de trabalho
Writing is no longer proof of work
19/10/2026 · seangoedecke.com · discussão no HN - A prova matemática espetacular da OpenAI não é o que você imagina
OpenAI's blockbuster math proof isn't what you think it is
18/10/2026 · scientificamerican.com · discussão no HN - Show HN: Lungo gera Rust e Python a partir de código-fonte de prova em Lean
Show HN: Lungo Generates Rust, Python, from Lean Proof Source
18/10/2026 · machinefabric.com · discussão no HN - Grace17 – um novo assistente de provas para matemática baseado em teoria dos conjuntos
Grace17 – a new proof assistant for mathematics based on set theory
18/10/2026 · grace17.org · discussão no HN - Similaridade algorítmica e os limites da prova: reconhecimento facial
Algorithmic Similarity and the Limits of Proof: Facial Recognition
18/10/2026 · medium.com · discussão no HN - Ilustrando a prova com IA da conjectura de Mahler
Illustrating the AI proof of the Mahler conjecture
17/10/2026 · chessapig.github.io · discussão no HN - Uma prova construtiva do teorema de Rice e do problema da parada
A Constructive Proof of Rice's Theorem and the Halting Problem
16/10/2026 · arxiv.org · discussão no HN - Quão à prova de IA é o meu negócio?
How AI proof is my business?
16/10/2026 · keithbrown.com · discussão no HN - First Proof: relatório de benchmark do terceiro lote
First Proof: Third Batch Benchmark Report
14/10/2026 · 1stproof.org · discussão no HN - Prova da conjectura de Casas-Alvero
Proof of the Casas-Alvero Conjecture
14/10/2026 · arxiv.org · discussão no HN - First Proof, webinar do terceiro lote
First Proof, Third Batch Webinar
14/10/2026 · terrytao.wordpress.com · discussão no HN - Prova matemática na era da IA
Mathematical proof in the age of AI
14/10/2026 · rutar.org · discussão no HN - Prova de conceito básica de atomic swap
Basic Atomic Swap Proof of Concept
14/10/2026 · github.com · discussão no HN - Demonstrando confiança determinística e prova formal para código gerado por IA
Demonstrating Deterministic Trust and Formal Proof for AI-Generated Code
14/10/2026 · adacore.com · discussão no HN - Compilador TypeScript portado para C# via Codex (como prova de conceito)
TypeScript compiler ported to C# via Codex (as proof of concept)
14/10/2026 · github.com · discussão no HN - Enquanto a IA se aproximava de uma prova de 'Unique Games', pesquisadores correram para vencer as máquinas
As AI Closed in on 'Unique Games' Proof, Researchers Raced to Beat the Machines
13/10/2026 · quantamagazine.org · discussão no HN