proof en Hacker News
62 títulos de 56 autores en los últimos 30 días, con 52 enlaces distintos y 5 Show HN.
Cuenta títulos, no confirma hechos. Abre la fuente antes de sacar conclusiones.
Proyectos de este término
La nota viene de nuestro modelo.
- Show HN: Sibuna, un firewall de aplicaciones web de código abierto con proof of work · nota 7.5
Sibuna es un web application firewall escrito en Rust que usa desafíos de proof-of-work en el navegador para mitigar el tráfico de bots, con inspección opcional de aplicaciones, rate limiting y una consola de operador. Destaca por su diseño eficiente de binario único, su solver basado en WebAssembly y su soporte para clústeres, y ofrece un mecanismo novedoso de admisión basado en costos en lugar de los captchas tradicionales.
- Show HN: Lungo genera Rust y Python a partir del código fuente de pruebas en Lean · nota 7.0
Lungo es una herramienta que transpila programas de Lean 4 a Rust, C, Go, Python, Swift y TypeScript, utilizando la prueba y la verificación de tipos de Lean para verificar la corrección antes de generar APIs idiomáticas en cada lenguaje objetivo. Es interesante porque aprovecha las capacidades de verificación formal de Lean para producir salidas en múltiples lenguajes a partir de una única fuente, tendiendo potencialmente un puente entre la lógica verificada y los ecosistemas de lenguajes prácticos.
- Show HN: agentes de IA negocian en privado en BitcoinZ, con prueba de entrega · nota 6.8
I Am Wallet proporciona wallets de BitcoinZ con shielded para agentes de IA mediante herramientas MCP, lo que permite pagos privados, mensajes firmados y acuerdos paso a paso con prueba criptográfica de entrega. Combina la privacidad de zk-SNARK, firmas Ed25519 y fingerprints on-chain en un novedoso protocolo de trading agente a agente, aunque el diseño custodial y la blockchain de nicho limitan su atractivo más amplio.
- Show HN: Session-continuity, prueba criptográfica de cadenas de sesión · nota 5.3
Session-continuity es una biblioteca de JavaScript que proporciona prueba criptográfica de continuidad de sesión, vinculando cada sesión con su predecesora mediante paquetes de evidencia firmados y de solo anexión. Apunta a un vacío real en la seguridad de sesiones más allá de la autorización con JWT, pero está en una etapa temprana, con protección opcional contra bifurcaciones, limitaciones conocidas y sin auditoría de terceros.
Títulos recientes
Títulos traducidos por IA, que puede equivocarse. El original queda justo debajo.
- Demostración de OpenAI de la existencia de la teoría cuántica de Yang-Mills [pdf]
Proof by OpenAI of the Existence of Quantum Yang-Mills Theory [pdf]
30/10/2026 · kitp.ucsb.edu · discusión en HN - Show HN: agentes de IA negocian en privado en BitcoinZ, con prueba de entrega
Show HN: AI agents trade privately on BitcoinZ, with proof of delivery
30/10/2026 · github.com · discusión en HN - La demostración matemática más larga jamás hecha, en el modo supervivencia de Minecraft
The Longest Math Proof Ever, in Minecraft Survival Mode
29/10/2026 · thequantasticjournal.com · discusión en HN - La última prueba de la artesanía humana: forjando una cadena completa en Microsoft Edge con lógica
The Last Proof of Human Craft: Forging a Microsoft Edge Full Chain with Logic
28/10/2026 · blog.orange.tw · discusión en HN - Una prueba simplificada de que ETH es falsa [pdf]
A simplified proof of ETH is False [pdf]
27/10/2026 · shivakintali.github.io · discusión en HN - La charla sobre IA casi se ha duplicado fuera del sector tecnológico. La prueba de rentabilidad sigue siendo escasa
AI talk has nearly doubled outside tech. Proof of payoff is still rare
27/10/2026 · equibles.com · discusión en HN - La comunidad matemática de UC Berkeley queda en una encrucijada tras la demostración de Navier-Stokes
UC Berkeley math community left at crossroads in wake of Navier-Stokes proof
23/10/2026 · dailycal.org · discusión en HN - Statement Proof: extracto bancario en PDF a CSV, demostrado o rechazado
Statement Proof – PDF bank statement to CSV, proved or refused
22/10/2026 · statement-proof.quillnow.com · discusión en HN - Proof: haciendo la IA más fácil
Proof – Making AI Easier
21/10/2026 · proof.diy · discusión en HN - Una prueba más sencilla de que no existen ceros de Landau-Siegel
A simpler proof that there are no Landau-Siegel zeros
20/10/2026 · arxiv.org · discusión en HN - ¿Prueba científica de que tu reunión debería haber sido un correo?
Scientific Proof That Your Meeting Should Have Been an Email?
19/10/2026 · pcper.com · discusión en HN - Una startup aprovecha un volcán submarino como fuente de energía en una prueba de "prueba de concepto"
Startup taps underwater volcano as energy source in "proof point" test
19/10/2026 · arstechnica.com · discusión en HN - Esbozo de la demostración de la no existencia de los ceros de Siegel
A sketch of the proof of non-existence of Siegel zeroes
19/10/2026 · terrytao.wordpress.com · discusión en HN - Una prueba sencilla de la hipótesis de Riemann (2022)
A Simple Proof of the Riemann Hypothesis (2022)
19/10/2026 · arxiv.org · discusión en HN - Escribir ya no es prueba de trabajo
Writing is no longer proof of work
19/10/2026 · seangoedecke.com · discusión en HN - La espectacular demostración matemática de OpenAI no es lo que crees
OpenAI's blockbuster math proof isn't what you think it is
18/10/2026 · scientificamerican.com · discusión en HN - Show HN: Lungo genera Rust y Python a partir del código fuente de pruebas en Lean
Show HN: Lungo Generates Rust, Python, from Lean Proof Source
18/10/2026 · machinefabric.com · discusión en HN - Grace17 – un nuevo asistente de pruebas para matemáticas basado en teoría de conjuntos
Grace17 – a new proof assistant for mathematics based on set theory
18/10/2026 · grace17.org · discusión en HN - Similitud algorítmica y los límites de la prueba: reconocimiento facial
Algorithmic Similarity and the Limits of Proof: Facial Recognition
18/10/2026 · medium.com · discusión en HN - Ilustrando la prueba con IA de la conjetura de Mahler
Illustrating the AI proof of the Mahler conjecture
17/10/2026 · chessapig.github.io · discusión en HN - Una prueba constructiva del teorema de Rice y del problema de la parada
A Constructive Proof of Rice's Theorem and the Halting Problem
16/10/2026 · arxiv.org · discusión en HN - ¿Qué tan a prueba de IA está mi negocio?
How AI proof is my business?
16/10/2026 · keithbrown.com · discusión en HN - First Proof: informe de benchmark del tercer lote
First Proof: Third Batch Benchmark Report
14/10/2026 · 1stproof.org · discusión en HN - Demostración de la conjetura de Casas-Alvero
Proof of the Casas-Alvero Conjecture
14/10/2026 · arxiv.org · discusión en HN - First Proof, webinar del tercer lote
First Proof, Third Batch Webinar
14/10/2026 · terrytao.wordpress.com · discusión en HN - La demostración matemática en la era de la IA
Mathematical proof in the age of AI
14/10/2026 · rutar.org · discusión en HN - Prueba de concepto básica de atomic swap
Basic Atomic Swap Proof of Concept
14/10/2026 · github.com · discusión en HN - Demostrando confianza determinista y prueba formal para código generado por IA
Demonstrating Deterministic Trust and Formal Proof for AI-Generated Code
14/10/2026 · adacore.com · discusión en HN - Compilador de TypeScript portado a C# mediante Codex (como prueba de concepto)
TypeScript compiler ported to C# via Codex (as proof of concept)
14/10/2026 · github.com · discusión en HN - Cuando la IA se acercaba a una demostración de 'Unique Games', los investigadores se apresuraron a vencer a las máquinas
As AI Closed in on 'Unique Games' Proof, Researchers Raced to Beat the Machines
13/10/2026 · quantamagazine.org · discusión en HN