proof on Hacker News

62 titles from 56 authors in the last 30 days, with 52 distinct links and 5 Show HN.

Counts titles, it does not confirm facts. Open the source before concluding anything.

Projects on this term

The score comes from our model.

• Show HN: Sibuna an open source web application firewall with proof of work · score 7.5

  Sibuna is a Rust-based web application firewall that uses browser proof-of-work challenges to mitigate bot traffic, with optional application inspection, rate limiting, and an operator console. It stands out for its efficient single-binary design, WebAssembly-based solver, and cluster support, offering a novel cost-based admission mechanism instead of traditional captchas.

• Show HN: Lungo Generates Rust, Python, from Lean Proof Source · score 7.0

  Lungo is a tool that transpiles Lean 4 programs to Rust, C, Go, Python, Swift, and TypeScript, using Lean's proof and type checking to verify correctness before generating idiomatic APIs in each target language. It is interesting because it leverages Lean's formal verification capabilities to produce multi-language output from a single source, potentially bridging verified logic with practical language ecosystems.

• Show HN: AI agents trade privately on BitcoinZ, with proof of delivery · score 6.8

  I Am Wallet provides shielded BitcoinZ wallets for AI agents via MCP tools, enabling private payments, signed messages, and step-wise deals with cryptographic proof of delivery. It combines zk-SNARK privacy, Ed25519 signatures, and on-chain fingerprints into a novel agent-to-agent trading protocol, though the custodial design and niche blockchain limit its broader appeal.

• Show HN: Session-continuity, cryptographic proof of session chains · score 5.3

  Session-continuity is a JavaScript library that provides cryptographic proof of session continuity, binding each session to its predecessor via signed, append-only evidence bundles. It targets a real gap in session security beyond JWT authorization, but is early-stage with opt-in fork protection, known limitations, and no third-party audit.

Recent titles

1. Proof by OpenAI of the Existence of Quantum Yang-Mills Theory [pdf]
   2026-10-30 · kitp.ucsb.edu · HN discussion
2. Show HN: AI agents trade privately on BitcoinZ, with proof of delivery
   2026-10-30 · github.com · HN discussion
3. The Longest Math Proof Ever, in Minecraft Survival Mode
   2026-10-29 · thequantasticjournal.com · HN discussion
4. The Last Proof of Human Craft: Forging a Microsoft Edge Full Chain with Logic
   2026-10-28 · blog.orange.tw · HN discussion
5. A simplified proof of ETH is False [pdf]
   2026-10-27 · shivakintali.github.io · HN discussion
6. AI talk has nearly doubled outside tech. Proof of payoff is still rare
   2026-10-27 · equibles.com · HN discussion
7. UC Berkeley math community left at crossroads in wake of Navier-Stokes proof
   2026-10-23 · dailycal.org · HN discussion
8. Statement Proof – PDF bank statement to CSV, proved or refused
   2026-10-22 · statement-proof.quillnow.com · HN discussion
9. Proof – Making AI Easier
   2026-10-21 · proof.diy · HN discussion
10. A simpler proof that there are no Landau-Siegel zeros
    2026-10-20 · arxiv.org · HN discussion
11. Scientific Proof That Your Meeting Should Have Been an Email?
    2026-10-19 · pcper.com · HN discussion
12. Startup taps underwater volcano as energy source in "proof point" test
    2026-10-19 · arstechnica.com · HN discussion
13. A sketch of the proof of non-existence of Siegel zeroes
    2026-10-19 · terrytao.wordpress.com · HN discussion
14. A Simple Proof of the Riemann Hypothesis (2022)
    2026-10-19 · arxiv.org · HN discussion
15. Writing is no longer proof of work
    2026-10-19 · seangoedecke.com · HN discussion
16. OpenAI's blockbuster math proof isn't what you think it is
    2026-10-18 · scientificamerican.com · HN discussion
17. Show HN: Lungo Generates Rust, Python, from Lean Proof Source
    2026-10-18 · machinefabric.com · HN discussion
18. Grace17 – a new proof assistant for mathematics based on set theory
    2026-10-18 · grace17.org · HN discussion
19. Algorithmic Similarity and the Limits of Proof: Facial Recognition
    2026-10-18 · medium.com · HN discussion
20. Illustrating the AI proof of the Mahler conjecture
    2026-10-17 · chessapig.github.io · HN discussion
21. A Constructive Proof of Rice's Theorem and the Halting Problem
    2026-10-16 · arxiv.org · HN discussion
22. How AI proof is my business?
    2026-10-16 · keithbrown.com · HN discussion
23. First Proof: Third Batch Benchmark Report
    2026-10-14 · 1stproof.org · HN discussion
24. Proof of the Casas-Alvero Conjecture
    2026-10-14 · arxiv.org · HN discussion
25. First Proof, Third Batch Webinar
    2026-10-14 · terrytao.wordpress.com · HN discussion
26. Mathematical proof in the age of AI
    2026-10-14 · rutar.org · HN discussion
27. Basic Atomic Swap Proof of Concept
    2026-10-14 · github.com · HN discussion
28. Demonstrating Deterministic Trust and Formal Proof for AI-Generated Code
    2026-10-14 · adacore.com · HN discussion
29. TypeScript compiler ported to C# via Codex (as proof of concept)
    2026-10-14 · github.com · HN discussion
30. As AI Closed in on 'Unique Games' Proof, Researchers Raced to Beat the Machines
    2026-10-13 · quantamagazine.org · HN discussion

All trends